A metamodel-based language and a simulation engine for abstract state machines

Journal of Universal Computer Science

Volumn 14, Issue 12, 2008, Pages 1949-1983

  Gargantini, Angelo ^a   Riccobene, Elvinia ^b   Scandurra, Patrizia ^b  

^a UNIVERSITY OF BERGAMO   (Italy)

^b UNIVERSITY OF MILAN   (Italy)

Author keywords

Abstract state machines; ASM language; ASM simulator; Metamodelling; Model driven engineering

Indexed keywords

EID: 55249095834     PISSN: 0958695X     EISSN: 09486968     Source Type: Journal    
DOI: None     Document Type: Article

References (50)

1. [AMMA, 2005] AMMA (2005). The AMMA Platform. http://www.sciences.univ- nantes.fr/lina/atl/.
2. [Anlauff, 2000] Anlauff, M. (2000). XASM - An Extensible, Component-Based ASM Language. In Abstract State Machines, pages 69-90.
3. [ASML, 2001] ASML (2001). The ASML language. research.microsoft.com/ foundations/AsmL/.
4. [AsmM, 2006] AsmM (2006). The Abstract State Machine Metamodel website. http://asmeta.sf.net/.
5. [ATGT, 2008] ATGT (2008). ATGT: ASM Tests Generation Tool. http://cs.unibg.it/gargantini/projects/atgt/.
6. [Bézivin, 2004] Bézivin, J. (2004). In Search of a Basic Principle for Model Driven Engineering. CEPIS, UPGRADE, The European Journal for the Informatics Professional, V(2):21-24.
7. [Börger, 2007] Börger, E. (2007). The Abstract State Machines Method for High-Level System Design and Analysis. Technical report, BCS Facs Seminar Series Book.
8. [Börger and Stärk, 2003] Börger, E. and Stärk, R. (2003). Abstract State Machines: A Method for High-Level System Design and Analysis. Springer Verlag.
9. [Cabot and Teniente, 2006] Cabot, J. and Teniente, E. (2006). Constraint support in MDA tools: A survey. In ECMDA-FA, Proceedings, volume 4066 of LNCS. Springer.
10. [Castillo, 2001] Castillo, G. D. (2001). The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models. In Proc. of TACAS, volume 2031 of LNCS, pages 578-581. Springer.
11. [CoreAsm, 2008] CoreAsm (2008). The CoreASM Project. http://www.coreasm. org/.
12. [Efftinge, 2006] Efftinge, S. (2006). oAW xText - A framework for textual DSLs. In Workshop on Modeling Symposium at Eclipse Summit.
13. [EMF, 2008] EMF (2008). Eclipse Modeling Framework. http://www.eclipse. org/emf/.
14. [FIT, 2007] FIT (2007). Fit: Framework for integrated test. http://fit.c2.com/.
15. [Gargantini and Riccobene, 2000] Gargantini, A. and Riccobene, E. (2000). Encoding Abstract State Machines in PVS. In et al., Y. G., editor, Abstract State Machines: Theory and Applications, volume 1912 of LNCS, pages 303-322. Springer-Verlag.
16. [Gargantini et al., 2003] Gargantini, A., Riccobene, E., and Rinzivillo, S. (2003). Using spin to generate tests from ASM specifications. In Abstract State Machines, Advances in Theory and Practice, number 2589 in LNCS, pages 263-277. Springer.
17. [Gargantini et al., 2006a] Gargantini, A., Riccobene, E., and Scandurra, P. (2006a). Deriving a textual notation from a metamodel: an experience on bridging Modelware and Grammarware. In 3M4MDA'06 workshop at the European Conference on MDA.
18. [Gargantini et al., 2006b] Gargantini, A., Riccobene, E., and Scandurra, P. (2006b). Metamodelling a Formal Method: Applying MDE to Abstract State Machines. Technical Report 97, DTI Dept., University of Milan.
19. [Gargantini et al., 2007a] Gargantini, A., Riccobene, E., and Scandurra, P. (2007a). A metamodel-based simulator for ASMs. In Prinz, A., editor, Proceedings of the 14th International ASM Workshop.
20. [Gargantini et al., 2007b] Gargantini, A., Riccobene, E., and Scandurra, P. (2007b). Ten reasons to metamodel ASMs. In Dagstuhl Workshop on Rigorous Methods for Software Construction and Analysis, LNCS Festschrift. Springer.
21. [GME, 2006] GME (2006). The Generic Modeling Environment (GME). http://www.isis.vanderbilt.edu/Projects/gme.
22. [GMF, 2008] GMF (2008). The Eclipse Graphical Modeling Framework. http://www.eclipse.org/gmf/.
23. [Gurevich et al., 2004] Gurevich, Y., Rossman, B., and Schulte, W. (2004). Semantic essence of AsmL. Technical Report MSR-TR-2004-27, Microsoft Research.
24. [Hearnden et al., 2002] Hearnden, D., Raymond, K., and Steel, J. (2002). Anti-Yacc: MOF-to-text. In Proc. of EDOC, pages 200-211.
25. [HUTN, 2004] HUTN (2004). OMG, Human-Usable Textual Notation, v1.0. Document formal/04-08-01. http://www.uml.org/.
26. [JavaCC, 2008] JavaCC (2008). Java Compiler Compiler. https://javacc.dev.java.net/.
27. [Jensen et al., 2007] Jensen, O., Koteng, R., Monge, K., and Prinz, A. (2007). Abstraction using ASM tools. In The 14th International ASM Workshop.
28. [JMI, 2002] JMI (2002). Java Metadata Interface Specification, Version 1.0. http://java.sun.com/products/jmi/.
29. [Jouault et al., 2006] Jouault, F., Allilaire, F., Bézivin, J., Kurtev, I., and Valduriez, P. (2006). ATL: a QVT-like transformation language. In OOPSLA '06: Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, pages 719-720. ACM.
30. [Jouault and Bézivin, 2006] Jouault, F. and Bézivin, J. (Bologna, Italy, 2006). KM3: a DSL for Metamodel Specification. In Proceedings of 8th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems.
31. [Kent, 2002] Kent, S. (2002). Model Driven Engineering. In IFM '02: Proc. of the Third International Conference on Integrated Formal Methods, pages 286-298. Springer-Verlag.
32. [Kurtev et al., 2002] Kurtev, I., Bézivin, J., and Aksit, M. (Irvine, USA, 2002). Technical Spaces: An Initial Appraisal. In CoopIS, DOA'2002, Federated Conferences, Industrial track.
33. [LOG4j, 2008] LOG4j (2008). Log4J. http://logging.apache.org/log4j.
34. [MDR, 2003] MDR (2003). The Model Driven Repository for NetBeans. http://mdr.netbeans.org/.
35. [Mens et al., 2005] Mens, T., Wermelinger, M., Ducasse, S., Demeyer, S., Hirschfeld, R., and Jazayeri, M. (2005). Challenges in software evolution. In International Workshop on Principles of Software Evolution (IWPSE'05).
36. [Microsoft DSL Tools, 2005] Microsoft DSL Tools (2005). Microsoft DSL Tools. http://msdn.microsoft.com/vstudio/DSLTools/.
37. [MOF, 2002] MOF (2002). OMG. The Meta Object Facility (MOF) v1.4, formal/2002-04-03.
38. [Nytun et al., 2006] Nytun, J. P., Prinz, A., and Tveit, M. S. (2006). Automatic generation of modelling tools. In Proc. of ECMDA-FA, pages 268-283.
39. [OCLE, 2005] OCLE (2005). OCL Environment (OCLE). http://lci.cs.ubbcluj. ro/ocle.
40. [OMG, 2008] OMG (2008). The Object Managment Group (OMG). http://www.omg.org.
41. [OSGi, 2008] OSGi (2008). OSGi Alliance. http://www.osgi.org/.
42. [Ouimet and Lundqvist, 2007] Ouimet, M. and Lundqvist, K. (2007). The Timed Abstract State Machine Language: Abstract State Machines for Real-Time System Engineering. In Proceedings of the 14th International Workshop on Abstract State Machines (ASM '07).
43. [Riccobene and Scandurra, 2004] Riccobene, E. and Scandurra, P. (2004). Towards an Interchange Language for ASMs. In Zimmermann, W. and Thalheim, B., editors, Abstract State Machines. Advances in Theory and Practice, LNCS 3052, pages 111 - 126. Springer.
44. [SAL, 2008] SAL (2008). The Symbolic Analysis Laboratory. http://sal.csl.sri.com/.
45. [Schellhorn and Ahrendt, 1997] Schellhorn, G. and Ahrendt, W. (1997). Reasoning about Abstract State Machines: The WAM Case Study. J. of Universal Computer Science, 3(4):377-413.
46. [Schmid, 2001] Schmid, J. (2001). AsmGofer. http://www.tydo.de/ Doktorarbeit/AsmGofer.
47. [Sztipanovits and Karsai, 1997] Sztipanovits, J. and Karsai, G. (1997). Model-integrated computing. IEEE Computer, 30(4):110-111.
48. [Vasilyev, 2007] Vasilyev, P. (2007). Simulator-model checker for reactive real-time abstract state machines. In Proceedings of the 14th International ASM Workshop (ASM'07). http://rotor.di.unipi.it/AsmCenter/.
49. [Winter, 1997] Winter, K. (1997). Model Checking for Abstract State Machines. Journal of Universal Computer Science (J.UCS), 3(5):689-701.
50. [XMF Mosaic, 2007] XMF Mosaic (2007). The Xactium XMF Mosaic. www.modelbased.net/www.xactium.com/.