Scenario Synthesis from Imprecise Requirements
Scenario Synthesis from Imprecise Requirements
Discovering faults in requirements specifications for distributed reactive systems is a challenging problem since many issues that need to be uncovered are a result of subtle component interactions that are implied by the requirements, but not explicitly described by them. A further difficulty is caused by the imprecise nature of industrial requirements specifications. This makes it difficult to construct valid models of the possible compositions between the requirements, which would be a valuable aid in uncovering such interactions. The paper defines a formal semantics that characterizes a particular type of imprecise compositional semantics derived from industrial case studies, and a process algebra that describes the valid requirements compositions for that formal semantics.
122-137
Mitchell, Bill
5d045751-9ef4-4375-9e89-dbae07c90049
Thomson, Robert
7e5ed66c-67df-4734-b34c-f1b1d07f635b
Bristow, Paul
ba1de211-ea56-41df-82a9-95874190d549
January 2005
Mitchell, Bill
5d045751-9ef4-4375-9e89-dbae07c90049
Thomson, Robert
7e5ed66c-67df-4734-b34c-f1b1d07f635b
Bristow, Paul
ba1de211-ea56-41df-82a9-95874190d549
Mitchell, Bill, Thomson, Robert and Bristow, Paul
(2005)
Scenario Synthesis from Imprecise Requirements.
4th International SDL and MSC Workshop, SAM 2004, Revised Selected Papers, Ottawa, Canada.
01 - 04 Jun 2005.
.
Record type:
Conference or Workshop Item
(Paper)
Abstract
Discovering faults in requirements specifications for distributed reactive systems is a challenging problem since many issues that need to be uncovered are a result of subtle component interactions that are implied by the requirements, but not explicitly described by them. A further difficulty is caused by the imprecise nature of industrial requirements specifications. This makes it difficult to construct valid models of the possible compositions between the requirements, which would be a valuable aid in uncovering such interactions. The paper defines a formal semantics that characterizes a particular type of imprecise compositional semantics derived from industrial case studies, and a process algebra that describes the valid requirements compositions for that formal semantics.
More information
Published date: January 2005
Additional Information:
Event Dates: June 1-4
Venue - Dates:
4th International SDL and MSC Workshop, SAM 2004, Revised Selected Papers, Ottawa, Canada, 2005-06-01 - 2005-06-04
Organisations:
Electronics & Computer Science, IT Innovation
Identifiers
Local EPrints ID: 266044
URI: http://eprints.soton.ac.uk/id/eprint/266044
PURE UUID: 921b075d-6c17-41dc-b878-912206bc4423
Catalogue record
Date deposited: 03 Jul 2008 22:08
Last modified: 14 Mar 2024 08:19
Export record
Contributors
Author:
Bill Mitchell
Author:
Robert Thomson
Author:
Paul Bristow
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