Considerations and Rationale for a UML System Model

Semantics definition for the UnifiedModeling Language (UML) [33, 8] is not an easy task. Although considerable efforts have been made starting in the late nineties [19], no commonly agreed, formal and integrated semantics of the UML exists. In [1], we have defined a system model as a semantic domain for the UML. The system model is supposed to form a possible core and foundation of the UML semantics definition. For that purpose, the definitions are targeted towards UML which means that central concepts of UML have been formalized as theories of the system model. This contribution is structured as follows: In the rest of this Chapter, we discuss the general approach and highlight the main decisions. This Chapter is important to understand the system model definition, given in Chapter 4. This work is based on

[1]  Martin Gogolla,et al.  An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation , 2002, IFM.

[2]  Takeaki Uno,et al.  Contradiction Finding and Minimal Recovery for UML Class Diagrams , 2006, 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06).

[3]  Gregor Engels,et al.  Analysis of UML Activities Using Dynamic Meta Modeling , 2007, FMOODS.

[4]  Bernhard Rumpe,et al.  Formale Methodik des Entwurfs verteilter objektorientierter Systeme , 1996, Datenbank Rundbr..

[5]  Arend Rensink.  Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings , 2009, ECMDA-FA.

[6]  Bernhard Rumpe,et al.  Meta-Modelling Semantics of UML , 2014, Behavioral Specifications of Businesses and Systems.

[7]  Mira Balaban,et al.  Efficient Reasoning About Finite Satisfiability of UML Class Diagrams with Constrained Generalization Sets , 2007, ECMDA-FA.

[8]  Bernhard Rumpe,et al.  Towards a Formalization of the Unified Modeling Language , 1997, ECOOP.

[9]  G. Winskel.  The formal semantics of programming languages , 1993 .

[10]  Colin F. Snook,et al.  UML-B: Formal modeling and design aided by UML , 2006, TSEM.

[11]  Walter Guttmann,et al.  An ASM Semantics of Token Flow in UML 2 Activity Diagrams , 2006, Ershov Memorial Conference.

[12]  Bertrand Meyer,et al.  Object-Oriented Software Construction, 2nd Edition , 1997 .

[13]  Alexander Knapp,et al.  UML 2 . 0 Interactions : Semantics and Refinement , 2004 .

[14]  Amir Pnueli,et al.  Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML , 2002, FMCO.

[15]  Bernhard Rumpe,et al.  Hybrid System Model , 1999 .

[16]  Bernhard Rumpe,et al.  Meaningful modeling: what's the semantics of "semantics"? , 2004, Computer.

[17]  Harald Störrle,et al.  Towards a Formal Semantics of UML 2.0 Activities , 2005, Software Engineering.

[18]  J. Bruel.  Transforming UML Models to Formal Speci cations , 1998 .

[19]  Manfred Broy,et al.  Semantics of UML: Towards a System Model for UML -- The Control Model , 2007 .

[20]  Xiaoshan Li.  A characterization of UML diagrams and their consistency , 2006, 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06).

[21]  Kevin Lano,et al.  A compositional semantics of UML-RSDS , 2009, Software & Systems Modeling.

[22]  Ketil Stølen,et al.  STAIRS towards formal design with sequence diagrams , 2005, Software & Systems Modeling.

[23]  Joanne M. Atlee,et al.  Semantic variations among UML statemachines , 2006, MoDELS'06.

[24]  Greg O'Keefe,et al.  Dynamic Logic Semantics for UML Consistency , 2006, ECMDA-FA.

[25]  Frank S. de Boer,et al.  Compositional Operational Semantics of a UML-Kernel-Model Language , 2006, Electron. Notes Theor. Comput. Sci..

[26]  Quan Long,et al.  Model Checking Dynamic UML Consistency , 2006, ICFEM.

[27]  Bernhard Rumpe,et al.  An Algebraic View on the Semantics of Model Composition , 2007, ECMDA-FA.

[28]  Michael von der Beeck.  A structured operational semantics for UML-statecharts , 2002 .

[29]  Toni Mancini,et al.  Finite Model Reasoning on UML Class Diagrams Via Constraint Programming , 2007, AI*IA.

[30]  Bernhard Rumpe,et al.  MontiCore: Modular Development of Textual Domain Specific Languages , 2008, TOOLS.

[31]  Bernhard Rumpe,et al.  The UML as a formal modeling notation , 1998, Comput. Stand. Interfaces.

[32]  Gernot Salzer,et al.  Consistency and Minimality of UML Class Specifications with Multiplicities and Uniqueness Constraints , 2007, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07).

[33]  Bernhard Rumpe,et al.  Systems, Views and Models of UML , 2014, UML Workshop.

[34]  Michelle L. Crane,et al.  Towards a Formal Account of a Foundational Subset for Executable UML Models , 2008, MoDELS.

[35]  Tobias Nipkow,et al.  Isabelle/HOL , 2002, Lecture Notes in Computer Science.