Towards a UML virtual machine: Implementing an interpreter for UML 2 actions and activities

Proceedings of the 2008 Conference of the Center for Advanced Studies, CASCON'08

Volumn , Issue , 2008, Pages

  Crane, Michelle L ^a   Dingel, Juergen ^a  

^a QUEEN S UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ANALYSIS CAPABILITIES; REACHABILITY; THREE-LAYER; VIRTUAL MACHINES;

GRAPH THEORY; PETRI NETS; SEMANTICS;

MACHINE DESIGN;

EID: 70349254296     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1463788.1463799     Document Type: Conference Paper

References (29)

1. A UML-based Specification Environment. http://www.db.informatik.uni- bremen.de/projects/USE/, 2007. Web page of the USE project, from the University of Bremen.
2. C. Bock. UML 2 activity and action models, part 4: Object nodes. Journal of Object Technology, 3(1):27-41, 2004.
3. C. Bock. "re: Token/offer semantics for activities". E-mail to J. Dingel, Apr 25, 2008.
4. M. Broy, M.V. Cengarle, and B. Rumpe. Semantics of UML - Towards a System Model for UML: The Structural Data Model. Tech. Report TUM-I0612, TUM, 2006.
5. M. Broy, M.V. Cengarle, and B. Rumpe. Semantics of UML - Towards a System Model for UML: The Control Model. Tech. Report TUM-I0710, TUM, 2007.
6. M. Broy, M.V. Cengarle, and B. Rumpe. Semantics of UML - Towards a System Model for UML: The State Machine Model. Tech. Report TUM-I0711, TUM, 2007.
7. M.V. Cengarle. System model for UML - the interactions case. In Methods for Modelling Software Systems (MMOSS), number 06351 in Dagstuhl Seminar Proceedings, 2007.
8. M.V. Cengarle, H. Grönniger, and B. Rumpe. System model semantics of statecharts. Technical Report (to appear), Technische Universität Braunschweig, 2008.
9. P. Cousot. Abstract interpretation. ACM Computing Surveys, 28(2):324-328, Jun 1996.
10. M.L. Crane and J. Dingel. Towards a formal account of a foundational subset for executable UML models. In 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS), 2008. To appear.
11. D. Dotan and A. Kirshin. Debugging and testing behavioral UML models. In 22nd ACM SIGPLAN Conference on Object Oriented Programming Systems and Applications (OOPSLA), pages 838-839. ACM, 2007.
12. G. Engels, C. Soltenborn, and H. Wehrheim. Analysis of UML activities using dynamic meta modeling. In 9th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), volume 4468 of LNCS, pages 76-90. Springer, 2007.
13. R. Eshuis. Symbolic model checking of UML activity diagrams. ACM Transactions on Software Engineering and Methodology (TOSEM), 15(1):1-38, 2006.
14. D. Flater, P.A. Martin, and M.L. Crane. Rendering UML activity diagrams as human-readable text. Submitted.
15. D. Flater, P.A. Martin, and M.L. Crane. Rendering UML activity diagrams as human-readable text. Technical Report NISTIR 7469, National Institute of Standards and Technology, November 2007.
16. B. Gajanovic and B. Rumpe. ALICE: An advanced logic for interactive component engineering. In 4th International Verification Workshop (Verify'07), 2007.
17. S.J. Mellor and M. Balcer. Executable UML: A Foundation for Model Driven Architecture. Addison-Wesley, 2002.
18. Object Management Group. Semantics of a foundational subset for executable UML models. Request for Proposal ad/2005-0402, Apr 2005.
19. Object Management Group. Unified Modeling Language: Superstructure version 2.1. Document ptc/06-01-02, Jan 2006.
20. C. Raistrick, P. Francis, J. Wright, C. Carter, and I. Wilkie. Model Driven Architecture with Executable UML. Cambridge University Press, 2004.
21. J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, 2005.
22. N. Russell, W.M.P. van der Aalst, A.H.M. ter Hofstede, and P. Wohed. On the suitability of UML 2.0 activity diagrams for business process modelling. In 3rd Asia-Pacific Conference on Conceptual Modelling (APCCM), pages 95-104. Australian Computer Society, Inc., 2006.
23. S. Sarstedt, J. Kohlmeyer, A. Raschke, M. Schneiderhan, and D. Gessenharter. ActiveChartsIDE. Poster at ECMDA 2005, Nov 2005.
24. T. Schattkowsky and A. Förster. On the pitfalls of UML 2 activity modeling. In International Workshop on Modeling in Software Engineering (MISE), pages 8-8, 2007.
25. B. Selic. On the semantic foundations of standard UML 2.0. In M. Bernardo and F. Corradini, editors, Formal Methods for the Design of Real-Time Systems (SFM-RT 2004), volume 3185 of LNCS, pages 181-199. Springer, 2004.
26. B. Selic. UML 2: A model-driven development tool. IBM Systems Journal, 45(3):607-620, Mar 2005.
27. H. Störrle and J. Hausmann. Towards a formal semantics of UML 2.0 activities. In Software Engineering, volume 64 of LNI, pages 117-128, 2005.
28. W. van der Aalst. Verification of workflow nets. In 18th International Conference on the Application and Theory of Petri Nets (ICATPN '97), volume 1248 of LNCS, pages 407-426. Springer, 1997.
29. V. Vitolins and A. Kalnins. Semantics of UML 2.0 activity diagram for business modeling by means of virtual machine. In 9th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2005), pages 181-194. IEEE Computer Society, 2005.