Scenario synthesis from imprecise requirements

Authors:
Bill Mitchell;Robert Thomson;Paul Bristow
Affiliations:
Department of Computing, University of Surrey, Guilford, Surrey, UK;Motorola UK Research Lab, UK;Motorola UK Research Lab, UK
Venue:
SAM'04 Proceedings of the 4th international SDL and MSC conference on System Analysis and Modeling
Year:
2004

Citing 9
Cited 0

Algebraic laws for nondeterminism and concurrency

Journal of the ACM (JACM)
Inference of message sequence charts

Proceedings of the 22nd international conference on Software engineering
Generating statechart designs from scenarios

Proceedings of the 22nd international conference on Software engineering
Synthesis of Behavioral Models from Scenarios

IEEE Transactions on Software Engineering
An Algebraic Semantics for Message Sequence Chart Documents

FORTE XI / PSTV XVIII '98 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII)
Model Checking of Message Sequence Charts

CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Synthesis of Open Reactive Systems from Scenario-Based Specifications

ACSD '03 Proceedings of the Third International Conference on Application of Concurrency to System Design
Applying Design Metrics to a Large-Scale Software System

ISSRE '98 Proceedings of the The Ninth International Symposium on Software Reliability Engineering
Automatic generation of conformance tests from message sequence charts

SAM'02 Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC

Quantified Score

Hi-index	0.00

Visualization

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.