Statecharts: A visual formalism for complex systems
Science of Computer Programming
Object-oriented software engineering
Object-oriented software engineering
LSCs: Breathing Life into Message Sequence Charts
Formal Methods in System Design
Multiple instances and symbolic variables in executable sequence charts
OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Smart Play-out of Behavioral Requirements
FMCAD '02 Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design
Playing with Time: On the Specification and Execution of Time-Enriched LSCs
MASCOTS '02 Proceedings of the 10th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems
Capturing and Executing Behavioral Requirements: The Play-In/Play-Out Approach,
Capturing and Executing Behavioral Requirements: The Play-In/Play-Out Approach,
Formal Modeling of C. elegans Development: A Scenario-Based Approach
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Reconciling scenario-centered controller design with state-based system models
SCESM '05 Proceedings of the fourth international workshop on Scenarios and state machines: models, algorithms and tools
Towards a Graphical Tool for Refining User to System Requirements
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
A powerful methodology for specifying scenario-based requirements of reactive systems is described, in which behavioral requirements are "played in" directly from the system's GUI or some abstract version thereof, and full behavior can then be "played out" freely, just as if a conventional system model were present. The approach is supported and illustrated by a tool we have built, which we call the play-engine. The ideas appear to be relevant to many stages of system development, including requirements engineering, specification, testing, and implementation.