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. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Mitchell, B., Thomson, R., & Bristow, P. (2005). Scenario synthesis from imprecise requirements. In Lecture Notes in Computer Science (Vol. 3319, pp. 122–137). Springer Verlag. https://doi.org/10.1007/978-3-540-31810-1_9
Mendeley helps you to discover research relevant for your work.