A Constraint-based Approach for Checking Vertical Inconsistencies between Class and Sequence UML Diagrams

Driss Allaki, Mohamed Dahchour, Abdeslam En-Nouaary

2016

Abstract

The modern software development processes enable evolving software systems and refining models across software life cycle. However, these evolution attitudes may lead to some consistency problems among models at different levels of abstraction. Hence, it is required to discover and detect the potential inconsistencies occurring in models when developing a system. This paper focuses on checking the vertical consistency of UML models using an approach based on defining constraints at the meta-level. These constraints are expressed using EVL (Epsilon Validation Language) to ensure the consistency of models. Representative examples of constraints for checking vertical inconsistencies between class and sequence diagrams are proposed to illustrate our contribution.

References

  1. Cernosek, G., Naiburg, E., 2004. The Value of Modeling.A technical discussion of software modeling. (IBM).
  2. Jacobson, I., Booch, G., Rumbaugh, J., 1999. Software Development Process, An Imprint of Addison Wesley Longman, Inc.
  3. Huzar, Z., Kuzniarz, L., Reggio, G., Sourrouille, J.L., 2004. Consistency problems in UML based software development. In UML Modeling Languages and Applications, «UML» 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers. LNCS, vol. 3297, pp. 1-12.
  4. Allaki, D., Dahchour, M., En-nouaary, A, 2014. A New Taxonomy of Inconsistencies in UML Models: Towards Better MDE. In the Proceedings of the 9th International Conference on Intelligent Systems: Theories and Applications, (SITA'14), May 2014, Rabat, Morocco, pp.121-127.
  5. Allaki, D., Dahchour, M., En-nouaary, A, 2015. A New Taxonomy of Inconsistencies in UML Models with their Detection Methods for better MDE. In International Journal of Computer Science and Applications, Technomathematics Research Foundation, Vol.12, No.1, pp.48-65.
  6. Schmidt, D, 2006. Guest editor's introduction: ModelDriven Engineering. In IEEE Computer Society, February 2006, Volume 39, No. 2, pp. 25-31.
  7. MDA Guide Version 1.0.1, <http://www.omg.org/mda>, 2003. (Last accessed November 2015).
  8. Unified Modeling Language: Superstructure. Version 2.5, <http://www.omg.org/spec/UML/2.5/>, 2015. (Last accessed November 2015).
  9. Epsilon Validation Language, 2015. <http://www.eclipse. org/epsilon/doc/evl/>, (Last accessed November 2015).
  10. Epsilon, 2015. <http://www.eclipse.org/epsilon/doc/>, (Last accessed November 2015).
  11. Kolovos, D., Rose, L., Domínguez, A.G., Paige, R., 2015. The epsilon book. February 4, 2015.
  12. Hanzala, A. K., Porres, I., 2015. Consistency of UML class, object and statechart diagrams using Ontology Reasoners. In Journal of Visual Languages & Computing.Volume 26, February 2015, pp. 42-65.
  13. Miloudi, K. E., Amrani, Y. E., Ettouhami, A. 2011. An Automated Translation of UML Class Diagrams into a Formal Specification to Detect UML Inconsistencies. In The Sixth International Conference on Software Engineering Advances, ICSEA 2011, Barcelona, Spain, pp. 432-438.
  14. Straeten, R.V. D., Jonckers, V., Mens, T. 2007.A Formal Approach to Model refactoring and Model refinement. In Software and System Modeling, Volume 6, Number 2, June 2007, pp. 139-162.
  15. Yao, S., Shatz, S. M., 2006. Consistency Checking of UML dynamic models based on Petri Net techniques. In 15th International Conference on Computing (CIC 2006), November 21-24, 2006, Mexico City, Mexico, pp. 289- 297.
  16. Przigoda, N., Wille, R., Drechsler, R., 2016. Analyzing Inconsistencies in UML/OCL Models. In Journal of Circuits, Systems and Computers, Volume 25, Issue 03, March 2016.
  17. Kalibatiene, D., Vasilecas, O., Dubauskaite, R., 2013.Ensuring Consistency in Different IS Models - UML Case Study. In Baltic Journal of Modern Computing, Volume 1, No. 1-2, 2013, pp. 63-76.
  18. Sapna, P. G., Mohanty, H., 2007. Ensuring consistency in relational repository of UML models. In 10th International Conference in Information Technology, ICIT 2007, Roukela, India, 17-20 December 2007, pp. 217-222.
  19. Egyed, A., 2007. Fixing inconsistencies in UML design models. In 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007, pp. 292-301.
Download


Paper Citation


in Harvard Style

Allaki D., Dahchour M. and En-Nouaary A. (2016). A Constraint-based Approach for Checking Vertical Inconsistencies between Class and Sequence UML Diagrams . In Proceedings of the 18th International Conference on Enterprise Information Systems - Volume 1: ICEIS, ISBN 978-989-758-187-8, pages 441-447. DOI: 10.5220/0005815704410447


in Bibtex Style

@conference{iceis16,
author={Driss Allaki and Mohamed Dahchour and Abdeslam En-Nouaary},
title={A Constraint-based Approach for Checking Vertical Inconsistencies between Class and Sequence UML Diagrams},
booktitle={Proceedings of the 18th International Conference on Enterprise Information Systems - Volume 1: ICEIS,},
year={2016},
pages={441-447},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005815704410447},
isbn={978-989-758-187-8},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 18th International Conference on Enterprise Information Systems - Volume 1: ICEIS,
TI - A Constraint-based Approach for Checking Vertical Inconsistencies between Class and Sequence UML Diagrams
SN - 978-989-758-187-8
AU - Allaki D.
AU - Dahchour M.
AU - En-Nouaary A.
PY - 2016
SP - 441
EP - 447
DO - 10.5220/0005815704410447