"432","Feature composition - towards product lines of Event-B models","Event-B is a formal language for modelling reactive systems, based on set theory and first-order logic. The RODIN toolkit provides comprehensive tool support for modelling and renement in Event-B, analysis and verification using animator/model-checkers and theorem provers. We consider the need to support reuse, in particular product line reuse, in such a formal development method. Feature modelling is an established technique for reuse in product lines. We introduce concepts of feature modelling and composition in Event-B to support the reuse of formal models and developments. A prototype feature composition tool has been developed (as a RODIN plug-in) for Event-B, based on the Eclipse Modelling Framework (EMF). Using an MDD philosophy, the tool extends the Event-B language meta-model to a composition meta model, and implements prototype composition patterns for Event-B features. Thus, a required composite model can be constructed by selecting, specializing, and composing input features in a defined way. The tool is the first step towards full feature modelling for product line model reuse for Event-B. We describe future work required to meet this goal.","http://deploy-eprints.ecs.soton.ac.uk/432/","Gondal, Ali and Poppleton, Mike and Snook, Colin","UNSPECIFIED","       <span class=\"person_name\">Gondal, Ali</span> and <span class=\"person_name\">Poppleton, Mike</span> and <span class=\"person_name\">Snook, Colin</span>     (2009)  <a href=\"http://deploy-eprints.ecs.soton.ac.uk/432/\"><em>Feature composition - towards product lines of Event-B models.</em></a>       In: 1st International Workshop on Model-Driven Product Line Engineering (MDPLE'09).           ","","2009-06"
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>