Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Managing the software process
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
How debuggers work: algorithms, data structures, and architecture
How debuggers work: algorithms, data structures, and architecture
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
The architecture of a UML virtual machine
OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Executable UML: A Foundation for Model-Driven Architectures
Executable UML: A Foundation for Model-Driven Architectures
Design pattern implementation in Java and aspectJ
OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
MDA Explained: The Model Driven Architecture: Practice and Promise
MDA Explained: The Model Driven Architecture: Practice and Promise
The Pragmatics of Model-Driven Development
IEEE Software
Debugging and testing behavioral UML models
Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion
Execution and simulation of (profiled) UML models using pópulo
Proceedings of the 2008 international workshop on Models in software engineering
Towards a UML virtual machine: implementing an interpreter for UML 2 actions and activities
CASCON '08 Proceedings of the 2008 conference of the center for advanced studies on collaborative research: meeting of minds
Software debugging, testing, and verification
IBM Systems Journal
A UML simulator based on a generic model execution engine
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Formal verification of Tokeneer behaviours modelled in fUML using CSP
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
A FUML-based distributed execution machine for enacting software process models
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Model-Driven engineering in a large industrial context — motorola case study
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Testing and debugging UML models based on fUML
Proceedings of the 34th International Conference on Software Engineering
Hi-index | 0.00 |
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 mandatory 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 virtual 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 specification 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 prototype has been implemented and the use and evaluation of the approach are made on a case study.