The semantics of behavioral VHDL '93 descriptions
EURO-DAC '94 Proceedings of the conference on European design automation
Evolving algebras 1993: Lipari guide
Specification and validation methods
Sequential abstract-state machines capture sequential algorithms
ACM Transactions on Computational Logic (TOCL)
A Practical Method for Specification and Analysis of Exception Handling-A Java/JVM Case Study
IEEE Transactions on Software Engineering
Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom
Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom
MFCS '90 Proceedings of the Mathematical Foundations of Computer Science 1990
Executable Specifications based on Dynamic Algebras
LPAR '93 Proceedings of the 4th International Conference on Logic Programming and Automated Reasoning
Computer-Aided Analysis and Validation of Heterogeneous System Specifications
EUROCAST '99 Proceedings on Computer Aided Systems Theory
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995).
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
An Evolving Algebra Abstract Machine
CSL '95 Selected Papers from the9th International Workshop on Computer Science Logic
leanEA: A Lean Evolving Algebra Compiler
CSL '95 Selected Papers from the9th International Workshop on Computer Science Logic
A Logical Operational Semantics of Full Prolog. Part I: Selection Core and Control
CSL '89 Proceedings of the 3rd Workshop on Computer Science Logic
Abstract State Machines: A Method for High-Level System Design and Analysis
Abstract State Machines: A Method for High-Level System Design and Analysis
The formal semantics of SDL-2000: status and perspectives
Computer Networks: The International Journal of Computer and Telecommunications Networking - ITU-T system design languages (SDL)
Abstract state machines capture parallel algorithms
ACM Transactions on Computational Logic (TOCL)
Abstract Communication Model for Distributed Systems
IEEE Transactions on Software Engineering
A high-level modular definition of the semantics of C#
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
Formal description and analysis of a distributed location service for mobile ad hoc networks
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
Using spin to generate tests from ASM specifications
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Linking the Meaning of Programs to What the Compiler Can Verify
Verified Software: Theories, Tools, Experiments
Data Flow Analysis and Testing of Abstract State Machines
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Direct Support for Model Checking Abstract State Machines by Utilizing Simulation
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
A Method for Verifiable and Validatable Business Process Modeling
Advances in Software Engineering
Computational Modeling of Criminal Activity
EuroISI '08 Proceedings of the 1st European Conference on Intelligence and Security Informatics
Practical issues with formal specifications: lessons learned from an industrial case study
FMICS'10 Proceedings of the 15th international conference on Formal methods for industrial critical systems
The CoreASM modeling framework
Software—Practice & Experience
Modelling multimodal 3D virtual environments with asynchronous multi-agent abstract state machine
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part I
A formal engineering approach to high-level design of situation analysis decision support systems
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Rigorous Methods for Software Construction and Analysis
JASMine: accessing java code from CoreASM
Rigorous Methods for Software Construction and Analysis
An ASM model of concurrency in a web browser
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
Validation of formal models by refinement animation
Science of Computer Programming
Executable formal specifications of complex distributed systems with CoreASM
Science of Computer Programming
| Hi-index | 0.00 |
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.