Pópulo: a tool for debugging UML models
Companion of the 30th international conference on Software engineering
Execution and simulation of (profiled) UML models using pópulo
Proceedings of the 2008 international workshop on Models in software engineering
Towards a Formal Account of a Foundational Subset for Executable UML Models
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
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
MBT4Chor: A Model-Based Testing Approach for Service Choreographies
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
Support for early verification of embedded real-time systems through UML models simulation
ACM SIGOPS Operating Systems Review
Generative technologies for model animation in the topcased platform
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
A plug-in based approach for UML model simulation
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Executing and debugging UML models: an fUML extension
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Hi-index | 0.00 |
As software complexity increases, the process of software development is shifting from being code-centric to model-centric. For this purpose, UML augments the object-oriented paradigm with powerful and flexible behavioral modeling capabilities. It allows the developer to describe the system's behavior in a higher level of abstraction by using state machines, activities, and interactions. To facilitate such model-driven development, we present a plug-in for IBM Rational's modeling tools, which enables the execution, debugging and testing of UML models. The presentation will show how to use our tools to discover defects early in the development cycle, thus preventing costly rework at later stages. We will highlight the innovative features of our tools, such as model-level debug control, interactive dynamic debugging, and the extensibility that allows developing support for UML profiles.