Asmeta Open Issues and Tasks

Technologies

  • porting of the AsmM to EMF - DONE
  • porting to Rational tools or Papyrus from Poseidon: initial investigation shows that MOF under rational is not well supported
  • integration of the OCL constraints with the metamodel

AsmM

  • Make the link between Term and its type optional, to allow rapid prototyping without type annotations

AsmetaL

  • allow the definition over concrete domains (for example domain Cluster subsetof Prod(Integer,Integer), definition a a function from Cluster -> Integer) (0.9.2)
  • put the StandardLibrary.asm in a "standard" position to allow the import without having the actual StandardLibrary in the project

AsmetaS

  • allow expressions like choose x in Integer with 0< x to be interpreted (maybe use of constraint solvers?)
  • define a random environment for validation against the axiom (available in Asmee)

Asmeta tool set

  • build a visual editor using the eclipse GMF/GME

Asmee

  • random simulation (0.9.2)
  • known bug: if you have the C++ callisto plugin installed, the asm files are associated to the assembler editor

  • Done, part of this release.
  • Just has to be done, will be available in one of the next releases.
  • Needs some investigation whether it makes sense to implement this feature or how to implement it.