2014/09/22 by Marı́a Victoria Cengarle, Jürgen Dingel, Cengarle, Maria Victoria +4
Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Formal Methods in Verification #Model-Driven Software Engineering Techniques #Software Engineering (cs.SE)
paper · pdf · doi:10.48550/arxiv.1409.6622
openalex publication_date 2014/09/22 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Previous work has presented our ongoing e orts to define a "reference semantics" for the UML, that is, a mathematically defined system model that is envisaged to cover all of the UML eventually, and that also carefully avoids the introduction of any unwarranted restrictions or biases. Due to the use of underspecification, the system model is not executable. This paper shows how the system model can serve as the basis for a highly customizable execution and simulation environment for the UML. The design and implementation of a prototype of such an environment is described and its use for the experimentation with different semantic variation points is illustrated.