Sciweavers

SAM
2004

Scenario Synthesis from Imprecise Requirements

13 years 5 months ago
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.
Bill Mitchell, Robert Thomson, Paul Bristow
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2004
Where SAM
Authors Bill Mitchell, Robert Thomson, Paul Bristow
Comments (0)