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
Pierre Gaufillet 79820f4433
Initial commit. 		6 years ago
..
.project Initial commit. 6 years ago
README.md Initial commit. 6 years ago
pseim_eclipse_install.p2f Initial commit. 6 years ago
rodin_install.p2f Initial commit. 6 years ago

README.md

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.