Weaving executability into UML class models at PIM level

ACM International Conference Proceeding Series

Volumn , Issue , 2009, Pages 1-

  Riccobene, Elvinia ^a   Scandurra, Patrizia ^b  

^a UNIVERSITY OF MILAN   (Italy)

^b UNIVERSITY OF BERGAMO   (Italy)

Author keywords

Abstract state machines; Behavioral modeling; Model weaving; Model driven engineering; Platform independent modeling; UML action language

Indexed keywords

ABSTRACT STATE MACHINES; BEHAVIORAL MODELING; MODEL WEAVING; MODEL-DRIVEN ENGINEERING; PLATFORM-INDEPENDENT MODELING; UML ACTION LANGUAGE;

ABSTRACTING; CONTOUR FOLLOWERS; INTERMODULATION; INTERMODULATION MEASUREMENT; LINGUISTICS; QUERY LANGUAGES; WEAVING;

WAVEGUIDES;

EID: 70350641934     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1555852.1555853     Document Type: Conference Paper

References (38)

1. The AMW (ATLAS Model Weaver website). http://www.eclipse.org/gmt/amw/, 2007.
2. The Abstract State Machine Metamodel website. http://asmeta.sf.net/,2006.
3. J. Bézivin. On the Unification Power of Models. Software and System Modeling (SoSym), 4(2):171-188, 2005.
4. E. Börger. The ASM method for system design and analysis. A tutorial introduction0. In B. Gramlich, editor, FroCoS 2005, Proceedings , LNCS 3717, pages 264-283. Springer, 2005.
5. E. Börger, A. Cavarra, and E. Riccobene. Modeling the dynamics of UML state machines. In Y. G. et al., editor, Abstract State Machines. Theory and Applications, LNCS 1912, pages 223-241. Springer, 2000.
6. E. Börger and R. Stärk. Abstract State Machines: A Method for High-Level System Design and Analysis. Springer Verlag, 2003.
7. A. Cavarra, E. Riccobene, and P. Scandurra. Mapping uml into abstract state machines: a framework to simulate uml models. J. Studia Informatica Universalis, 3(3):367-398, 2004.
8. K. Chen, J. Sztipanovits, and S. Neema. Compositional specification of behavioral semantics. In DATE, pages 906{911, 2007.
9. B. Combemale, P. G. X. Crégut, and X. Thirioux. Towards a formal verification of process models's properties - simplepdl and tocl case study. In 9th International Conference on Enterprise Information Systems (ICEIS), 2007.
10. K. Compton, J. Huggins, and W. Shen. A semantic model for the state machine in the Unified odeling Language. In Proc. of Dynamic Behavior in UML Models: Semantic Questions, UML 2000, 2000.
11. G. Csertán, G. Huszerl, I. Majzik, Z. Pap, A. Pataricza, and D. Varró. VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models. In ASE pages 267-270. IEEE Computer Society, 2002.
12. D. Di Ruscio, F. Jouault, I. Kurtev, J. Bézivin, and A. Pierantonio. Extending AMMA for Supporting Dynamic Semantics Specifications of DSLs. Technic al Report 06.02, LINA, 2006.
13. Eclipse Modeling Framework. http://www.eclipse.org/emf/, 2008.
14. OMG. Semantics of a Foundational Subset for Executable UML Models, version 1.0 - Beta 1, ptc/2008-2011-03, 2008.
15. A. Gargantini, E. Riccobene, and P. Scandurra. Metamodelling a Formal Method: Applying MDE to Abstract State Machines. Technical Report 97, DTI Dept., University of Milan, 2006.
16. A. Gargantini, E. Riccobene, and P. Scandurra. A metamodel-based simulator for ASMs. In A. Prinz, editor, Proceedings of the 14th International ASM Workshop ,2007.
17. A. Gargantini, E. Riccobene, and P. Scandurra. Ten reasons to metamodel ASMs. In Dagstuhl Workshop on Rigorous Methods for Software Construction and Analysis, LNCS Festschrift. Springer, 2007.
18. A. Gargantini, E. Riccobene, and P. Scandurra. A semantic framework for metamodel-based languages. Journal of Automated Software Engineering ,2009, in print.
19. The Generic Modeling Environment (GME). http://www.isis.vanderbilt.edu/ Projects/gme, 2006.
20. H. Habrias and M. Frappier. Software Specification Methods: An Overview Using a Case Study. Wiley, 2006.
21. D. Harel and B. Rumpe. Meaningful modeling: What's the semantics of "semantics"? IEEE Computer ,37(10):64-72, 2004.
22. F. Jouault, F. Allilaire, J. Bézivin, I. Kurtev, and P. Valduriez. ATL: a QVT-like transformation language. In OOPSLA '06, pages 719-720. ACM, 2006.
23. J. Jürjens. A UML statecharts semantics with message-passing. In Proc. of the 2002 ACM symposium on Applied computing, pages 1009-1013. ACM Press, 2002.
24. I. Kurtev, J. Bézivin, F. Jouault, and P. Valduriez. Model-based dsl frameworks. In OOPSLA Companion ,pages 602-616, 2006.
25. OMG. The Model Driven Architecture (MDA Guide V1.0.1). http://www.omg.org/mda/, 2003.
26. H. Miao, L. Liu, and L. Li. Formalizing uml models with object-z. In ICFEM '02: Proc. of the 4th Int. Conference on Formal Engineering Methods, pages 523-534, London, UK, 2002. Springer-Verlag.
27. P. Mohagheghi and V. Dehlen. Where is the proof? - a review of experiences from applying mde in industry. In I. Schieferdecker and A. Hartman, editors, ECMDA-FA, volume 5095 of LNCS, pages 432-443. Springer, 2008.
28. A. M. Mostafa, M. A. Ismail, H. E. Bolok, and E. M. Saad. Toward a Formalization of UML2.0 Metamodel using Z Specifications. In SNPD 2007, Proceedings, volume 1, pages 694-701, 2007.
29. P.-A. Muller, F. Fleurey, and J.-M. Jezequel. WeavingExecutability into Object-Oriented Meta-Languages.In Proc. of ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems, 2005.
30. I. Ober. More meaningful UML Models. In TOOLS - 37 Pacific 2000. IEEE, 2000.
31. OMG. Object Constraint Language (OCL), v2.0 formal/2006-05-101, 2006.
32. C. Raistrick, P. Francis, and J. Wright. Model Driven Architecture with Executable UML. Cambridge University Press, 2004.
33. E. Riccobene and P. Scandurra. Towards an Interchange Language for ASMs. In W. Zimmermann and B. Thalheim, editors, Abstract State Machines. Advances in Theory and Practice, LNCS 3052, pages 111 - 126. Springer, 2004.
34. E. Riccobene and P. Scandurra. Model transformations in the UPES/UPSoC development process for embedded systems. Innovations in Systems and Software Engineering, 5(1):35-47, 2009.
35. M. Scheidgen and J. Fischer. Human comprehensible and machine processable specifications of operational semantics. In ECMDA-FA. Springer, 2007. LNCS.
36. C. Snook and M. Butler. Uml-b: Formal modeling and design aided by uml. ACM Trans. Softw. Eng. Methodol., 15(1):92-122, 2006.
37. OMG. UML v2.2 Superstructure, formal/09-02-02,2009.
38. The Xactium XMF Mosaic. www.modelbased.net/www.xactium.com/, 2007.