Towards a formal account of a foundational subset for executable UML models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5301 LNCS, Issue , 2008, Pages 675-689

  Crane, Michelle L ^a   Dingel, Juergen ^a  

^a QUEEN S UNIVERSITY   (Canada)

Author keywords

Actions; Activities; Executable UML; Formal mapping; Model driven engineering; Semantics

Indexed keywords

CLARIFICATION; FORMAL LOGIC; FORMAL METHODS; INFORMATION THEORY; LINGUISTICS; MODELS; SEMANTICS;

ACTIONS; ACTIVITIES; COMPLEX ACTIONS; EXECUTABLE UML; EXECUTION SEMANTICS; FORMAL MAPPING; FORMAL SEMANTICS; MODELING CONCEPTS; REQUEST FOR PROPOSALS; STATE MACHINES; USAGE SCENARIOS; VIRTUAL MACHINES;

UNIFIED MODELING LANGUAGE;

EID: 56649087956     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87875-9_47     Document Type: Conference Paper

References (23)

1. Object Management Group: Semantics of a foundational subset for executable UML models. Request for Proposal ad/2005-04-02 (April 2005)
2. Harel, D., Politi, M.: Modeling Reactive Systems with Statecharts: The STATE-MATE Approach. McGraw-Hill, New York (1998)
3. Shlaer, S., Mellor, S.: Object Lifecycles: Modeling the World in States. Prentice-Hall, Englewood Cliffs (1992)
4. Selic, B., Gullekson, G., Ward, P.: Real-Time Object-Oriented Modeling. Wiley, Chichester (1994)
5. Object Management Group: Unified Modeling Language: Superstructure version 2.1. Document ptc/06-01-02 (January 2006)
6. Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual, 2nd edn. Addison-Wesley, Reading (2005)
7. Broy, M., Cengarle, M., Rumpe, B.: Semantics of UML - Towards a System Model for UML: The Structural Data Model. Technical Report TUM-I0612, TUM (2006)
8. Broy, M., Cengarle, M., Rumpe, B.: Semantics of UML - Towards a System Model for UML: The Control Model. Technical Report TUM-I0710, TUM (2007)
9. Broy, M., Cengarle, M., Rumpe, B.: Semantics of UML - Towards a System Model for UML: The State Machine Model. Technical Report TUM-I0711, TUM (2007)
10. Bock, C.: Re: Token/offer semantics for activities. E-mail to J. Dingel (April 25, 2008)
11. Störrle, H., Hausmann, J.: Towards a formal semantics of UML 2.0 activities. In: Software Engineering. LNI, vol. 64, pp. 117-128 (2005)
12. Schattkowsky, T., Förster, A.: On the pitfalls of UML 2 activity modeling. In: Proceedings of the International Workshop on Modeling in Software Engineering (MISE), p. 8 (2007)
13. Jiang, K., Zhang, L., Miyake, S.: An executable UML with OCL-based action semantics language. In: Asia-Pacific Software Engineering Conference (APSEC), pp. 302-309 (2007)
14. Fuentes, L., Sánchez, P.: Towards executable aspect-oriented UML models. In: 10th International Workshop on Aspect-oriented Modeling (AOM), pp. 28-34. ACM Press, New York (2007)
15. Sarstedt, S., Kohlmeyer, J., Raschke, A., Schneiderhan, M., Gessenharter, D.: ActiveChartsIDE. In: ECMDA 2005 (2005)
16. Raistrick, C., Francis, P., Wright, J., Carter, C., Wilkie, I.: Model Driven Architecture with Executable UML. Cambridge University Press, Cambridge (2004)
17. Mellor, S., Balcer, M.: Executable UML: A Foundation for Model Driven Architecture. Addison-Wesley, Reading (2002)
18. Dotan, D., Kirshin, A.: Debugging and testing behavioral UML models. In: 22nd ACM SIGPLAN Conference on Object Oriented Programming Systems and Applications (OOPSLA), pp. 838-839. ACM Press, New York (2007)
19. Ober, I., Coulette, B., Gandriau, M.: Action language for the UML. In: Langages et Modèles à Objets (LMO), Hermes, pp. 277-291 (2000)
20. Engels, G., Soltenborn, C., Wehrheim, H.: Analysis of UML activities using dynamic meta modeling. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol. 4468, pp. 76-90. Springer, Heidelberg (2007)
21. Eshuis, R.: Symbolic model checking of UML activity diagrams. ACM Transactions on Software Engineering and Methodology (TOSEM) 15(1), 1-38 (2006)
22. Object Management Group: Semantics of a foundational subset for executable UML models. Initial Submission ad/06-05-02 (May 2006)
23. Crane, M., Dingel, J.: Towards a UML virtual machine: Implementing an interpreter for UML 2 actions and activities. In: 2008 conference of the Centre for Advanced Studies on Collaborative research (CASCON) (to appear, 2008)