Abstract
Model-Driven Engineering (or MDE) is an emerging approach for system development which refers to the systematic use of models as primary engineering artifacts throughout the engineering lifecycle. MDE puts emphasis on bridges between different working contexts and on the integration of bodies of knowledge differently developed. We discuss the mutual advantages that the integration of MDE and Abstract State Machines (ASMs) would provide: MDE can gain rigour and preciseness, while ASMs get a standard abstract notation and a general framework for a wide tool interoperability.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Eclipse Modeling Framework, http://www.eclipse.org/emf/
Java Compiler Compiler, https://javacc.dev.java.net/
The AMMA Platform, http://www.sciences.univ-nantes.fr/lina/atl/
The Eclipse Graphical Modeling Framework, http://www.eclipse.org/gmf/
The, M.D.R. (Model Driven Repository) for NetBeans, http://mdr.netbeans.org/
The Xactium XMF Mosaic, http://www.modelbased.net/www.xactium.com/
Anlauff, M., Del Castillo, G., Huggins, J., Janneck, J., Schmid, J., Schulte, W.: The ASM-Interchange Format XML Document Type Definition (ASM-DTD), http://www.first.gmd.de/~ma/asmdtd.html
The ASML Language, http://research.microsoft.com/foundations/AsmL/
The AsmL metamodel in the Atlantic Zoo (2006), http://www.eclipse.org/gmt/am3/zoos/atlanticZoo/#AsmL
The Abstract State Machine Metamodel and its tool set, http://asmeta.sf.net/
ATGT: ASM tests generation tool, http://cs.unibg.it/gargantini/project/atgt/
Bézivin, J.: On the Unification Power of Models. Software and System Modeling (SoSym) 4(2), 171–188 (2005)
Bézivin, J., Bruneliére, H., Jouault, F.J., Kurtev, I.: Model Engineering Support for Tool Interoperability. In: The 4th Workshop in Software Model Engineering (WiSME 2005), Montego Bay, Jamaica (2005)
Börger, E., Stärk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)
Del Castillo, G.: The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models Tool Demonstration. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol. 2031, pp. 578–581. Springer, Heidelberg (2001)
Chen, K., Sztipanovits, J., Abdelwalhed, S., Jackson, E.: Semantic anchoring with model transformations. In: Hartman, A., Kreische, D. (eds.) ECMDA-FA 2005. LNCS, vol. 3748, pp. 115–129. Springer, Heidelberg (2005)
OMG, CORBA, http://www.corba.org/
The CoreASM Project, http://www.coreasm.org/
Hearnden, D., Raymond, K., Steel, J.: Anti-Yacc: MOF-to-text. In: Proc. of EDOC, pp. 200–211 (2002)
Dold, A.: A Formal Representation of Abstract State Machines Using PVS. Verifix Technical Report Ulm/6.2, Universitat Ulm (July 1998)
Riccobene, E., Scandurra, P., Rosti, A., Bocchio, S.: A SoC Design Methodology Based on a UML 2.0 Profile for SystemC. In: Proc. of Design Automation and Test in Europe (DATE 2005). IEEE, Los Alamitos (2005)
Efftinge, S.: oAW xText - A framework for textual DSLs. In: Workshop on Modeling Symposium at Eclipse Summit (2006)
Mens, T., et al.: Challenges in software evolution. In: International Workshop on Principles of Software Evolution, IWPSE 2005 (2005)
Fischer, J., Piefel, M., Scheidgen, M.: A Metamodel for SDL-2000 in the Context of Metamodelling ULF. In: Fourth SDL And MSC Workshop (SAM 2004), pp. 208–223 (2004)
Gargantini, A., Riccobene, E.: Encoding Abstract State Machines in PVS. In: Gurevich, Y., Kutter, P.W., Odersky, M., Thiele, L. (eds.) ASM 2000. LNCS, vol. 1912, pp. 303–322. Springer, Heidelberg (2000)
Gargantini, A., Riccobene, E., Rinzivillo, S.: Using Spin to Generate Tests from ASM Specifications. In: Börger, E., Gargantini, A., Riccobene, E. (eds.) ASM 2003. LNCS, vol. 2589, pp. 263–277. Springer, Heidelberg (2003)
Gargantini, A., Riccobene, E., Scandurra, P.: Deriving a textual notation from a metamodel: an experience on bridging Modelware and Grammarware. In: 3M4MDA 2006 workshop at the European Conference on MDA (2006)
Gargantini, A., Riccobene, E., Scandurra, P.: Metamodelling a Formal Method: Applying MDE to Abstract State Machines. Technical Report 97, DTI Dept., University of Milan (2006)
Gargantini, A., Riccobene, E., Scandurra, P.: A Metamodel-based Simulator for ASMs. In: 14th International ASM Workshop, Grimstad, Norway, June 7-9 (2007)
Holt, R., Schürr, A., Sim, S.E., Winter, A.: Graph eXchange Language, http://www.gupro.de/GXL/index.html
OMG, Human-Usable Textual Notation, v1.0. Document formal/04-08-01, http://www.uml.org/
Java Metadata Interface Specification, Version 1.0. (2002), http://java.sun.com/products/jmi/
Jouault, F., Bézivin, J.: KM3: a DSL for Metamodel Specification. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol. 4037, pp. 171–185. Springer, Heidelberg (2006)
OMG. The Model Driven Architecture (MDA), http://www.omg.org/mda/
Nytun, J.P., Prinz, A., Tveit, M.S.: Automatic generation of modelling tools. In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol. 4066, pp. 268–283. Springer, Heidelberg (2006)
OCL Environment (OCLE), http://lci.cs.ubbcluj.ro/ocle
The Object Managment Group (OMG), http://www.omg.org
Petri Net Markup Laguage (PNML), http://www.informatik.hu-berlin.de/top/pnml
Riccobene, E., Scandurra, P., Rosti, A., Bocchio, S.: A UML 2.0 profile for SystemC: toward high-level SoC design. In: EMSOFT 2005: Proceedings of the 5th ACM international conference on Embedded software, pp. 138–141. ACM, New York (2005)
Riccobene, E., Scandurra, P., Rosti, A., Bocchio, S.: A model-driven design environment for embedded systems. In: Proc. of the 43rd annual Conference on Design Automation (DAC 2006), pp. 915–918. ACM Press, New York (2006)
Scandurra, P., Gargantini, A., Genovese, C., Genovese, T., Riccobene, E.: A Concrete Syntax derived from the Abstract State Machine Metamodel. In: 12th International Workshop on Abstract State Machines (ASM 2005), Paris, France, March 8-11 (2005)
Schellhorn, G., Ahrendt, W.: Reasoning about Abstract State Machines: The WAM Case Study. Journal of Universal Computer Science 3(4), 377–413 (1997)
Schmid, J.: AsmGofer, http://www.tydo.de/AsmGofer
Taentzer, G.: Towards common exchange formats for graphs and graph transformation systems. In: Padberg, J. (ed.) UNIGRA 2001: Uniform Approaches to Graphical Process Specification Techniques, satellite workshop of ETAPS (2001)
The Timed Abstract State Machine (TASM) Language and Toolset, http://esl.mit.edu/html/tasm.html
Thibodeaux, R.: The Specification of Architectural Languages with Abstract State Machines. In: 14th International ASM Workshop, Grimstad, Norway, June 7-9 (2007)
OMG. The Unified Modeling Language (UML), http://www.uml.org
Varró, D., Varró, G., Pataricza, A.: Towards an XMI–based model interchange format for graph transformation systems. Technical report, Budapest University of Technology and Economics, Dept. of Measurement and Information Systems (September 2000)
Winter, K.: Model Checking for Abstract State Machines. Journal of Universal Computer Science (J.UCS) 3(5), 689–701 (1997)
XASM: The Open Source ASM Language, http://www.xasm.org
OMG, XMI Specification, v1.2, http://www.omg.org/cgi-bin/doc?formal/2002-01-01
Gurevich, Y., Rossman, B., Schulte, W.: Semantic Essence of AsmL. Microsoft Research Technical Report MSR-TR-2004-27 (March 2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Gargantini, A., Riccobene, E., Scandurra, P. (2009). Ten Reasons to Metamodel ASMs. In: Abrial, JR., Glässer, U. (eds) Rigorous Methods for Software Construction and Analysis. Lecture Notes in Computer Science, vol 5115. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-11447-2_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-11447-2_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-11446-5
Online ISBN: 978-3-642-11447-2
eBook Packages: Computer ScienceComputer Science (R0)