Object lifecycles: modeling the world in states
Object lifecycles: modeling the world in states
Real-time object-oriented modeling
Real-time object-oriented modeling
Executable UML: A Foundation for Model-Driven Architectures
Executable UML: A Foundation for Model-Driven Architectures
Modeling Reactive Systems with Statecharts: The Statemate Approach
Modeling Reactive Systems with Statecharts: The Statemate Approach
Model Driven Architecture with Executable UML(TM)
Model Driven Architecture with Executable UML(TM)
Unified Modeling Language Reference Manual, The (2nd Edition)
Unified Modeling Language Reference Manual, The (2nd Edition)
Symbolic model checking of UML activity diagrams
ACM Transactions on Software Engineering and Methodology (TOSEM)
Towards executable aspect-oriented UML models
Proceedings of the 10th international workshop on Aspect-oriented modeling
On the Pitfalls of UML 2 Activity Modeling
MISE '07 Proceedings of the International Workshop on Modeling in Software Engineering
Debugging and testing behavioral UML models
Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion
An Executable UML with OCL-based Action Semantics Language
APSEC '07 Proceedings of the 14th Asia-Pacific Software Engineering Conference
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
Analysis of UML activities using dynamic meta modeling
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Deterministic UML Models for Interconnected Activities and State Machines
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Executable Domain Specific Language for Message-Based System Integration
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Towards a semantics of activity diagrams with semantic variation points
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
A simulation-based software design framework for network-centric and parallel systems
Programming Support Innovations for Emerging Distributed Applications
UML formal semantics: lessons learned
Software and Systems Modeling (SoSyM)
Reactive semantics for distributed UML activities
FMOODS'10/FORTE'10 Proceedings of the 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
| Hi-index | 0.00 |
A current Request for Proposal [1] from the OMG describes the requirements for an "Executable UML Foundation". This subset of UML 2 would serve as a shared foundation for higher-level modeling concepts, such as activities, state machines, and interactions. In a sense, this subset would define a basic virtual machine for UML, allowing the execution and analysis of runtime behavior of models. Regardless of the executable subset chosen, a precise definition of execution semantics of UML actions is required. To the best of our knowledge, no formal semantics of such a subset yet exists. We present our work on clarifying the semantics and pragmatics of UML actions. In particular, we sketch a formalization of a subset of UML actions and discuss common usage scenarios for the most complex actions, identifying usage assumptions that are not explicit in the UML 2 specification.