Documentation (original) (raw)

CoreASM Language User Manuals

Engine version 1.6.5 (DRAFT)

• Eclipse Debugger Manual

The Eclipse UI for CoreASM provides a debugger. It has been developed by Michael Stegmaier and was presented at ABZ'2012 Conference in Pisa. The manual gives a general introduction into CoreASM Eclipse and describes some use cases of debugging CoreASM specifications Eclipse Debugger Manual.

• Control State Diagram editor

CSDe Eclipse Plugin _(this version is outdated and requires Eclipse Europe and CoreASM v0.4.5)_Full instructions for installing the CSDe Eclipse plugin using the update site are contained within the CSDe Manual. The manual also contains directions on how to use CSDe.

Design Documentation

The latest version of the design and specification documentation of CoreASM is available here: CoreASM-DesignDocumentation

Java API Documentation

The latest version of CoreASM Java API documentation is available here:http://www.coreasm.org/docs/api.

Publications

• M. Dausend & A. Raschke. Y. Ait Ameur, & K.-D. Schewe (Eds.) Introducing Aspect–Oriented Specification for Abstract State Machines Abstract State Machines, Alloy, B, TLA, VDM, and Z, Springer, 2014, 8477, pages 174-187.
• M. Dausend, M. Stegmaier, and A. Raschke. Debugging Abstract State Machine Specifications: An Extension of CoreASM, In: An Extension of CoreASM Proceedings of the Posters & Tool demos Session, iFM 2012 & ABZ 2012, Pisa, Italy, 2012.
• R. Farahbod and U. Glässer. The CoreASM Modeling Framework. Software: Practice and Experience. 2010.
• M. Altenhofen and R. Farahbod. Bârun: A Scripting Language for CoreASM. In: Proceedings of the 2nd International Conference on Abstract State Machines, Alloy, B and Z (ABZ 2010). Orford, Canada, 2010.
• R. Farahbod, V. Gervasi, U. Glässer, and G. Ma. [CoreASM Plug-in Architecture]. In J.-R. Abrial and U. Glässer (editors), Rigorous Methods for Software Construction and Analysis. Springer LNCS Festschrift volume 5115, Springer, 2009, pages 147-169.
• V. Gervasi and R. Farahbod. [JASMine: Accessing Java Code from CoreASM][]. In J.-R. Abrial and U. Glässer (editors), Rigorous Methods for Software Construction and Analysis. Springer LNCS Festschrift volume 5115, Springer, 2009, pages 170-186.
• R. Farahbod, V. Gervasi, and U. Glässer. CoreASM: an Extensible ASM Execution Engine. Fundamenta Informaticae. Vol. 77. No. 1-2. pp. 71--103. (2007)
• R. Farahbod, V. Gervasi, and U. Glässer. CoreASM: An extensible ASM execution engine. In Proc. of the 12th Int’l Workshop on Abstract State Machines. Paris, France. March 2005.

Technical Reports

• R. Farahbod, V. Gervasi, U. Glässer, G. Ma, and M. Memon. Design and Specification of the CoreASM Execution Engine and Plugins: Engine Version 1.1. (DRAFT) Technical Report in preparation.
• R. Farahbod, V. Gervasi, U. Glässer, and M. Memon. Design and Specification of the CoreASM Execution Engine, Part 1: the Kernel. Technical Report SFU-CMPT-TR-2006-09, Simon Fraser University, May 2006. [alternative download]
• R. Farahbod, V. Gervasi, and U. Glässer. Design and Specification of the Core-ASM Execution Engine. Technical Report SFU-CMPT-TR-2005-02, Simon Fraser University, February 2005.

Presentations

• R. Farahbod. High-level Design and Validation of Distributed System Models. Workshop on Adaptive Distributed Decision Support Systems. Victoria, Canada. November 2010.
• R. Farahbod. Executing ASM Specifications with CoreASM. Advances in Software Engineering, Lipari International School for Computer Science Researchers. Lipari, Italy. July 2007.
  • Part One: [Introduction to the CoreASM Engine][]
  • Part Two: [Extensibility and Applications][]

Theses

• R. Farahbod, [CoreASM: An Extensible Modeling Framework & Tool Environment for High-level Design and Analysis of Distributed Systems][]. Ph.D. thesis. Simon Fraser University, Burnaby, Canada. 258 pp. (2009)
• George Ma. [Model Checking Support for CoreASM: Model Checking Distributed Abstract State Machines Using SPIN][]. Master's thesis, School of Computing Science, Simon Fraser University, May 2007. [[alternative download][1]]
• Mashaal Anwar Memon. [_Specification language design concepts: Aggregation and extensibility in coreasm_][]. Master's thesis, School of Computing Science, Simon Fraser University, April 2006. [[alternative download][2]]

[[alternative download]: http://www.coreasm.org/publications/CMPT2005-02.pdf [Introduction to the CoreASM Engine]: http://www.coreasm.org/downloads/CoreASM-Lipari-2007-Part1.pdf [Extensibility and Applications]: http://www.coreasm.org/downloads/CoreASM-Lipari-2007-Part2.pdf [JASMine: Accessing Java Code from CoreASM]:http://link.springer.com/chapter/10.1007/978-3-642-11447-2\_11 [CoreASM Plug-in Architecture]:http://link.springer.com/chapter/10.1007/978-3-642-11447-2\_10
[CoreASM: An Extensible Modeling Framework & Tool Environment for High-level Design and Analysis of Distributed Systems]: http://roozbeh.ca/downloads/RoozbehFarahbod-PhDThesis.pdf [Model Checking Support for CoreASM: Model Checking Distributed Abstract State Machines Using SPIN]: ftp://fas.sfu.ca/pub/cs/theses/2007/GeorgeZiShengMaMSc.pdf [1]: http://www.coreasm.org/publications/GeorgeZiShengMaMSc.pdf [_Specification language design concepts: Aggregation and extensibility in coreasm_]: ftp://fas.sfu.ca/pub/cs/TH/2006/MashaalAnwarMemonMSc.pdf [2]: http://www.coreasm.org/publications/MashaalAnwarMemonMSc.pdf