Feature Composition Plug-in: Difference between revisions

From Event-B
Jump to navigationJump to search
← Older edit
imported>Gondal
No edit summary
imported>Gondal
 
(15 intermediate revisions by 3 users not shown)
Line 1: Line 1:
'''Feature Composition Tool''' is a plug-in for Rodin platform. It provides support for composing Event-B features. We define a feature as an Event-B machine and its seen context(s). The composition editor allows you to build a composition model whose output is an Event-B model (machine and a context) which is a composition of the input models. The composition model is saved in the Rodin database for replaying the composition later. The composition editor highlights any conflicts such as multiple declaration of varaibles or events with same name in different input features. At the moment, it provides facilities for making the input models disjoint before composition to resolve any conflicting element names. It also enables you to resolve conflicting element names by removing the repeating/redundant information in different models. The composition editor also provides option for merging events.
'''Feature Composition Plug-in''' provides support for composing Event-B features.  
Here is the [[Media:User Manual]] for the feature composition tool.


You can install the feature composition plug-in from Rodin sourceforge web page soon.
We define a feature as an Event-B machine and its seen context(s). The composition editor allows you to build a composition model whose output is an Event-B model (machine and a context) which is a composition of the input models. The composition model is saved in the Rodin database for replaying the composition later.
 
The composition editor highlights any conflicts such as multiple declaration of variables or events with same name in different input features. At the moment, it provides facilities for making the input models disjoint before composition to resolve any conflicting element names. It also enables you to resolve conflicting element names by removing the repeating/redundant information in different models. The composition editor also provides option for merging events.
 
Here is the User Manual for the feature composition tool : [[Media:Feature_Composition_Tool_User_Manual.pdf‎]]
 
You can install the feature composition plug-in from the Rodin Update Site.
 
== Releases ==
 
=====Version 0.0.4 =====
 
''19th Oct 2010''
 
Version compatible with Rodin 2.0
 
[[User:Gondal|Ali Gondal]] at [[Southampton]] is in charge of the [[Feature Composition Plug-in]].
 
[[Category:Feature composition plugin]]
[[Category:User documentation]]

Latest revision as of 10:15, 19 October 2010

Feature Composition Plug-in provides support for composing Event-B features.

We define a feature as an Event-B machine and its seen context(s). The composition editor allows you to build a composition model whose output is an Event-B model (machine and a context) which is a composition of the input models. The composition model is saved in the Rodin database for replaying the composition later.

The composition editor highlights any conflicts such as multiple declaration of variables or events with same name in different input features. At the moment, it provides facilities for making the input models disjoint before composition to resolve any conflicting element names. It also enables you to resolve conflicting element names by removing the repeating/redundant information in different models. The composition editor also provides option for merging events.

Here is the User Manual for the feature composition tool : Media:Feature_Composition_Tool_User_Manual.pdf‎

You can install the feature composition plug-in from the Rodin Update Site.

Releases

Version 0.0.4

19th Oct 2010

Version compatible with Rodin 2.0

Ali Gondal at Southampton is in charge of the Feature Composition Plug-in.

Retrieved from ‘https://wiki.event-b.org/index.php?title=Feature_Composition_Plug-in&oldid=5240’