The Open UniversitySkip to content
 

Specifying features of an evolving software system

Tun, Thein Than; Trew, Tim; Jackson, Michael; Laney, Robin and Nuseibeh, Bashar (2009). Specifying features of an evolving software system. Software: Practice and Experience, 39(11) pp. 973–1002.

Warning

This is the latest version of this eprint.

Full text available as:
Full text not publicly available
Due to copyright restrictions, this file is not available for public download
Click here to request a copy from the OU Author.
DOI (Digital Object Identifier) Link: http://dx.doi.org/10.1002/spe.923
Google Scholar: Look up in Google Scholar

Abstract

Software development is increasingly concerned with maintaining and extending existing software systems to meet the evolving user requirements. Many of these systems are feature-rich and are developed incrementally. As structures of existing software systems - in addition to the user requirements - influence the specifications, specifying these systems poses unique challenges. This paper reports on our experience of applying an engineering approach to specifying an evolving feature-rich television software system. In this approach, features are specified modularly by first fitting their problems to known problem patterns, and then analyzing typical concerns - meaning the potential causes of errors - associated with those patterns. In cases where the existing design poses difficulties when fitting problems to patterns, we transform its structure using known design mechanisms so that the problems fit the patterns. After deriving specifications of individual features, possible interactions between features are detected, before declaratively specifying resolutions to undesired interactions. As the concerns of features and their composition are addressed separately, the specifications derived are modular, thus, providing rich treaceability to their requirements. As well as discussing how features may be specified using natural language, we also show how their descriptions may be formalized using a form of temporal logic called the Event Calculus, and prove their correctness using an off-the-shelf tool.

Item Type: Journal Article
Copyright Holders: 2009 John Wiley & Sons, Ltd.
ISSN: 1097-024X
Project Funding Details:
Funded Project NameProject IDFunding Body
Relating problem and solution structures in feature-based softwareEP/C007719/1EPSRC
Keywords: software features; evolution; specifications; feature composition; problem frame
Academic Unit/Department: Mathematics, Computing and Technology > Computing & Communications
Mathematics, Computing and Technology > Computing & Communications
Interdisciplinary Research Centre: Centre for Research in Computing (CRC)
Item ID: 28883
Depositing User: Thein Tun
Date Deposited: 20 Jun 2011 07:57
Last Modified: 07 Aug 2013 14:04
URI: http://oro.open.ac.uk/id/eprint/28883
Share this page:

Available Versions of this Item

Altmetrics

Scopus Citations

Actions (login may be required)

View Item
Report issue / request change

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340   general-enquiries@open.ac.uk