The Open UniversitySkip to content
 

Early identification of problem interactions: A tool-supported approach

Tun, Thein Than; Yu, Yijun; Laney, Robin and Nuseibeh, Bashar (2009). Early identification of problem interactions: A tool-supported approach. In: Glinz, Martin and Heymans, Patrick eds. Requirements Engineering: Foundation for Software Quality, 15th International Working Conference. Lecture Notes in Computer Science (5512). Germany: Springer Verlag, pp. 74–88.

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.1007/978-3-642-02050-6
Google Scholar: Look up in Google Scholar

Abstract

The principle of "divide and conquer" suggests that complex software problems should be decomposed into simpler problems, and those problems should be solved before considering how they can be composed. The eventual composition may fail if solutions to simpler problems interact in unexpected ways. However, early identification of concrete scenarios where interactions happen remains an outstanding issue. In this paper, we propose that logical abduction can be used to efficiently identify all possible failure scenarios when the composition cannot be achieved fully. We present an tool-supported framework that (i) provides a simple diagramming editor for drawing problem diagrams and describing them using the Event Calculus, (ii) structures the Event Calculus formulae of individual problem diagrams for the abduction procedure, (iii) communicates with an off-the-shelf abductive reasoner in the background and relates the results of the abduction procedure to the problem diagrams. With this tool, it becomes possible to highlight at an early stage, problem diagrams that will interact when composed together. The proposed theory and the tool framework are illustrated with an interaction problem from the smart home application.

Item Type: Book Chapter
Copyright Holders: 2009 Springer Verlag
ISBN: 3-642-02049-6, 978-3-642-02049-0
Project Funding Details:
Funded Project NameProject IDFunding Body
Not SetNot SetEPSRC
Keywords: problem composition; problem interactions; problem frames; event calculus
Academic Unit/Department: Mathematics, Computing and Technology > Computing & Communications
Interdisciplinary Research Centre: Centre for Research in Computing (CRC)
Item ID: 28884
Depositing User: Thein Tun
Date Deposited: 03 Jun 2011 11:06
Last Modified: 07 Aug 2013 14:04
URI: http://oro.open.ac.uk/id/eprint/28884
Share this page:

Available Versions of this Item

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