-
CommUnity
-
The CommUnity workbench is available at
http://www.fiadeiro.org/jose/CommUnity that includes the extensions towards Distribution and Mobility developed in WP1.
Local download and installation instructions.
-
CDE
-
Coordination Development Environment (CDE): an interactive devevelopment environment for coordination contracts. More precisely, CDE allows developers to write contracts, to translate them into Java, to register Java classes (components) for coordination, and to animate the run-time behaviour of contracts and their participants.
CDE is available at
http://www.atxsoftware.com/CDE and distributed on CD at demos and with the book "Software Design Using Java 2" published in October.
Local download and installation instructions.
-
ArgoMobile
-
Argomobile is an extension of the ArgoUML open source CASE tool for software development with UML. Argomobile includes the UML extensions for mobility developed in WP3 nad it supplements the extension for the Web application design.
Local download and installation instructions.
-
KlaiML
-
KlaiML: a framework that permits analysing KLAIM systems and verifying the logical properties of mobile and distributed systems. See:
http://rap.dsi.unifi.it/~loreti/klaiml.html.
Local download.
-
Sk2etmcc
-
Sk2etmcc: A tranlsator from StocKlaim to ETMCC. See:
http://rap.dsi.unifi.it/~loreti/tools.html.
Local download.
-
UMC
-
UMC: "on the fly" mu-ACTL+ model checker for UML statechart,
http://fmt.isti.cnr.it/projects/umc/UMC-README.html.
Local download and installation instructions.
-
HAL
-
The HAL environment implements decision procedures to calculate behavioral equivalences between pi-calculus agents, and modules which support verification on pi-calculus agents of safety and liveness properties expressed as formulae of suitable temporal logics.
HAL on line :
http://fmt.isti.cnr.it:8080/hal/.
Local download and installation instructions.
-
Klava
-
Klava (KLAIM in JAVA): a JAVA package implementing all the functionalities for the run-time systems of KLAIM.
Klava is available at
http://music.dsi.unifi.it/klava/
Local download and installation instructions.
-
X-KLAIM
-
X-KLAIM: a programming language that extends KLAIM with high-level constructs and strong mobility. A compiler translates X-KLAIM programs into Java programs that rely on the Klava package.
X-KLAIM is available at
http://music.dsi.unifi.it/xklaim/
Local download and installation instructions.
