MOISE
/
Pattern-Instanciation-On-System-Engineering-Model
mirror of http://172.16.200.102/MOISE/Pattern-Instanciation-On-System-Engineering-Model.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
This project is a demonstrator of pattern instanciation on system engineering model (pseim), made by the MOISE project. It contains the metamodel of the pseim, graphical and textual editors, formal verification models (event-B) and examples.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
12 Commits
1 Branch
0 Tags
3.4 MiB
 
 
 
Branch: master
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'master'
${ noResults }
Pattern-Instanciation-On-Sy.../eclipse/releng/eclipse.configuration/README.md

619 B
Raw Permalink Blame History

Eclipse configurations

This project contains two epf files. These files contains an export of the installation for the two version of eclipse that are used in our work:

pseim_eclipse_install.p2f

  • Eclipse Modeling Tools
  • Version: Oxygen.2 Release (4.7.2)
  • Build id: 20171218-0600

This eclipse install is used for the pseim EMF metamodel definition and the related XText and Sirius editors.

rodin_install.p2f

  • Rodin Platform
  • Version: 3.3.0-f9fbb0d

This Rodin install is used for the definition of the Event-B machines and contexts for pattern application on SEIM models.