Unified Modeling Language (UML)

Summary of Selected Papers

This website sketches our contributions to the Unified Modeling Language (UML) only. For detailed discussion see the more specific topics listed below.

Many of our contributions build on UML/P, which is described in the two books [Rum16] and [Rum17] and implemented in [Sch12].

UML's semantic variation points are discussed in [GR11]. We discuss formal semantics for UML [BHP+98] and describe UML semantics using the "system model" [BCGR09], [BCGR09a], [BCR07b] and [BCR07]. They have e.g. been applied to define class diagram semantics [CGR08] and activity diagram semantics [GRR10].

Precisely defined semantics for variations is applied, when checking variants of class diagrams [MRR11e] and objects diagrams [MRR11c] or the consistency of both kinds of diagrams [MRR11f]. We also apply these concepts to activity diagrams [MRR11a] which allows us to check for semantic differences for ADs [MRR11d]. The basic semantics for ADs and their semantic variation points is given in [GRR10].

We also discuss how to ensure and identify model quality [FHR08], how models, views and the system under development correlate to each other [BGH+98] and how to use modeling in agile development projects [Rum04c], [Rum02]

The question how to adapt and extend the UML led to [FPR02] on product line annotations for UML and to more general discussions and insights on how to use meta-modeling for defining and adapting the UML [EFL+99], [SRV+10] and potentially use the UML even as formal notation [FEL+98].

A very early discussion on the challenges for the UML discussed by the pUML group can be found at [KER99].

Summary

1. UML is a big language with many forms of uses.
2. UML needs to be adaptable and extensible, but also subsets selectable.
3. Semantic variation points can precisely be defined and used for generation as well as for high-level analysis.
4. Tooling is necessary to use UMl in agile projects.

Related Topics

• Agile Model-Based Software Engineering
• Domain-Specific Languages (DSLs)
• Evolution & Transformation of Models
• Generative Software Engineering
• MontiArc - Architectural Modeling
• MontiCore - Language Workbench
• Semantics of Modeling Languages
• Software Language Engineering (SLE)
• UML/P

Selected Related Publications

• [Rum17] B. Rumpe:
  Agile Modeling with UML: Code Generation, Testing, Refactoring.
  Springer International, May 2017.


• [Rum16] B. Rumpe:
  Modeling with UML: Language, Concepts, Methods.
  Springer International, July 2016.


• [Rum12] B. Rumpe
  Agile Modellierung mit UML : Codegenerierung, Testfälle, Refactoring
  2nd Edition, Springer Berlin, June 2012.
  (html version available here)


• [Sch12] M. Schindler
  Eine Werkzeuginfrastruktur zur agilen Entwicklung mit der UML⁄P
  
  Aachener Informatik-Berichte, Software Engineering Band 11. ISBN 978-3-8440-0864-7. Shaker Verlag, 2012.


• [GR11] H.Grönninger and B. Rumpe
  Modeling Language Variability
  In: Workshop on Modeling, Development and Verification of Adaptive Systems. 16th Monterey
  Workshop, Redmond, Microsoft Research, March 31-April 2, 2010. LNCS vol. 6662,
  pp. 17-32, Springer, 2011.


• [MRR11f] S. Maoz, J. O. Ringert, B. Rumpe
  Semantically Configurable Consistency Analysis for Class and Object Diagrams
  In: Model Driven Engineering Languages and Systems (MODELS 2011), Wellington, New Zealand. pp. 153-167, LNCS 6981, 2011.
  Received Best Paper Award and ACM Distinguished Paper Award at the MODELS 2011 Conference
  


• [MRR11e] S. Maoz, J. O. Ringert, B. Rumpe
  CD2Alloy: Class Diagrams Analysis Using Alloy Revisited
  In: Model Driven Engineering Languages and Systems (MODELS 2011), Wellington, New Zealand. pp. 592-607, LNCS 6981, 2011.
  


• [Rum11] B. Rumpe
  Modellierung mit UML
  2nd Edition, Springer Berlin, September 2011.
  (html version available here)


• [MRR11d] S. Maoz, J. O. Ringert, B. Rumpe
  ADDiff: Semantic Differencing for Activity Diagrams
  In: Proc. Euro. Soft. Eng. Conf. and SIGSOFT Symp. on the Foundations of Soft. Eng. (ESEC/FSE'11), pp. 179-189, ACM, 2011.
  


• [MRR11c] S. Maoz, J. O. Ringert, B. Rumpe
  Modal Object Diagrams
  In: Proc. 25th Euro. Conf. on Object Oriented Programming (ECOOP'11),
  LNCS 6813, pp. 281-305, Springer, 2011.
  


• [MRR11a] S. Maoz, J. O. Ringert, B. Rumpe
  An Operational Semantics for Activity Diagrams using SMV
  RWTH Aachen University, Technical Report.
  AIB-2011-07. July 2011.
  


• [SRV+10] J. Sprinkle, B. Rumpe, H. Vangheluwe, G.Karsai
  Metamodelling: State of the Art and Research Challenges
  In: MBEERTS: Model-Based Engineering of Embedded Real-Time Systems, p. 57 - 76
  International Dagstuhl Workshop
  Dagstuhl Castle, Germany, LNCS 6100, Springer Berlin, October 2010


• [GRR10] H. Grönniger, D. Reiß, B. Rumpe:
  Towards a Semantics of Activity Diagrams with Semantic Variation Points .
  In: D. Petriu, N. Rouquette, Ø. Haugen (Eds.), Model Driven Engineering Languages and Systems, Proceedings of MODELS 2010, Oslo, Norway. LNCS 6394, Springer, 2010


• [BCGR09a] M. Broy, M. V. Cengarle, H. Grönniger, B. Rumpe
  Definition of the UML system model.
  In: Kevin Lano, editor, UML 2 Semantics and Applications.
  John Wiley & Sons, 2009
  


• [BCGR09] M. Broy, M. V. Cengarle, H. Grönniger, B. Rumpe
  Considerations and Rationale for a UML System Model.
  In: Kevin Lano, editor, UML 2 Semantics and Applications.
  John Wiley & Sons, 2009
  


• [FHR08] F. Fieber, M. Huhn, B. Rumpe
  Modellqualität als Indikator für Softwarequalität: eine Taxonomie
  In: Informatik-Spektrum. Springer Verlag.
  Band 31, Heft 5, Oktober 2008.
  


• [CGR08] M.V. Cengarle, H. Grönniger, B. Rumpe
  System Model Semantics of Class Diagrams
  Informatik-Bericht 2008-05
  Technische Universität Braunschweig, Carl-Friedrich-Gauss-Fakultät, 2008.
  


• [BCR07b] M. Broy, M. Cengarle, B. Rumpe.
  Towards a System Model for UML. Part 3. The State Machine Model.
  Munich University of Technology, Technical Report
  TUM-I0711. February 2007.
  


• [BCR07] M. Broy, M. Cengarle, B. Rumpe.
  Towards a System Model for UML. Part 2. The Control Model.
  Munich University of Technology, Technical Report
  TUM-I0710. February 2007.
  


• [Rum04c] B. Rumpe.
  Agile Modeling with the UML.
  Ed.: M. Wirsing, A. Knapp, S. Balsamo. In: Radical Innovations of Software and Systems Engineering in the Future.
  9th International Workshop, RISSEF 2002. Venice, Italy, October 2002.
  LNCS 2941. Springer Verlag 2004.


• [FPR02] Wolfgang Pree, Marcus Fontoura, Bernhard Rumpe.
  Product Line Annotations with UML-F
  In: Software Product Lines - Second International Conference, SPLC 2, San Diego.
  G.J. Chastek (ed.), LNCS 2379, Springer Verlag. 2002.
  


• [Rum02] Bernhard Rumpe.
  Executable Modeling with UML. A Vision or a Nightmare?
  In: Issues & Trends of Information Technology Management in Contemporary Associations, Seattle. Idea Group Publishing, Hershey, London, pp. 697-701. 2002.


• [KER99] S. Kent, A. Evans, B. Rumpe.
  UML Semantics FAQ
  In: Object-Oriented Technology, ECOOP'99 Workshop Reader
  A. Moreira, S. Demeyer (eds.)
  LNCS 1743, Springer Verlag, 1999.
  


• [EFL+99] A. Evans, K. Lano, R. France, B. Rumpe.
  Meta-Modeling Semantics of UML
  In: Behavioral Specifications of Businesses and Systems
  H. Kilov, B. Rumpe, I. Simmonds (eds.)
  Kluver Academic Publisher, 1999
  


• [FEL+98] R. France, A. Evans, K. Lano, B. Rumpe.
  The UML as a formal modeling notation
  In: Computer Standards & Interfaces. Volume 19, p. 325-334. 1998.
  


• [BHP+98] M. Broy, F. Huber, B. Paech, B. Rumpe, K. Spies.
  Software and System Modeling Based on a Unified Formal Semantics.
  In: Requirements Targeting Software and Systems Engineering.
  International Workshop RTSE'97. Manfred Broy, Bernhard Rumpe (Eds.).
  Bernried, Germany.
  LNCS 1526, Springer Publisher, 1998.


• [BGH+98] Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe, Wolfgang Schwerin.
  Systems, Views and Models of UML
  In: The Unified Modeling Language, Technical Aspects and Applications
  Martin Schader, Axel Korthaus (eds.)
  Physica Verlag, Heidelberg. 1998.