Corpus ID: 1923594

CoreASM: An Extensible ASM Execution Engine

@article{Farahbod2005CoreASMAE,
  title={CoreASM: An Extensible ASM Execution Engine},
  author={Roozbeh Farahbod and Vincenzo Gervasi and Uwe Gl{\"a}sser},
  journal={Fundam. Inform.},
  year={2005},
  volume={77},
  pages={71-103}
}
  • Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer
  • Published in Fundam. Inform. 2005
  • Computer Science
  • In this paper we introduce a new research effort in making abstract state machines (ASMs) executable. The aim is to specify and implement an execution engine for a language that is as close as possible to the mathematical definition of pure ASMs. The paper presents the general architecture of the engine, together with a high-level description of the extensibility mechanisms that are used by the engine to accommodate arbitrary backgrounds, scheduling policies, and new rule forms. 

    Create an AI-powered research feed to stay up to date with new papers like this posted to ArXiv

    Citations

    Publications citing this paper.
    SHOWING 1-10 OF 80 CITATIONS

    Serialisable multi-level transaction control: A specification and verification

    VIEW 5 EXCERPTS
    CITES METHODS
    HIGHLY INFLUENCED

    Executable formal specifications of complex distributed systems with CoreASM

    VIEW 4 EXCERPTS
    CITES BACKGROUND & METHODS

    Abstract State Machines Mutation Operators

    VIEW 10 EXCERPTS
    CITES BACKGROUND & METHODS
    HIGHLY INFLUENCED

    synASM: A High-Level Synthesis Framework With Support for Parallel and Timed Constructs

    VIEW 7 EXCERPTS
    CITES METHODS
    HIGHLY INFLUENCED

    Abstract state machines as an intermediate representation for high-level synthesis

    VIEW 7 EXCERPTS
    CITES METHODS
    HIGHLY INFLUENCED

    Concurrent Abstract State Machines and +CAL Programs

    VIEW 4 EXCERPTS
    CITES METHODS
    HIGHLY INFLUENCED

    Integrating Z into Large Projects Tools and Techniques

    VIEW 6 EXCERPTS
    CITES METHODS & BACKGROUND
    HIGHLY INFLUENCED

    FILTER CITATIONS BY YEAR

    2005
    2019

    CITATION STATISTICS

    • 16 Highly Influenced Citations

    References

    Publications referenced by this paper.
    SHOWING 1-6 OF 6 REFERENCES

    The ASM Ground Model Method as a Foundation for Requirements Engineering

    • Egon Börger
    • Computer Science
    • Verification: Theory and Practice
    • 2003
    VIEW 1 EXCERPT

    Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines

    • E. Börger, U. Glässer, W. Müller
    • In C. Delgado Kloos and P. T. Breuer, editors, Formal Semantics for VHDL, pages 107–139. Kluwer Academic Publishers,
    • 1995
    VIEW 1 EXCERPT

    Evolving algebras 1993: Lipari guide

    • Yuri Gurevich
    • Computer Science, Mathematics
    • Specification and validation methods
    • 1993
    VIEW 2 EXCERPTS