Live briefing
Everything about Executable UML
Software development method and a highly abstract software language
Executable UML 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". The language "combines a subset of the UML graphical notation with executable semantics and timing rules." The Executable UML method is the successor to the Shlaer–Mellor method. Wikipedia →
đź§ Start here: a 6-step reading path
- Read the overview: Executable UMLA 5-minute orientation
- Skim a recent paper: Compiler-Like Code Generation for fUML: Reducing Overhead in Executable UMLInfluential work since 2022
- Pick up a classic book: Java software solutionsThe most-reprinted book on the subject
- Read the landmark paper: Execution of UML models: a systematic review of research and practiceCited 95 times
- Go sideways: Shlaer–Mellor methodA closely related topic
- Go sideways: Stephen J. MellorA closely related topic
đź“– Definitions
No dictionary entry for this exact phrase.
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
Execution of UML models: a systematic review of research and practice
eUDEVS: Executable UML with DEVS Theory of Modeling and Simulation
Towards model checking executable UML specifications in mCRL2
An executable formal semantics for UML-RT
Designing and Weaving Aspect-Oriented Executable UML Models.
A Further Step Towards Participatory Modelling. Fostering Stakeholder Involvement in Designing Models by Using Executable UML
Unified verification and monitoring of executable UML specifications
Transformation and Verification of Executable UML Models
🆕 Influential since 2022
📚 Books worth reading
Java software solutionsLewis, John, John E. Lewis Ph. D. · 1997
The unified modeling language user guideGrady Booch, James Rumbaugh · 1999
Software EssentialsAdair Dingle · 2014
The unified software development processIvar Jacobson · 1999
Model-driven development with executable UMLDragan Milicev · 2009
Tests and ProofsMargus Veanes · 2013
Executable UMLLeon Starr · 2001
Executable UML How to Build Class ModelsLeon Starr · 2001
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
đź”— Related topics
- Shlaer–Mellor method The Shlaer–Mellor method, also known as object-oriented systems analysis (OOSA) or object-oriented analysis (OOA) is an object-oriented software development…
- Stephen J. Mellor Stephen J. Mellor (born 1952) is an American computer scientist, developer of the Ward–Mellor method for real-time computing, the Shlaer–Mellor method…
- Model-driven architecture Model-driven architecture (MDA) is a software design approach for the development of software systems. It provides a set of guidelines for the structuring…
- Model-driven engineering Model-driven engineering (MDE) is a software development methodology that focuses on creating and exploiting domain models, which are conceptual models…
- Sally Shlaer Sally Shlaer (December 3, 1938 – November 12, 1998) was an American mathematician, software engineer and software methodologist, known as co-developer…
- UML state machine UML state machine, formerly known as UML statechart, is an extension of the mathematical concept of a finite automaton in computer science applications…
- Meta-Object Facility The Meta-Object Facility (MOF) is an Object Management Group (OMG) standard for model-driven engineering. Its purpose is to provide a type system for entities…
- State diagram A state diagram is used in computer science and related fields to describe the behavior of systems. State diagrams require that the system is composed…