Supervisory control of a class of discrete event processes
SIAM Journal on Control and Optimization
On the synthesis of a reactive module
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
DIPES '98 Proceedings of the IFIP WG10.3/WG10.5 international workshop on Distributed and parallel embedded systems
Generating statechart designs from scenarios
Proceedings of the 22nd international conference on Software engineering
MAS — an interactive synthesizer to support behavioral modelling in UML
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
A workbench for synthesising behaviour models from scenarios
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Dependability: Basic Concepts and Terminology
Dependability: Basic Concepts and Terminology
Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic
Logic of Programs, Workshop
OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Specifying and executing requirements: the play-in/play-out approach
OOPSLA '02 Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
4th international workshop on scenarios and state machines: models, algorithms and tools (SCESM'05)
Proceedings of the 27th international conference on Software engineering
Scenarios and state machines: models, algorithms, and tools: a summary of the 4th workshop
ACM SIGSOFT Software Engineering Notes
A rigorous software process for the development of embedded systems
SPW'05 Proceedings of the 2005 international conference on Unifying the Software Process Spectrum
Component tools: integrating petri nets with other formal methods
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Hi-index | 0.00 |
Scenarios are an effective means for defining the expected behavior of a system during the design and implementation phase. The 'Come Let's Play' approach has demonstrated that scenarios can fully define a system's behavior. In practice, however, the expected behavior defined by scenarios must be achieved in the context of existing components that cannot be changed. Therefore, the scenario-based approach must be reconciled with state-based models. In this paper, we present such an approach for the design of flexible production systems which employs scenarios not only for describing and synthesizing the required system functionality but also for recording observed behavior for analysis or 3D-visualization. We illustrate our approach using an existing material flow system which is a major part of a real production system.