- 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.
