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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Anlauff, M.: XASM - an extensible, component-based abstract state machines language. In: Gurevich, Y., Kutter, P.W., Odersky, M., Thiele, L. (eds.) ASM 2000. LNCS, vol. 1912, pp. 69–90. Springer, Heidelberg (2000)
Börger, E., Stärk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)
Del Castillo, G.: Towards Comprehensive Tool Support for Abstract State Machines. In: Hutter, D., Traverso, P. (eds.) FM-Trends 1998. LNCS, vol. 1641, pp. 311–325. Springer, Heidelberg (1999)
Del Castillo, G., Winter, K.: Model Checking Support for the ASM High-Level Language. In: Schwartzbach, M.I., Graf, S. (eds.) TACAS 2000. LNCS, vol. 1785, pp. 331–346. Springer, Heidelberg (2000)
Farahbod, R., et al.: The CoreASM Project, http://www.coreasm.org
Farahbod, R., Gervasi, V., Glässer, U.: CoreASM: An extensible ASM execution engine. In: Proc. of the 12th Int’l Workshop on Abstract State Machines (2005)
Farahbod, R., Gervasi, V., Glässer, U.: CoreASM: An extensible ASM execution engine. Fundamenta Informaticae 77, (March/April 2007) (to be published)
Farahbod, R., Gervasi, V., Glässer, U.: CoreASM: An extensible ASM execution engine. Fundamenta Informaticae, 71–103 (2007)
Farahbod, R., Gervasi, V., Glässer, U., Ma, G.: CoreASM plug-in architecture (2007) (submitted to the same Festschrift volume)
Gargantini, A., Riccobene, E., Rinzivillo, S.: Using Spin to generate tests from ASM specifications. In: Börger, E., Gargantini, A., Riccobene, E. (eds.) ASM 2003. LNCS, vol. 2589, pp. 263–277. Springer, Heidelberg (2003)
Gosling, J., Joy, B., Steele, G., Bracha, G.: The Java Language Specification, 3rd edn. Prentice Hall, Englewood Cliffs (2005)
Memon, M.A.: Specification language design concepts: Aggregation and extensibility in coreasm. Master’s thesis, Simon Fraser University, Burnaby, Canada (April 2006)
Microsoft Corp. Microsoft. NET Framework, http://www.microsoft.com/net (Last visited December 2006)
Microsoft FSE Group. The Abstract State Machine Language, http://research.microsoft.com/fse/asml/ (Last visited June 2003)
Schmid, J.: Executing ASM Specitications with AsmGofer, http://www.tydo.de/AsmGofer/ (Last visited September 2005)
Sun Microsystems, Inc. The Java 2 Platform Standard Edition 5.0 API Specification. Sun Microsystems, Inc. (2004), http://java.sun.com/j2se/1.5.0/docs/api
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Gervasi, V., Farahbod, R. (2009). JASMine: Accessing Java Code from CoreASM . In: Abrial, JR., Glässer, U. (eds) Rigorous Methods for Software Construction and Analysis. Lecture Notes in Computer Science, vol 5115. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-11447-2_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-11447-2_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-11446-5
Online ISBN: 978-3-642-11447-2
eBook Packages: Computer ScienceComputer Science (R0)