The Rodin Platform is an Eclipse-based IDE for Event-B that provides effective support for refinement and mathematical proof. The platform is open source, contributes to the Eclipse framework and is further extendable with plugins. The IMPEX project has contributed to the release of the platform.
The OntoEventB plug-in
In the context of IMPEX project, two modeling approaches are proposed to formalize ontology description using the Event-B models. The first one defines a formal approach to encode ontologies directly as Event-B Contexts elements (shallow approach). The second approach uses deep modeling in which first ontology generic concepts are defined in Event-B Contexts and then ontologies are defined as specific instances of these generic models in other Event-B Contexts.
The OntoEventB Rodin plug-in implements the proposed approaches and it has been developed to automatically support the formalisation of ontologies, described with ontology description languages like OWL or OntoML using set theory and predicate logic supported by the Event-B method.
Download & Installation Instructions
The OntoEventB tool is developed as an Eclipse plug-in to integrate it into a Rodin platform which is an Eclipse product and an IDE (Integrated Development Environment) supporting Event-B developments.
To use OntoEventB plug-in in your Rodin platform instance, you must install the plug-in by using the Install New Software menu item accessible from the Help menu (Help −− > Install New Software). The use of this menu allows to launch the Install New Software wizard that offers you a possibility to add new software to your platform. You click on the Add button and you may type the location of the update site (http://wdi.supelec.fr/OntoEventB-update-site/) of the OntoEventB plug-in for downloading and installing the plug-in automatically.
Contacting the Author
Idir AIT SADOUNE : Associate Professor at CentraleSupélec. Professional web page.
Feel free to send me any comments about plugin and this page.