Skip to Main content Skip to Navigation
Conference papers

Executing and debugging UML models: an fUML extension

Yoann Laurent 1 Reda Bendraou 1 Marie-Pierre Gervais 1
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : With the widespread of the Model-Driven Development (MDD) and surfing on the success of the Unified Modeling Language (UML), software development is shifting from being code-centric to model-centric. Models become the key artefacts in the software development process. The success of the project relies on the quality of these models. Early detection of errors by debugging and testing these models is manda-tory in order to reduce development cost, ensuring quality and preventing rework at later stages. The fUML standard defines the precise semantics for executing a subset of UML models by defining a virtual machine. The models are then directly executed without transformation. However, the vir-tual machine is defined to execute the model as an atomic action and does not fulfil the requirements for debugging it. We highlight in this paper the limit of the current specifica-tion of fUML (v1.0) and propose an approach for extending the virtual machine with the key functionality that enables debugging of fUML models. A working UML debugger pro-totype has been implemented and the use and evaluation of the approach are made on a case study.
Document type :
Conference papers
Complete list of metadata

Cited literature [22 references]  Display  Hide  Download
Contributor : Yoann Laurent Connect in order to contact the contributor
Submitted on : Thursday, November 27, 2014 - 3:07:54 PM
Last modification on : Friday, January 8, 2021 - 5:38:07 PM
Long-term archiving on: : Friday, April 14, 2017 - 9:58:20 PM


Files produced by the author(s)




Yoann Laurent, Reda Bendraou, Marie-Pierre Gervais. Executing and debugging UML models: an fUML extension. SAC'13 - The 28th Annual ACM Symposium on Applied Computing, Mar 2013, Coimbra, Portugal. pp.1095-1102, ⟨10.1145/2480362.2480569⟩. ⟨hal-01088175⟩



Record views


Files downloads