loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Najet Zoubeir and Adel Khalfallah

Affiliation: Institut Supérieur d’Informatique, Tunisia

ISBN: 978-989-758-083-3

ISSN: 2184-4348

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.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.232.38.214

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Zoubeir, N. and Khalfallah, A. (2015). A Combined Graph-based Approach for Systems Design And Verification.In Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-083-3, ISSN 2184-4348, pages 346-353. DOI: 10.5220/0005272603460353

@conference{modelsward15,
author={Najet Zoubeir. and Adel Khalfallah.},
title={A Combined Graph-based Approach for Systems Design And Verification},
booktitle={Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2015},
pages={346-353},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005272603460353},
isbn={978-989-758-083-3},
}

TY - CONF

JO - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - A Combined Graph-based Approach for Systems Design And Verification
SN - 978-989-758-083-3
AU - Zoubeir, N.
AU - Khalfallah, A.
PY - 2015
SP - 346
EP - 353
DO - 10.5220/0005272603460353

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.