The University of Southampton
University of Southampton Institutional Repository

Feature composition - towards product lines of Event-B models

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

Record type: Conference or Workshop Item (Paper)


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.

PDF Gondal_MDPLE_Paper.pdf - Version of Record
Download (291kB)

More information

Published date: 24 June 2009
Additional Information: Event Dates: 24/06/2009
Venue - Dates: 1st International Workshop on Model-Driven Product Line Engineering (MDPLE'09), Netherlands, 2009-06-24
Organisations: Electronic & Software Systems


Local EPrints ID: 267547
PURE UUID: 84e38a76-e7ab-43ec-b61a-72e0f50770c4
ORCID for Colin Snook: ORCID iD

Catalogue record

Date deposited: 10 Jun 2009 23:10
Last modified: 18 Jul 2017 07:02

Export record


Author: Ali Gondal
Author: Mike Poppleton
Author: Colin Snook ORCID iD

University divisions

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton:

ePrints Soton supports OAI 2.0 with a base URL of

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.