Lightweight formal methods for scenario-based software engineering

Authors:
Yves Bontemps;Patrick Heymans;Pierre-Yves Schobbens
Affiliations:
Institut d'Informatique, University of Namur, Namur, Belgium;Institut d'Informatique, University of Namur, Namur, Belgium;Institut d'Informatique, University of Namur, Namur, Belgium
Venue:
SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
Year:
2003

Citing 15
Cited 3

Object-oriented software engineering

Object-oriented software engineering
Temporal and modal logic

Handbook of theoretical computer science (vol. B)
Inference of message sequence charts

Proceedings of the 22nd international conference on Software engineering
Detecting implied scenarios in message sequence chart specifications

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
LSCs: Breathing Life into Message Sequence Charts

Formal Methods in System Design
From Play-In Scenarios to Code: An Achievable Dream

Computer
Scenarios in System Development: Current Practice

IEEE Software
Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts

TACAS '97 Proceedings of the Third International Workshop on Tools and Algorithms for Construction and Analysis of Systems
An Automata Based Interpretation of Live Sequence Charts

TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
An Analyser for Mesage Sequence Charts

TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Synthesis of Open Reactive Systems from Scenario-Based Specifications

ACSD '03 Proceedings of the Third International Conference on Application of Concurrency to System Design
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine

Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
SCENT: A Method Employing Scenarios to Systematically Derive TestCases for System Test

SCENT: A Method Employing Scenarios to Systematically Derive TestCases for System Test
Capturing and Executing Behavioral Requirements: The Play-In/Play-Out Approach,

Capturing and Executing Behavioral Requirements: The Play-In/Play-Out Approach,
Automata logics, and infinite games: a guide to current research

Automata logics, and infinite games: a guide to current research

Eliciting requirements and scenarios using the SCTL-MUS methodology: the shuttle system case study

SCESM '05 Proceedings of the fourth international workshop on Scenarios and state machines: models, algorithms and tools
From Live Sequence Charts to State Machines and Back: A Guided Tour

IEEE Transactions on Software Engineering
Design Synthesis from Interaction and State-Based Specifications

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Two fundamental problems related to Scenario-based Software Engineering (SBSE) are presented: model checking and synthesis. The former is to verify that a design model is consistent with a scenario-based specification. The latter is to build a design model implementing correctly a specification. Model checking is computationally expensive and synthesis of distributed system is undecidable. Two lightweight techniques are thus presented that alleviate this intractability. These approaches sacrifice completeness for efficiency, but keep soundness.