Asmeta Papers

We are actively working on asmeta. Most of the papers are available for download from our personal web pages.

2011

runtime verification using Asmeta

a language and an engine for service oriented components based on Asmeta

2010

property verification for Asmeta

  • Paolo Arcaini and Angelo Gargantini and Elvinia Riccobene
    AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications
    in Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings (Eds. Marc Frappier and Uwe Glaesser and Sarfraz Khurshid and R. Laleau and Steve Reeves) Springer, vol. 5977 (2010): 6174

model advisor for asmeta

  • Paolo Arcaini and Angelo Gargantini and Elvinia Riccobene
    Automatic review of Abstract State Machines by Meta Property Verification
    in Second NASA Formal Methods Symposium, NFM 2010 (2010)

2009 and older

About the asmeta framework in general

  • Angelo Gargantini and Elvinia Riccobene and Patrizia Scandurra
    Model-driven Language Engineering: the ASMETA case study

    in Third International Conference on Software Engineering Advances (ICSEA), October 26-31, 2008 - Sliema, Malta (2008)

About metamodelling ASMs

  • A. Gargantini and E. Riccobene and P. Scandurra
    Ten reasons to metamodel ASMs

    in Rigorous Methods for Software Construction and Analysis - Papers Dedicated to Egon Börger on the Occasion of His 60th Birthday (Eds. J. R. Abrial and U. Glässer) Springer-Verlag ,vol. 5115 (2008)
  • A. Gargantini and E. Riccobene and P. Scandurra
    Metamodelling a Formal Method: Applying MDE to Abstract State Machines. Technical Report n. 97

    in Technical report of DTI Dept., University of Milan (2006)

About the AsmetaL language and its derivation from the metamodel

  • Angelo Gargantini and Claudia Genovese and Tiziana Genovese and Elvinia Riccobene and Patrizia Scandurra
    A Concrete Syntax derived from the Abstract State Machine Metamodel

    in Proc. of ASM 2005 12th International Workshop on Abstract State Machines March 8-11, 2005, Paris, France (2005)
  • Angelo Gargantini and Elvinia Riccobene and Patrizia Scandurra
    Deriving a textual notation from a metamodel: an experience on bridging Modelware and Grammarware

    in 3M4MDA 2006 - European Workshop on Milestones, Models and Mappings for Model-Driven Architecture - European Conference on Model Driven Architecture, in Bilbao, Spain from July 10th-13th 2006. (2006)

About the simulator

  • A. Gargantini and E. Riccobene and P. Scandurra
    A Language and a Simulation Engine for Abstract State Machines based on Metamodelling (accepted)

    in Journal of Universal Computer Science (JUCS) (2008)
  • Angelo Gargantini and Elvinia Riccobene and Patrizia Scandurra
    A Metamodel-based Simulator for ASMs

    in The 14th International ASM Workshop, Grimstad, Norwegen, May 2008 (Eds. Andreas Prinz) (2007)

About the validation language

  • Alessandro Carioni and Angelo Gargantini and Elvinia Riccobene and Patrizia Scandurra
    A scenario-based validation language for ASMs

    in ABZ Conference, September 16-18, 2008, London, UK (2008)
  • # Other People using Asmeta