Some Considerations on UML Class Diagram Formalisation Approaches

Authors: Abdullah A. H. Alzahrani, Majd Zohri Yafi, Fawaz K. Alarfaj

Abstract:

Unified Modelling Language (UML) is a software modelling language that is widely used and accepted. One significant drawback, of which, is that the language lacks formality. This makes carrying out any type of rigorous analysis difficult process. Many researchers attempt to introduce their approaches to formalise UML diagrams. However, it is always hard to decide what language and/or approach to use. Therefore, in this paper, we highlight some of the advantages and disadvantages of number of those approaches. We also try to compare different counterpart approaches. In addition, we draw some guidelines to help in choosing the suitable approach. Special concern is given to the formalisation of the static aspects of UML shown is class diagrams.

Keywords: UML formalisation, Object Constraints Language (OCL), Description Logic (DL), Z language.

Digital Object Identifier (DOI): doi.org/10.5281/zenodo.1092329

References:

[1] W. E. McUmber and B. H. Cheng, "A general framework for formalizing UML with formal languages,” in Proceedings of the 23rd international conference on Software engineering, 2001, p. 433442.
[2] B. Potter, D. Till, and J. Sinclair, An introduction to formal specification and Z. Prentice Hall PTR, 1996.
[3] D. Pilone, UML 2.0 pocket reference. O’Reilly Media, 2006.
[4] H. Chavez and W. Shen, "Formalization of uml composition in ocl,” in 2012 IEEE/ACIS 11th International Conference on Computer and Information Science (ICIS), 2012, pp. 675–680.
[5] W. Kadir, W. M. Nasir, and R. Mohamad, "Formalization of uml class diagram using description logics,” 2010.
[6] B. Zhou, J. Lu, Z. Wang, Y. Zhang, and Z. Miao, "Formalizing fuzzy uml class diagrams with fuzzy description logics,” vol. 1, 2009, pp. 171–174.
[7] S. Sengupta and S. Bhattacharya, "Formalization of uml diagrams and their consistency verification: A z notation based approach,” in Proceedings of the 1st India software engineering conference, ser. ISEC 08. New York, NY, USA: ACM, 2008, p. 151152.
[8] Mostafa, M. Ismail, H. El-Bolok, and E. Saad, "Toward a formalization of UML2.0 metamodel using z specifications,” in Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2007. SNPD 2007, vol. 1, 2007, pp. 694–701.
[9] Z. Zhihong and Z. Mingtian, "Some considerations in formalizing uml class diagrams with description logics,” vol. 1, 2003, p. 111115.
[10] A. Cal, D. Calvanese, G. De Giacomo, and M. Lenzerini, "A formal framework for reasoning on uml class diagrams,” in Foundations of Intelligent Systems. Springer, 2002, p. 503513.
[11] M. Gogolla and M. Richters, "Expressing uml class diagrams properties with ocl,” ser. Lecture Notes in Computer Science, T. Clark and J. Warmer, Eds. Springer Berlin Heidelberg, 2002, pp. 85–114.
[12] D. Berardi, D. Calvanese, and G. De Giacomo, "Reasoning on uml class diagrams using description logic based systems,” vol. 44, 2001.
[13] J. B. Wordsworth, Software development with Z: a practical approach to formal methods in software engineering. Addison-Wesley Longman Publishing Co., Inc., 1992.
[14] W. Yan and Y. Du, "Research on reverse engineering from formal models to UML models,” 2010, pp. 406–411.
[15] Y. Ledru, "Using jaza to animate RoZ specifications of UML class diagrams,” in Software Engineering Workshop, 2006. SEW ’06. 30th Annual IEEE/NASA, 2006, pp. 253–262.
[16] M. Bittner and F. Kammuller, "Translating fusion/uml to object-z,” 2003, pp. 49–50.
[17] E. Sekerinski and R. Zurob, "Translating statecharts to b,” 2002, p. 128144.
[18] X. Li, Z. Liu, and H. Jifeng, "A formal semantics of uml sequence diagram,” in Software Engineering Conference, 2004. Proceedings. 2004 Australian, 2004, pp. 168–177.
[19] M. Y. Ng and M. Butler, "Towards formalizing UML state diagrams in CSP,” in First International Conference on Software Engineering and Formal Methods, 2003.Proceedings, 2003, pp. 138–147.
[20] S.-K. Kim and C. David, "Formalizing the uml class diagram using object-z.” Springer, 1999, p. 8398.
[21] OMG, "Omg object constraint language ocl,” Tech. Rep., 2012.
[22] I. Bajwa, B. Bordbar, and M. Lee, "Ocl constraints generation from natural language specification,” 2010, pp. 204–13.
[23] S. Flake and W. Mueller, "An ocl extension for real-time constraints,” in Object Modeling with the OCL. Springer, 2002, p. 150171.
[24] A. Evans, R. France, K. Lano, and B. Rumpe, "Developing the uml as a formal modelling notation,” in Proc. UML98, LNCS, vol. 1618, 1998.
[25] F. Baader, The description logic handbook: theory, implementation, and applications. Cambridge: Cambridge University Press, 2003.
[26] I. Horrocks, U. Sattler, and S. Tobies, "Practical reasoning for expressive description logics,” in Logic for Programming and Automated Reasoning, 1999, p. 161180.
[27] V. Haarslev and R. Mller, "Racer system description,” in Automated Reasoning. Springer, 2001, p. 701705.
[28] G. Smith, The Object-Z specification language. Citeseer, 2000, vol. 101.
[29] D. Kakollu and B. Chaudhary, "A z-specification of classification and relationships between usecases,” in Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2008. SNPD ’08, 2008, pp. 779–784.