An ASM semantics of UML derived from the meta-model and incorporating actions

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

Volumn 2589, Issue , 2003, Pages 356-371

  Ober, Ileana ^a  

^a VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

MOBILE TELECOMMUNICATION SYSTEMS; UNIFIED MODELING LANGUAGE;

ACTION SEMANTICS; ASM SEMANTICS; COMMUNICATION PRIMITIVES; DYNAMIC SEMANTIC; STANDARD DEFINITIONS; STATE MACHINE; UML METAMODEL; WORKING GROUPS;

SEMANTICS;

EID: 2442546931     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36498-6_21     Document Type: Article

References (22)

1. R. Breu, et al.: Towards a formalization of the unified modeling language. In S. Matsuoka, M. Aksit (eds), ECOOP'97, In ECOOP'97 Proceedings, LNCS 1241, (1997)
2. E. Borger, A. Cavarra, E. Riccobene. Modeling the Dynamics of UML State Machines, Int. Workshop on Abstract State Machines ASM'2000, LNCS 1912, (2000) 223-241
3. E. Börger, A. Cavarra, E. Riccobene. An ASM Semantics for UML Activity Diagrams. In: T.Rust (Ed.), Proc. AMAST 2000, LNCS, Vol.1816, (2000) pp. 292-308
4. K. Compton, Y. Gurevich, J. Huggins, W. Shen.: An Automatic Verification Tool for UML, Technique Report CSE-TR-423-00, Dept. of EECS, The University of Michigan, May, (2000)
5. S. Cook. The UML Family: Profiles, Prefaces and Packages. Proceedings of UML 2000 - The Unified Modeling Language. Advancing the Standard, LNCS 1939, (2000) 255-264
6. R. Eschbach, U. Glässer, R. Gotzhein, M. von Lowis, A. Prinz: Formal definition of SDL-2000 - Compiling and Ronning SDL specifications as ASM Models. In E Börger, U. Glässer (Eds), Journal of Universal Computer Science, vol. 7 no 11(2001), 1024-1049
7. Evans, R. France, K. Lano, B. Rumpe.: The UML as a Formal Modeling Notation. Proceedings of UML'98 - Beyond the Notation, LNCS 1618, (1999) 336-348
8. Evans, S. Kent.: Core Meta-modelling semantics of UML: the pUML approach, Proceedings of UML'99 - Beyond the Standard, LNCS 1793, (1999) 141-155
9. M. Gogolla, F. Parisi-Presicce.: State diagrams in UML: A formal semantics using graph transformation. In M. Broy, D. Coleman, T. Maibaum, B. Rumpe (Eds.), Proceedings PSMT'98. Technische Universitaet Muenchen, TUM-19803, (1998)
10. Y. Gurevich. Evolving Algebras 1993: Lipari Guide. In E. Börger, editor, Specification and Validation Methods, pages 9-36. Oxford University Press, (1995)
11. D. Harel, E. Gery. Executable Object Modelling with Statecharts, IEEE Computer 30(7):(1997) 31-42
12. W. M. Ho, J. M. Jézéquel, A. Le Guennec, F. Pennaneac'h: UMLAUT: an extendible UML transformation framework. In Proc. ASE'99, Florida, October 1999
13. International Telecommunication Union - Telecommunication Standardization Sector, Recommendation Z. 100 Annex F - Specification and description language Electronic Bookshop, Geneva, (2000)
14. Ober, I. Stan. On the Concurrent Object Model of UML, EuroPar'99, Toulouse, LNCS 1685, (1999), 1377-1384
15. Ober, B. Coulette, M. Gandriau. Action Language for UML. LMO 2000, Mont Saint Hilaire, Canada, Hermes Science Publications, (2000) pp. 277-291
16. Ober. More meaningful UML Models. Proceedings of TOOLS - 37 Pacific 2000, IEEE Computer Society Press, (2000), 146-157
17. Ober Harmonizing Design Languages with Object-Oriented Extensions and an Executable Semantics. PhD thesis at Institut National Polytechnique de Toulouse, ENSEEIHT, Available at http://www-verimag.imag.rr/∼iober/Thesis/thesis.html, April (2001)
18. Object Management Group. UML Action Semantics Final Submission, OMG Document ad/01-03-01, 24 March, (2001)
19. Object Management Group Unified Modelling Language Specification (UML), v 1.4, September (2001)
20. G. Övergaard. A Formal Approach to Collaborations in the Unified Modeling Language, Proceedings of UML'99 - Beyond the Standard, LNCS 1793, (1999) 99-115
21. M. Richters, M. Gogolla: Validating UML models and OCL constraints. Proceedings of UML 2000 - Advancing the Standard, LNCS 1939, (2000), 265-277
22. U2 Parteners Consortium. Revised UML 2.0 proposal for public review and comment, v 2.0 beta R2, June 2002