Asmeta Asmeta Tools

We have developed and are distributing the following (stable) tools

Prerequisites

Java: Asmeta tools need Java >= 1.6.0 to run.

License

Asmeta is released under a GPL-like license.

Experimental tools

We have been working on:

  • the AsmetaRE: to generate executable ASMs from Use Case models.
  • the SCA-ASM: an executable modeling language and an engine for service oriented applications. See our paper at EUROMICRO SEAA 2011
  • a graphical editor for Asmeta specs based on GMF

ATGT: test generator

The ATGT test generator now supports structural based testing, fault based testing and combinatorial testing. See the ATGT page for further information