A Combined Graph-based Approach for Systems Design And Verification

Najet Zoubeir, Adel Khalfallah

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.

References

  1. Bauer, E. (2008). Enhancing the Dynamic Meta Modeling Formalism and its Eclipse-based Tool Support with Attributes. PhD thesis, University of Paderborn, Germany.
  2. Bottoni, P., Koch, M., Parisi-Presicci, F., and Taentzer, G. (2002). Working on ocl with graph transformations. In APPLIGRAPH Workshop on Applied Graph Transformation, pages 1-10.
  3. Chan, W. K., Mei, L., and Zhang, Z. (2009). Modeling and testing of cloud applications. In Kirchberg, M., Hung, P. C. K., Carminati, B., Chi, C.-H., Kanagasabai, R., Valle, E. D., Lan, K.-C., and Chen, L.-J., editors, APSCC, pages 111-118. IEEE.
  4. Dang, D.-H. and Gogolla, M. (2008). On integrating ocl and triple graph grammars. In Chaudron, M. R. V., editor, MoDELS Workshops, volume 5421 of Lecture Notes in Computer Science, pages 124-137. Springer.
  5. Dang, D.-H., Truong, A.-H., and Gogolla, M. (2010). Checking the conformance between models based on scenario synchronization. J. UCS, 16(17):2293-2312.
  6. Engels, G., Hausmann, J. H., Heckel, R., and Sauer, S. (2000). Dynamic meta modeling: A graphical approach to the operational semantics of behavioral diagrams in uml. In UML, pages 323-337.
  7. Gogolla, M. and Presicce, F. P. (1998). State diagrams in uml: A formal semantics using graph transformations - or diagrams are nice, but graphs are worth their price. In University of Munich, pages 55-72.
  8. Gogolla, M. and Richters, M. (1998). Transformation rules for uml class diagrams. In Bzivin, J. and Muller, P.- A., editors, UML, volume 1618 of Lecture Notes in Computer Science, pages 92-106. Springer.
  9. Gogolla, M., Ziemann, P., and Kuske, S. (2003). Towards an integrated graph based semantics for uml. Electr. Notes Theor. Comput. Sci., 72(3):160-175.
  10. Hausmann, J. H. (2005). Dynamic META modeling: a semantics description technique for visual modeling languages. PhD thesis, University of Paderborn.
  11. Hausmann, J. H., Heckel, R., and Sauer, S. (2004). Dynamic meta modeling with time: Specifying the semantics of multimedia sequence diagrams. Software and System Modeling, 3(3):181-193.
  12. Holscher, K., Ziemann, P., and Gogolla, M. (2006). On translating uml models into graph transformation systems. Journal of Visual Languages & Computing, 17(1):78-105.
  13. Kuske, S., Gogolla, M., Kollmann, R., and Kreowski, H.-J. (2002). An integrated semantics for uml class, object and state diagrams based on graph transformation. In IFM, pages 11-28.
  14. OCL (2001). Object constraint language v 2.3.1. URL : http://www.omg.org/spec/OCL/2.3.1, visited 10/07/2014.
  15. Plotkin, G. D. (1981). A structural approach to operational semantics. Technical report, University of Aarhus.
  16. QVT (2008). Meta object facility (mof) 2.0 query/view/transformation (qvt). URL : http:// www.omg.org/spec/QVT/, visited 10/07/2014.
  17. Rensink, A. and Kleppe, A. (2008). On a graph-based semantics for uml class and object diagrams. ECEASST, 10.
  18. Rutle, A., Rossini, A., Lamo, Y., and Wolter, U. (2012). A formal approach to the specification and transformation of constraints in mde. J. Log. Algebr. Program., 81(4):422-457.
  19. UML (2000). Unified modelling language superstructure v 2.4.1. OMG Document Number: formal/11-08-06, Standard document URL: http://www.uml.org/, visited 10/07/2014.
  20. Varro, D. (2002). A formal semantics of uml statecharts by model transition systems. In Graph Transformation, pages 378-392.
  21. Winkelmann, J., Taentzer, G., Ehrig, K., and K”uster, J. M. (2008). Translation of restricted ocl constraints into graph constraints for generating meta model instances by graph grammars. Electronic Notes in Theoretical Computer Science, 211:159-170.
  22. Zoubeir, N. and Khalfallah, A. (2010). Synchronization of the static and dynamic views in rts modeling. In Workshop en Informatique et Applications WIA 2010, pages 81-85, Tunisia.
  23. Zoubeir, N., Khalfallah, A., and Ahmed, S. B. (2014). Graph-based decomposition of design patterns. International Journal of Software Engineering and Its Applications (IJSEIA), 8(2):391-408.
  24. Zoubeir, N., Khalfallah, A., and Benahmed, S. (2013). Embedded Computing Systems: Applications, Optimization and Advanced Design, chapter Expressing and Validation OCL Constraints using Graphs, pages 93- 107. IGI Global.
Download


Paper 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