Documentation and Manuals
Design and Specification of the CoreASM Execution Engine and Plugins
The latest version of the design and specification documentation of CoreASM is available here: CoreASM-DesignDocumentation.pdf
Control State Diagram editor
Full instructions for installing and using the CSDe Eclipse plugin are contained within the CSDe Manual.
Publications
- 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, Summer 2007.
[alternative download]
- 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)
- 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]
- 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, 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.
[alternative download]
Presentations
- R. Farahbod. Executing ASM Specifications with
CoreASM. Advances in Software Engineering, Lipari International School for
Computer Science Researchers. Lipari, Italy. July 2007.
|
