Scenario Synthesis from Imprecise Requirements [chapter]

Bill Mitchell, Robert Thomson, Paul Bristow
2005 Lecture Notes in Computer Science  
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
more » ... le 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.
doi:10.1007/978-3-540-31810-1_9 fatcat:f4oxe6dsgfee3i3dbgcbxvrbcq