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
Liste complète des métadonnées

Cited literature [22 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01088175
Contributor : Yoann Laurent <>
Submitted on : Thursday, November 27, 2014 - 3:07:54 PM
Last modification on : Thursday, March 21, 2019 - 2:16:32 PM
Document(s) archivé(s) le : Friday, April 14, 2017 - 9:58:20 PM

File

paper-CM-Final.pdf
Files produced by the author(s)

Identifiers

Citation

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. ACM, pp.1095-1102, 2013, 〈10.1145/2480362.2480569〉. 〈hal-01088175〉

Share

Metrics

Record views

137

Files downloads

139