Industrial deployment of system engineering methods providing high dependability and productivity


Feature composition - towards product lines of Event-B models

Gondal, Ali and Poppleton, Mike and Snook, Colin (2009) Feature composition - towards product lines of Event-B models. In: 1st International Workshop on Model-Driven Product Line Engineering (MDPLE'09).

Full text not available from this repository.

Official URL:


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.

Item Type:Conference or Workshop Item (Paper)
Additional Information: Event Dates: 24/06/2009
Subjects:Methodology > Composition and reuse
Methodology > Requirements and evolution
ID Code:432
Deposited By: Colin Snook
Deposited On:23 Jul 2012 10:58
Last Modified:23 Jul 2012 10:58

Repository Staff Only: item control page

Deploy-Project - All right reserved