JASMine: accessing java code from CoreASM

Authors:
Vincenzo Gervasi;Roozbeh Farahbod
Affiliations:
Dipartimento di Informatica, Università di Pisa, Pisa, Italy;School of Computing Science, Simon Fraser University, Burnaby, B.C., Canada
Venue:
Rigorous Methods for Software Construction and Analysis
Year:
2009

Citing 7
Cited 1

Model Checking Support for the ASM High-Level Language

TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture

FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
XASM - An Extensible, Component-Based ASM Language

ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Abstract State Machines: A Method for High-Level System Design and Analysis

Abstract State Machines: A Method for High-Level System Design and Analysis
Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))

Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))
CoreASM: An Extensible ASM Execution Engine

Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
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

CoreASM plug-in architecture

Rigorous Methods for Software Construction and Analysis

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we introduce JASMine, a CoreASM plug-in providing means to access Java objects and classes from inside an ASM specification. We discuss why this access is desirable, and provide a formal specification of the new rule forms as well as some notes on the actual implementation. JASMine ensures that the ability to access the “Java world” does not pollute the mathematical purity of the basic ASM computation model; differences between the JASMine approach and the other major research effort in the same direction, namely the way AsmL interacts with the .NET framework, are also discussed.