Executable UML

Executable UML (xtUML or xUML) is both a software development method and a highly abstract software language. It was described for the first time in 2002 in the book "Executable UML: A Foundation for Model-Driven Architecture".[1] The language "combines a subset of the UML (Unified Modeling Language) graphical notation with executable semantics and timing rules."[2] The Executable UML method is the successor to the Shlaer–Mellor method.[3]

Executable UML models "can be run, tested, debugged, and measured for performance.",[4] and can be compiled into a less abstract programming language to target a specific implementation.[5] Executable UML supports model-driven architecture (MDA) through specification of platform-independent models, and the compilation of the platform-independent models into platform-specific models.[6][7]

  1. ^ Mellor and Balcer 2002
  2. ^ Starr 2002, p. 3.
  3. ^ G. O'Keefe (2006) "Dynamic Logic Semantics for UML Consistency" in: Model-Driven Architecture - Foundations and Applications: Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10–13, 2006, Proceedings. Arend Rensink eds. p. 124
  4. ^ Starr 2002, p. 3.
  5. ^ Mellor and Balcer 2002, section 1.4.
  6. ^ Mellor and Balcer 2002, section 1.5.
  7. ^ Raistrick et al. 2004, sections 2.3.3 and 2.3.4.