CoreASM / News: Recent posts

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 http://www.coreasm.org/examples

The latest version of CoreASM Java API Documentation is now available on the Web at http://www.coreasm.org/docs/api

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: http://www.coreasm.org/eclipse/update-trunk

The latest versions of CoreASM Engine and CoreASM Eclipse plugin come with lots of improvements, new plugins and new features. Please visit http://www.coreasm.org 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

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: http://sourceforge.net/apps/mediawiki/coreasm/index.php?title=Graph_Plugin

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: http://coreasm.svn.sourceforge.net/viewvc/coreasm/engine-plugins/Signals/trunk

The latest development version of the CoreASM Eclipse Plugin is now available (tested on Eclipse 3.5) through an update site. See http://www.coreasm.org/download.php#eclipse-trunk for details.

The documentation and publications on the CoreASM website is updated and the links are moved into a separate documentation page: http://www.coreasm.org/documentation.php

Please find the first public draft of "Design and Specification of the CoreASM Execution Engine and Plugins" at http://coreasm.svn.sourceforge.net/viewvc/coreasm/engine-carma/trunk/doc/CoreASM-DesignDocumentation.pdf

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

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 (http://coreasm.wiki.sourceforge.net/Documentation).

PDF file: http://www.coreasm.org/publications/CoreASM-TR-1.1-draft.pdf

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 http://coreasm.svn.sourceforge.net .

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

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: http://www.coreasm.org/downloads/CSDe-Manual.pdf ... read more

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.

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

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! :-)

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

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.

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.

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

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