Skip to content

Documentation

Jump to bottom
mdausend edited this page May 28, 2014 · 20 revisions

CoreASM Language User Manuals

Engine version 1.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, 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 147-169.

  • 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][Design and Specification of the CoreASM Execution Engine, Part 1: the Kernel]]

  • 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]] [Debugging Abstract State Machine Specifications: An Extension of CoreASM]:http://fmt.isti.cnr.it/~mtbeek/ifm-abz-posters-tools.pdf [Design and Specification of the CoreASM Execution Engine and Plugins: Engine Version 1.1]: http://www.coreasm.org/publications/CoreASM-TR-1.1-draft.pdf [Design and Specification of the CoreASM Execution Engine, Part 1: the Kernel]: http://www.coreasm.org/publications/CoreASM-TR-2006-09.pdf [Design and Specification of the Core-ASM Execution Engine]: ftp://fas.sfu.ca/pub/cs/TR/2005/CMPT2005-02.pdf [[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 [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

Home | Getting Started | CoreASM Development | FAQ | Copyright © 2012-2014 the CoreASM Team

CoreASM

For Users

For Developers

About CoreASM

Clone this wiki locally