In this paper we present a general-purpose simulation engine for ASM speci cations. It has been developed as part of the ASMETA (ASMs metamodelling) toolset which is a set of tools for ASMs based on the metamodelling framework of the Model-Driven Engineering. We brie y present the ASMETA framework, how it has been developed, the concrete textual notation or language (AsmetaL) it adopts for e ec...

The use of formal methods, based on rigorous mathematical foundations, is essential for system development. However, some skepticism exists against formal methods mainly due to the lack of tools supporting formal development, or to the tools’ loosely coupling that does not allow reuse of information. The integration and interoperability of tools is hard to accomplish, so preventing formal metho...

The Abstract State Machines are a formal method successfully employed as system engineering method that guides the development of complex systems seamlessly from requirements capture to their implementation. Several tools supporting the ASMs have been developed in the past. To integrate these different tools and technologies we have proposed a metamodel based framework, called ASMETA, for the A...

In this paper, we present a concrete textual notation, called AsmetaL, and a general-purpose simulation engine, called AsmetaS, for Abstract State Machine (ASM) specifications. They have been developed as part of the ASMETA (ASMs mETAmodelling) toolset, which is a set of tools for ASMs based on the metamodelling approach of the Model-driven Engineering. We briefly present the ASMETA framework, ...

The paper presents our efforts in defining UASM, a unified syntax for Abstract State Machines (ASMs), based on the syntaxes of two of the main ASM frameworks, CoreASM and ASMETA, which have been adapted to accept UASM as input syntax of all their validation and

This paper presents theAValLa language, a domain-speci c modelling language for scenario-based validation of ASM models, and its supporting tool, the AsmetaVvalidator. They have been developed according to the model-driven development principles as part of the asmeta(ASM mETAmodelling) toolset, a set of tools around ASMs. As a proof-of-concepts, the paper reports the results of the scenario-bas...

The paper presents an Abstract State Machine (ASM) specification of the Landing Gear System case study, and shows how the ASMETA framework can be used to support the modeling and analysis (validation and verification) activities for developing a rigorous and correct model in terms of ASMs. We exploit the two fundamental concepts of the ASM method, i.e., the notion of ground model and the refine...