Abstract
Due to the pervasiveness of diagrams in human communication and because of the increasing availability of graphical notations in Software Engineering, the study of diagrammatic notations is at the forefront of many research efforts. The expressive power of these kinds of languages and notations can be remarkably improved by adding extensibility mechanisms Extensibility, the ability of a notation or a modeling language to be extended from its own modeling constructs, is a feature that has assumed considerable importance with the appearance of the UML (Unified Modeling Language). In this paper, a holistic proposal to formally support the evolution of the UML metamodel is presented. To attain this aim, an algebraic formalization is provided which leads to a seamless formal model of the UML four-layer semantics architecture. These two characteristics — being holistic and seamless together with reflection are the most innovative aspects of the research with respect to formalizing the UML. In particular, a central role is played by reflection. A formal language supporting this feature called Maude is studied and put forward as the basis for the formalization of the UML extensibility mechanisms. Since Maude is an executable specification language, the final set of formal models can also be used as a UML virtual machine at the specification level. To illustrate the approach, a UML Class Diagram prototype is implemented using the Maude interpreter. The integration of this Maude prototype with a UML commercial CASE has been developed, in Java, and is currently working.
To my father
Granted by the CICYT (Science and Technology Joint Committee), Spanish Ministries of Education and Industry, research project TIC97-0593-CO5-02 MENHIR, OM
Chapter PDF
Similar content being viewed by others
References
Sinan Si Alhir. Extending the unified modeling language (UML). http://home.earthlink.net/salhir/index.html, December 1999.
J. Aranjo, A. Moreira, and P. Sawyer. Specifying persistence, class views and excluding classes for UML. Proc. 12th Intl. Conference on Software and Systems Applications, December 1999.
R. H. Bourdeau and B. H. C. Cheng. A formal semantics for object model diagrams IEEE Transactions on Software Engineering, 21 (10): 799–821, October 1995.
M. Clavel, F. Duran, S. Eker, P. Lincoln, N. Marti-Oliet, J. Meseguer, and J. Quesada. Maude: Specification and programming in rewriting logic. Computer Science Laboratory SRI International, January 1999.
M. Clavel and J. Meseguer. Reflection and strategies in rewriting logic. In J. Meseguer, editor, proc. First Intl. Workshop on Rewriting Logic and its Applications, 4 of Electronic Notes in Theoretical Computer Science. Elsevier, 1996.
I. Diaz and A. Matteo. Objectory process stereotypes. Journal of Object-Oriented Programming, pages 29–38, June 1999.
N. Dykman, M. Griss, and R. Kessler. Nine suggestions for improving UML extensibility. Proc. UML ‘89 conference, 1999.
A. S. Evans and A.N.Clark. Foundations of the unified modeling language. In 2nd Northern Formal Methods Workshop, Ilkley, electronic Workshops in Computing. Springer-Verlag, 1998.
J. L. Fernandez and A. Toval. A formal syntax and static semantics of UML statecharts. Technical Report, Department of Informatics: Languages and systems, University of Murcia (Spain), 1999.
J. L. Fernandez and A. Toval. Formally modeling and executing the UML class diagram. Proc. V Workshop MENHIR 2000), Faculty of Informatics, University of Granada (Spain), March 2000.
R. B. France. A problem-oriented analysis of basic UML static requirements modeling concepts. Proc. OOPSLA’99, pages 57–69, November 1999.
R. B. France, J.M. Bruel, and M. M. Larrond-Petrie. An integrated object-oriented and formal modeling environment. Journal of Object-Oriented Programming, pages 25–34, November/December 1997.
J. A. Goguen and G. Malcom. Algebraic Semantics of Imperative Programs. MIT Press, 1996.
J. A. Goguen and J. Meseguer. Order-sorted algebra I. Technical Report, SRI International, Stanford University, 1988.
B. A. Grima and A. Toval. An algebraic formalization of the objectcharts notation. Proc. GULP-PRODE’94, 1994.
Object Management Group. UML notation guide version 1.3. http://www. rational. com/uml/, June 1999.
Object Management Group. UML semantics version 1.3. http://www. rational. com/uml/, June 1999.
Ari Jaaksi. A method for your first object-oriented project. Journal of Object-Oriented Programming, pages 17–25, January 1998.
S. Kent, A. Evans, and B. Rumpe. Uml semantics FAQ. in conjunction with ECOOP, http://www.cs.york.ac.uk/puml, 1999.
N. Marti-Oliet and J. Meseguer. Rewriting logic as a logical and semantic framework. In J. Meseguer, editor, proc. of First Intl. Workshop on Rewriting Logic and its Applications, volume 4 of Electronic Notes in Theoretical Computer Science. Elsevier, 1996.
J. Meseguer. Conditional rewriting logic as a unified model of con-currency. Theoretical Computer Science, 96 (1): 73–155, 1992.
B. Moros, J. Nicolâ,s, J. G. Molina, and A. Toval. Combining formal specifications with design by contract. Journal of Object-Oriented Programming, 12 (9): 16–21, February 2000.
O. Pastor, F. Hayes, and S. Bear. OASIS: An object-oriented specification language. In proc. CAISE’92 Conference, Spriger-Verlag,1992.
G. Reggio and R. J. Wieringa. Thirty one problems in the semantics of UML 1.3 dynamics. Workshop Rigorous Modeling and Analysis of the UML Challenges and Limitations, OOPSLA’99, November 1999.
A. Toval, I. Ramos, and O. Pastor. Prototyping object oriented specifications in an algebraic environment. Lecture Notes in Computer Science, Springer-Verlag, 856: 310–320, 1994.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 IFIP International Federation for Information Processing
About this paper
Cite this paper
Álvarez, A.T., Alemán, J.L.F. (2000). Formally Modeling UML and its Evolution: A Holistic Approach. In: Smith, S.F., Talcott, C.L. (eds) Formal Methods for Open Object-Based Distributed Systems IV. FMOODS 2000. IFIP Advances in Information and Communication Technology, vol 49. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35520-7_9
Download citation
DOI: https://doi.org/10.1007/978-0-387-35520-7_9
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-1018-2
Online ISBN: 978-0-387-35520-7
eBook Packages: Springer Book Archive