Towards safer composition

Classen, Andreas; Heymans, Patrick; Tun, Thein and Nuseibeh, Bashar (2009). Towards safer composition. In: 31st International Conference on Software Engineering, 16-24 May 2009, Vancouver, BC, pp. 227–230.

Full text available as:

Preview

PDF (Version of Record) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (138Kb)

DOI (Digital Object Identifier) Link:	http://dx.doi.org/10.1109/ICSE-COMPANION.2009.5070988

Google Scholar:	Look up in Google Scholar

Abstract

Determining whether a set of features can be composed, or safe composition, is a hard problem in software product line engineering because the number of feature combinations can be exponential. We argue that synergies between current approaches to safe composition should be exploited and propose a combined approach. At the heart of our proposal is a merge operation that creates a behavioural description for the entire product family from a feature diagram and descriptions of individual feature behaviour. As a result, we intend to verify more efficiently safe composition for an exponential number of feature combinations.

Item Type:	Conference Item
Copyright Holders:	2009 IEEE
Academic Unit/Department:	Mathematics, Computing and Technology > Computing & Communications
Interdisciplinary Research Centre:	Centre for Research in Computing (CRC)
Item ID:	27060
Depositing User:	Thein Tun
Date Deposited:	25 Jan 2011 11:01
Last Modified:	24 Oct 2012 17:18
URI:	http://oro.open.ac.uk/id/eprint/27060

Actions (login may be required)

	View Item
	Report issue / request change

Policies | Disclaimer