Skip to main content
SpringerLink
Log in

Ten Reasons to Metamodel ASMs

  • Chapter
Rigorous Methods for Software Construction and Analysis

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 5115))

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Eclipse Modeling Framework, http://www.eclipse.org/emf/

  2. Java Compiler Compiler, https://javacc.dev.java.net/

  3. The AMMA Platform, http://www.sciences.univ-nantes.fr/lina/atl/

  4. The Eclipse Graphical Modeling Framework, http://www.eclipse.org/gmf/

  5. The, M.D.R. (Model Driven Repository) for NetBeans, http://mdr.netbeans.org/

  6. The Xactium XMF Mosaic, http://www.modelbased.net/www.xactium.com/

  7. 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

  8. The ASML Language, http://research.microsoft.com/foundations/AsmL/

  9. The AsmL metamodel in the Atlantic Zoo (2006), http://www.eclipse.org/gmt/am3/zoos/atlanticZoo/#AsmL

  10. The Abstract State Machine Metamodel and its tool set, http://asmeta.sf.net/

  11. ATGT: ASM tests generation tool, http://cs.unibg.it/gargantini/project/atgt/

  12. Bézivin, J.: On the Unification Power of Models. Software and System Modeling (SoSym) 4(2), 171–188 (2005)

    Article  Google Scholar 

  13. 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)

    Google Scholar 

  14. Börger, E., Stärk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)

    MATH  Google Scholar 

  15. 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)

    Chapter  Google Scholar 

  16. 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)

    Chapter  Google Scholar 

  17. OMG, CORBA, http://www.corba.org/

  18. The CoreASM Project, http://www.coreasm.org/

  19. Hearnden, D., Raymond, K., Steel, J.: Anti-Yacc: MOF-to-text. In: Proc. of EDOC, pp. 200–211 (2002)

    Google Scholar 

  20. Dold, A.: A Formal Representation of Abstract State Machines Using PVS. Verifix Technical Report Ulm/6.2, Universitat Ulm (July 1998)

    Google Scholar 

  21. 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)

    Google Scholar 

  22. Efftinge, S.: oAW xText - A framework for textual DSLs. In: Workshop on Modeling Symposium at Eclipse Summit (2006)

    Google Scholar 

  23. Mens, T., et al.: Challenges in software evolution. In: International Workshop on Principles of Software Evolution, IWPSE 2005 (2005)

    Google Scholar 

  24. 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)

    Google Scholar 

  25. 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)

    Chapter  Google Scholar 

  26. 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)

    Chapter  Google Scholar 

  27. 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)

    Google Scholar 

  28. 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)

    Google Scholar 

  29. Gargantini, A., Riccobene, E., Scandurra, P.: A Metamodel-based Simulator for ASMs. In: 14th International ASM Workshop, Grimstad, Norway, June 7-9 (2007)

    Google Scholar 

  30. Holt, R., Schürr, A., Sim, S.E., Winter, A.: Graph eXchange Language, http://www.gupro.de/GXL/index.html

  31. OMG, Human-Usable Textual Notation, v1.0. Document formal/04-08-01, http://www.uml.org/

  32. Java Metadata Interface Specification, Version 1.0. (2002), http://java.sun.com/products/jmi/

  33. 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)

    Chapter  Google Scholar 

  34. OMG. The Model Driven Architecture (MDA), http://www.omg.org/mda/

  35. 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)

    Chapter  Google Scholar 

  36. OCL Environment (OCLE), http://lci.cs.ubbcluj.ro/ocle

  37. The Object Managment Group (OMG), http://www.omg.org

  38. Petri Net Markup Laguage (PNML), http://www.informatik.hu-berlin.de/top/pnml

  39. 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)

    Chapter  Google Scholar 

  40. 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)

    Chapter  Google Scholar 

  41. 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)

    Google Scholar 

  42. Schellhorn, G., Ahrendt, W.: Reasoning about Abstract State Machines: The WAM Case Study. Journal of Universal Computer Science 3(4), 377–413 (1997)

    MATH  MathSciNet  Google Scholar 

  43. Schmid, J.: AsmGofer, http://www.tydo.de/AsmGofer

  44. 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)

    Google Scholar 

  45. The Timed Abstract State Machine (TASM) Language and Toolset, http://esl.mit.edu/html/tasm.html

  46. Thibodeaux, R.: The Specification of Architectural Languages with Abstract State Machines. In: 14th International ASM Workshop, Grimstad, Norway, June 7-9 (2007)

    Google Scholar 

  47. OMG. The Unified Modeling Language (UML), http://www.uml.org

  48. 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)

    Google Scholar 

  49. Winter, K.: Model Checking for Abstract State Machines. Journal of Universal Computer Science (J.UCS) 3(5), 689–701 (1997)

    MATH  MathSciNet  Google Scholar 

  50. XASM: The Open Source ASM Language, http://www.xasm.org

  51. OMG, XMI Specification, v1.2, http://www.omg.org/cgi-bin/doc?formal/2002-01-01

  52. Gurevich, Y., Rossman, B., Schulte, W.: Semantic Essence of AsmL. Microsoft Research Technical Report MSR-TR-2004-27 (March 2004)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dip. di Ingegneria dell’Informazione e Metodi Matematici, Università degli Studi di Bergamo, Italy

    Angelo Gargantini & Patrizia Scandurra

  2. Dip. di Tecnologie dell’Informazione, Università degli Studi di Milano, Italy

    Elvinia Riccobene

Authors
  1. Angelo Gargantini
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Elvinia Riccobene
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Patrizia Scandurra
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Marseille, France

    Jean-Raymond Abrial

  2. School of Computing Science, Burnaby, Simon Fraser University, V5A 1S6, BC, Canada

    Uwe Glässer

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation