The architecture of a UML virtual machine
OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
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
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
Aspect-Oriented Model Weaving Beyond Model Composition and Model Transformation
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Hi-index | 0.00 |
Model-Driven Development (MDD) has made models first-class citizens of the software development process. Thus, a key factor for the successful adoption of MDD techniques is the ability to verify models, which can be achieved by model simulation and testing. This is already a reality for UML models, due mainly to the UML action language. However, at the current time, there are currently no tools available which are fully compliant with the UML action language. This leads to tool-interoperability and extensibility problems. In order to overcome this limitation, this paper presents Pópulo, a UML model debugger that interprets the UML action language. It is fully compliant with the UML 2.0 standard, and can be customised for executing models that need to extend (i.e. profile) the UML action language.