CoreASM / News: Recent posts

Leader Election

Leader Election is a nice CoreASM example of using ASM for highlevel specification and refinement of a leader election algorithm done by Julian Lettner. You can find it on

Posted by Roozbeh Farahbod 2011-05-17

Java API Documentation

The latest version of CoreASM Java API Documentation is now available on the Web at

Posted by Roozbeh Farahbod 2011-03-29

Important Update for CoreASM Eclipse plugin

The CoreASM Eclipse plugin has a minor update to v0.6.7 with a major impact. In this update the CoreASM editor parses the specification only when an an editor instance is opened or the modified file is saved. This addresses the problem of high cpu usage as the plugin would regularly monitor the file and read the list of plugins in order to update syntax highlighting.

You can get the latest version of CoreASM Eclipse plugin using the Eclipse update site:

Posted by Roozbeh Farahbod 2011-02-03

New Beta Releases

The latest versions of CoreASM Engine and CoreASM Eclipse plugin come with lots of improvements, new plugins and new features. Please visit for the latest updates.

- CoreASM v1.5.6-beta with Carma v0.7.3 (binary, source)
- CoreASM Eclipse plugin (version 0.6.6) comes with CoreASM engine v1.5.6-beta

Posted by Roozbeh Farahbod 2011-01-19

Graph Plugin

Graph plugin is the second plugin in the series of CoreASM networking extensions. It offers a Graph background with some operations defined on graphs. The current version is more like a proof of concept and more functionalities will be added in the near future. Find it here:

Posted by Roozbeh Farahbod 2010-12-07

Signals Plugin 1.0.0-beta

Signals Plugin is the first product in a series of CoreASM networking extensions. It extends the CoreASM engine with two rule constructs enabling sending and receiving signals between agents. Latest development version can be downloaded from here:

Posted by Roozbeh Farahbod 2010-11-24

CoreASM Eclipse Plugin

The latest development version of the CoreASM Eclipse Plugin is now available (tested on Eclipse 3.5) through an update site. See for details.

Posted by Roozbeh Farahbod 2010-04-23

CoreASM Documentation Page

The documentation and publications on the CoreASM website is updated and the links are moved into a separate documentation page:

Posted by Roozbeh Farahbod 2009-10-30

CoreASM Design Documenation

Please find the first public draft of "Design and Specification of the CoreASM Execution Engine and Plugins" at

Posted by Roozbeh Farahbod 2009-10-19

Dining Philosophers Example Revised

The Dining Philosophers Example is revised to reflect the features of the language.

Posted by Roozbeh Farahbod 2009-04-03

Design and Specification Document of CoreASM (DRAFT)

You can now download a draft of a soon-to-be-published technical report on "Design and Specification of the CoreASM Execution Engine and Plugins: Engine Version 1.1" from the Documentation page on the CoreASM Wiki (

PDF file:

Posted by Roozbeh Farahbod 2009-02-17

CoreASM Repository on Sourceforge

We have moved the CoreASM development repository to the Subversion server at Sourceforge. You can check out the under-development version of the CoreASM engine, its plugins and the CoreASM Eclipse plugin here at .

Posted by Roozbeh Farahbod 2009-01-29

CoreASM Wiki

We are moving CoreASM wiki to sourceforge! Check it out at for latest information about the development and upcoming releases.

Posted by Roozbeh Farahbod 2009-01-29

Control State Diagram editor (CSDe)

The first available version of the Control State Diagram editor (CSDe) plugin for Eclipse is available from the CoreASM update site.

CSDe enables the creation of Control State Diagrams in Eclipse. It can then automatically transform them to CoreASM files.

Full installation instructions and information on how to use the plugin is included in the CSDe Manual: ... read more

Posted by Piper Jackson 2008-09-23

Font problem fixed with User Manual

We realized that some users cannot properly view the PDF file of the user manual (v1.0.5) due to some font problems. The problem should be fixed now and a new version of the CoreASM User Manual is added to the latest release of 1.0.5.

Posted by Roozbeh Farahbod 2008-05-30

New Update Site for CoreASM Eclipse Plugin

Installing CoreASM Eclipse Plugin just got easier! Follow the these steps to add CoreASM update site to your eclipse environment:

0) Uninstall and remove any previously installed CoreASM Eclipse plugin.

1) In Eclipse, choose the menu item Help -> Software Updates -> Find and Install...
2) Choose "Search for new features to install" and click Next
3) Click on "New Remote Site..." and add a new site:... read more

Posted by Roozbeh Farahbod 2008-02-19

JASMine 1.0.7-beta is released!

JASMine plugin is finally here! JASMine is a CoreASM Plugin that provides means to access Java objects and classes from inside a CoreASM specification.

Try it and let us know what you think! :-)

Posted by Roozbeh Farahbod 2008-02-02

CoreASM Engine 1.0.5

This is basically a bug fix over version 1.0.3.

- ChooseRule plugin: re-evaluation of choose rules with no condition would use a cached value of the domain. This is fixed now.
- List plugin: cons(e, l) function was not working properly. This is fixed now.
- Set plugin: set 'subset' operation was missing. I considered this a bug! :-) A 'subset' operation is added in this release.
- Some error messages in ChooseRule, ForallRule, and PredicateLogic plugins are improved. ... read more

Posted by Roozbeh Farahbod 2008-01-21

CoreASM Engine 1.0.3

The first stable (i.e., non-testing) version of CoreASM Engine version 1.0 is released. This release comes with Carma 0.6.1 and CoreASM Eclipse plug-in 0.4.1.

Posted by Roozbeh Farahbod 2007-09-11

CoreASM Engine v1.0.1-alpha

CoreASM Engine v1.0.1-alpha is released with some bug fixes and performance improvements over version 1.0.0. This release also includes Carma.

Posted by Roozbeh Farahbod 2007-08-08

CoreASM Engine v1.0.0-alpha

The testing version of the new CoreASM engine is now available for download.

Posted by Roozbeh Farahbod 2007-07-31

CoreASM Engine v0.9.1-beta

CoreASM Engine version 0.9.1-beta with Carma and Eclipse plugin is released.

Posted by Roozbeh Farahbod 2006-10-01

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

No, thanks