Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
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
Model-Driven Software Development
Model-Driven Software Development
State-based incremental testing of aspect-oriented programs
Proceedings of the 5th international conference on Aspect-oriented software development
Fixing Inconsistencies in UML Design Models
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Debugging and testing behavioral UML models
Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion
Execution of aspect oriented UML models
ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
Testing UML2.0 models using TTCN-3 and the UML2.0 testing profile
SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
Systems and Software Verification: Model-Checking Techniques and Tools
Systems and Software Verification: Model-Checking Techniques and Tools
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
Pópulo: a tool for debugging UML models
Companion of the 30th international conference on Software engineering
Proceedings of the 2008 AOSD workshop on Aspect-oriented modeling
A simulation-based software design framework for network-centric and parallel systems
Programming Support Innovations for Emerging Distributed Applications
Support for early verification of embedded real-time systems through UML models simulation
ACM SIGOPS Operating Systems Review
Executing and debugging UML models: an fUML extension
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Simulating software behavior based on UML activity diagram
Proceedings of the 5th Asia-Pacific Symposium on Internetware
Hi-index | 0.00 |
A key factor for the successful adoption of Model-Driven Development (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, this action language is purely object-oriented, which implies it needs to be extended to model applications of new software development paradigms, such as aspect-oriented applications. These extensions also require modifying the tools that execute the UML models, which, with the currently available tools, is often not possible. Furthermore, at the current time, there are no tools fully compliant with the UML action language. In order to overcome this limitation, this paper presents Pópulo, an extensible UML model debugger, which interprets the UML action language, compliant with the standard, and that can be customised for executing profiled (i.e. extended) UML models.