Scenario Synthesis from Imprecise Requirements
Mitchell, Bill, Thomson, Robert and Bristow, Paul (2005) Scenario Synthesis from Imprecise Requirements. In, 4th International SDL and MSC Workshop, SAM 2004, Revised Selected Papers, Ottawa, Canada, 01 - 04 Jun 2005. Springer Berlin / Heidelberg, 122-137.
Download
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
Download (194Kb) |
Description/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.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Additional Information: | Event Dates: June 1-4 |
| ISSNs: | 0302974316113349 |
| Related URLs: | |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science |
| Item ID: | 266044 |
| Date Deposited: | 03 Jul 2008 22:08 |
| Last Modified: | 02 Mar 2012 13:21 |
| Contributors: | Mitchell, Bill (Author) Thomson, Robert (Author) Bristow, Paul (Author) |
| Date: | January 2005 |
| Additional Information: | Event Dates: June 1-4 |
| Status: | Published |
| Publisher: | Springer Berlin / Heidelberg |
| Further Information: | Google Scholar |
| ISI Citation Count: | 1 |
| URI: | http://eprints.soton.ac.uk/id/eprint/266044 |
Actions (login required)
 |
View Item |
