XASM- An Extensible, Component-Based Abstract State Machines Language. The Abstract State Machine (ASM)  approach has already proven to be suitable for large-scale specifications of realistic systems [17,8,20,33]. Due to the fact that the ASM approach defines a notion of executing specifications, it provides a perfect basis for a language, which can be used as a specification language as well as a high-level programming language. However, in order to upgrade to a realistic programming language, such a language must - besides other features - add a modularization concept to the core ASM constructs in order to provide the possibility to structure large-scale ASM-formalizations and to flexibly define reusable specification units. In this paper, the language XASM, which stands for Extensible ASM, is presented. XASM realizes a component-based modularization concept based on the notion of external functions as defined in ASMs. This paper also briefly describes the support environment of XASM consisting of the XASM-compiler translating XASM programs to C source code, and the graphical debugging and animation tool.
Keywords for this software
References in zbMATH (referenced in 6 articles , 1 standard article )
Showing results 1 to 6 of 6.
- Anureev, I. S.: Domain-specific transition systems and their application to a formal definition of a model programming language (2014)
- Anureev, I. S.: Context machines as formalism for specification of dynamic systems (2009)
- Gargantini, Angelo; Riccobene, Elvinia; Scandurra, Patrizia: A semantic framework for metamodel-based languages (2009) ioport
- Anureev, Igor S.: Ontological transition systems structures (2007)
- Börger, Egon: Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems (2007)
- Anlauff, Matthias: Xasm -- an extensible, component-based abstract state machines language (2000)