• ITHEA
  • IJ  ICP    
  • IJ  IMA    
  • IJ  ITK    
  • IJ  ITA    

 

ITHEA® International Journal

"Information Theories and Applications"

2021, Volune 28, Nimber 1

 

An Approach of Behavioral Software Models Comparison by Means of Their Formal Representation Analysis

Olena Chebanyuk, Mykyta Krainii

Get PDF

Copy Citation Text:
Olena Chebanyuk, Mykyta Krainii, "An Approach of Behavioral Software Models Comparison by Means of Their Formal Representation Analysis" IJ ITA, Vol. 28, Issue 1, pp. 46-88. (2021)
DOI: https://doi.org/10.54521/ijita28-01-p03

 

Abstract:

Paper presents in approach of behavioral software model comparison by means of their analytical representation. This idea is not new. Known researches are concentrated on analysis of software model structure (Chebanyuk, 2018), (ECL, 2015). Advantages of the presented approach is that it allows to analyze both structure and semantics of software model. Structural analysis is based on software model graph representation. Semantic analysis is based on analysis of text signatures of software models.

© 2021 ITHEA® 

ITHEA Journals

  • ITHEA has four International Jornals on Informatics.

IJ ITA, Since 1993


ITHEA International Journal
"Information Theories and Applications”
(IJ ITA)

IJ ITA Main Page


IJ ITK, Since 2007


ITHEA International Journal
"Information Technologies and Knowledge”
(IJ ITK)

IJ ITK Main Page


IJ IMA, Since 2012


ITHEA International Journal
"Infromation Models and Analyses”
(IJ IMA)

IJ IMA Main Page


IJ ICP, Since 2014


ITHEA International Journal
"Information Content and Processing”
(IJ ICP)

IJ ICP Main Page


Submision System


ITHEA International Journals'
Submision System
Main Page


ITHEA ITA Conferences


ITHEA ITA Joint International
Conferences on Informatics

ITA Main Page