A Combined Graph-based Approach for Systems Design And Verification
Najet Zoubeir, Adel Khalfallah
2015
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.
DownloadPaper Citation
in Harvard Style
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, pages 346-353. DOI: 10.5220/0005272603460353
in Bibtex Style
@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},
}
in EndNote Style
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