Authors:
Najet Zoubeir
and
Adel Khalfallah
Affiliation:
Institut Supérieur d’Informatique, Tunisia
Keyword(s):
Graph Transformation Systems, Software Architecture Analysis, Syntax, Semantics, Verification.
Related
Ontology
Subjects/Areas/Topics:
Constraint Modeling and Languages
;
Languages, Tools and Architectures
;
Model-Driven Software Development
;
Software Engineering
;
Syntax and Semantics of Modeling Languages
Abstract:
Software architecture’s interoperability faces many problems when it comes to integrating different components
or formalisms in describing the architecture. Even within the same modeling language such as UML, the
diversity of notations and the lack of semantic information make the interoperability between models difficult.
In this paper, we propose semantic foundations that unify the notations of classes, interactions and constraints,
and hence provide a robust basis for models interoperability. We rely on graphs and graph transformations to
describe systems structure and behavior, semantics and constraints in a combined form within an integrated
framework, which constitutes a robust basis for automated software architecture analysis.