Leader Election

Roozbeh Farahbod — Tue, 17 May 2011 20:16:54 -0000

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

Java API Documentation

Roozbeh Farahbod — Tue, 29 Mar 2011 00:18:12 -0000

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

Important Update for CoreASM Eclipse plugin

Roozbeh Farahbod — Thu, 03 Feb 2011 01:14:11 -0000

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

New Beta Releases

Roozbeh Farahbod — Wed, 19 Jan 2011 23:58:35 -0000

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

Roozbeh Farahbod — Tue, 07 Dec 2010 10:35:55 -0000

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 1.0.0-beta

Roozbeh Farahbod — Wed, 24 Nov 2010 07:32:42 -0000

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

CoreASM Eclipse Plugin

Roozbeh Farahbod — Fri, 23 Apr 2010 09:00:15 -0000

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.

CoreASM Documentation Page

Roozbeh Farahbod — Fri, 30 Oct 2009 20:09:28 -0000

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

CoreASM Design Documenation

Roozbeh Farahbod — Mon, 19 Oct 2009 01:26:24 -0000

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

Dining Philosophers Example Revised

Roozbeh Farahbod — Fri, 03 Apr 2009 22:59:03 -0000

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

Recent posts to news