ACM Computing Surveys (CSUR)
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Executable UML: A Foundation for Model-Driven Architectures
Executable UML: A Foundation for Model-Driven Architectures
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Model Driven Architecture with Executable UML(TM)
Model Driven Architecture with Executable UML(TM)
Semantics of UML 2.0 Activity Diagram for Business Modeling by Means of Virtual Machine
EDOC '05 Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference
Symbolic model checking of UML activity diagrams
ACM Transactions on Software Engineering and Methodology (TOSEM)
On the suitability of UML 2.0 activity diagrams for business process modelling
APCCM '06 Proceedings of the 3rd Asia-Pacific conference on Conceptual modelling - Volume 53
UML 2: a model-driven development tool
IBM Systems Journal - Model-driven software development
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
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
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
Executable Domain Specific Language for Message-Based System Integration
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
An accessible verification environment for UML models of services
Journal of Symbolic Computation
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
Support for early verification of embedded real-time systems through UML models simulation
ACM SIGOPS Operating Systems Review
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
Unifying the semantics of UML 2 state, activity and interaction diagrams
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
Testing and debugging UML models based on fUML
Proceedings of the 34th International Conference on Software Engineering
Executing and debugging UML models: an fUML extension
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Hi-index | 0.00 |
An interpreter for UML 2 actions and activities is presented. It is based on two novel features in UML 2: the three-layer semantics architecture and the new token offer semantics for activities, which is intended to generalize the token flow semantics of Petri nets. The interpreter offers an array of analysis capabilities, ranging from random execution to reachability properties and assertion and deadlock checking. The design of the interpreter makes it suitable as the basis for a more comprehensive UML virtual machine.