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.

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/doi: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
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
RDF+XMLBibTeXRDF+N-TriplesJSONDublin CoreAtomOAI-ORE Resource Map (Atom Format)Simple MetadataReferMETSOAI-ORE Resource Map (RDF Format)HTML CitationASCII CitationMultiline CSVRefMan RIS Format (UTF-8)OpenURL ContextObjectEndNoteMODSOpenURL ContextObject in SpanMPEG-21 DIDLEP3 XMLRefMan RIS FormatRDF+N3Eprints Application Profile	Public: Report issue / request change