Moka extensions provides a number of plugins that extend the functionality of Papyrus Moka engine for fUML simulation:

  • eu.megamart2.moka.logging: this plugin logs execution entries in the fUML console and in an dedicate view everytime time execution enters or exits a activity task being executed, showing information about the input and output task parameters
  • eu.megamart2.moka.validation: this plugins extends the EMF validation of the fUML models checking the conformance correctness of the model
Provider: 
Atos Spain S.A.
Keywords: 
Architecture Viewpoint modelling
Functional analysis
Architecture components modeling
Reuse & Variability modelling
Static model checking
Schedulability analysis
Performance analysis
Model based testing
Requirement coverage analysis
Simulation
Dependability analysis
Formal methods
main contact: 
Jesús Gorroñogoitia
License: 
EPL 2.0

Downloads

Moka extensions can be downloaded for MegaM@Rt Github site. See link below.

Documentation

Moka extensions documentation is available in the link below.

Source Code

Moka extensions source code can be downloaded for MegaM@Rt Github site. See link below.