Holger Giese
Ekkart Kindler
ABSTRACT
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.
- Y. Bontemps and P. Heymans. As fast as sound (lightweight formal scenario synthesis and verification). In In Proc. of the 3rd International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM04) ICSE Workshop W5S Edinburgh, UK. IEE, 2004.]]Google Scholar
Cross Ref
- E. M. Clarke and E. A. Emerson. Design and Synthesis of Synchronization Skeletons using branching time temporal logic. In Proceedings of the IBM Workshop on Logics of Programs, volume 131 of Lecture Notes in Computer Science, pages 52--71. Springer Verlag, 1981.]] Google ScholarDigital Library
- T. Fischer, J. Niere, L. Torunski, and A. Zündorf. Story diagrams: A new graph rewrite language based on the unified modeling language. In G. Engels and G. Rozenberg, editors, Proc. of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT), Paderborn, Germany, LNCS 1764. Springer-Verlag, 1998.]] Google ScholarDigital Library
- A. Gepting, J. Greenyer, E. Kindler, A. Maas, S. Munkelt, C. Pales, T. Pivl, O. Rohe, V. Rubin, M. Sanders, A. Scholand, C. Wagner, and R. Wagner. Component tools: A vision of a tool. In Proc. of the 11th Workshop on Algorithms and Tools for Petri Nets (AWPN), Paderborn, Germany, September 30 - October 1, Tech. Rep. tr-ri-04-251, pages 37--42, September 2004.]]Google Scholar
- D. Harel and H. Kugler. Synthesizing State-Based Object Systems from LSC Specifications. In Proc. 5th Int. Conf. on Implementation and Application of Automata, volume 2088 of Lecture Notes in Computer Science, pages 1--33. Springer Verlag, 2001.]] Google ScholarDigital Library
- D. Harel, H. Kugler, R. Marelly, and A. Pnueli. Smart play-out. In Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA '03, pages 68--69, October 2003.]] Google ScholarDigital Library
- D. Harel and R. Marelly. Specifying and Executing Behavioral Requirements: The Play In/Play-Out Approach. Software and System Modeling (SoSyM), 2003.]]Google ScholarDigital Library
- E. Kindler and C. Páles. 3D-visualization of Petri net models: Concept and realization. In J. Cortadella and W. Reisig, editors, Application and Theory of Petri Nets 2004, 25th International Conference, volume 3099 of LNCS, pages 464--473. Springer, June 2004.]]Google Scholar
- I. Krüger, R. Grosu, P. Scholz, and M. Broy. From MSCs to Statecharts. In F. J. Rammig, editor, Distributed and Parallel Embedded Systems, pages 61--71. Kluwer Academic Publishers, 1999.]] Google ScholarDigital Library
- O. Kupferman and M. Y. Vardi. μ-Calculus Synthesis. In M. Nielsen and B. Rovan, editors, Proceedings of the on 25th International Symposium Mathematical Foundations of Computer Science (MFCS 2000), Bratislava, Slovakia, volume 1893 of Lecture Notes in Computer Science. Springer Verlag, August/September 2000.]] Google ScholarDigital Library
- J. C. Laprie, editor. Dependability: basic concepts and terminology in English, French, German, Italian and Japanese {IFIP WG 10.4, Dependable Computing and Fault Tolerance}, volume 5 of Dependable computing and fault tolerant systems. Springer Verlag, Wien, 1992.]] Google ScholarDigital Library
- E. Mäkinen and T. Systä. MAS - an interactive synthesizer to support behavioral modeling in UML. In Proceedings of the 23rd International Conference on Software Engineering (ICSE 2001), Toronto, Canada, pages 15--24, May 2001.]] Google ScholarDigital Library
- U. Nickel, W. Schäfer, and A. Zündorf. Integrative specification of distributed production control systems for flexible automated manufacturing. In M. Nagl and B. Westfechtel, editors, DFG Workshop: Modelle, Werkzeuge und Infrastrukturen zur Untersttzung von Entwicklungsprozessen, pages 179--195. Wiley-VCH Verlag GmbH and Co. KGaA, 2003.]]Google Scholar
- A. Pnueli and R. Rosner. On the synthesis of a reactive module. In Proceedings of the sixteenth annual ACM symposium on Principles of programming languages, Austin, Texas, United States, 1989.]] Google ScholarDigital Library
- P. Ramage and W. Wonham. Supervisory control of a class of discrete event processes. SIAM J. Control Optim., 25(1), January 1987.]] Google ScholarDigital Library
- W. Schäfer, R. Wagner, J. Gausemeier, and R. Eckes. An engineers workstation to support integrated development of flexible production control system. In H. Ehrig, editor, Integration of Software Specification Techniques for Applications in Engineering, volume 3147 of LNCS. Springer-Verlag, 2004.]]Google Scholar
- S. Uchitel and J. Kramer. A workbench for synthesising behaviour models from scenarios. In Proceedings of the 23rd international conference on Software engineering, pages 188--197. IEEE Computer Society, 2001.]] Google ScholarDigital Library
- University of Paderborn, Germany. Fujaba Tool Suite. Online at http://www.fujaba.de/.]]Google Scholar
- University of Paderborn, Germany. Model Checking in Education. Online at http://www.upb.de/cs/kindler/Lehre/MCiE.]]Google Scholar
- J. Whittle and J. Schumann. Generating statechart designs from scenarios. In Proceedings of the 22nd international conference on on Software engineering June 4 - 11, 2000, Limerick Ireland, 2000.]] Google ScholarDigital Library
- A. Zündorf. Rigorous Object Oriented Software Development. University of Paderborn, 2001.]]Google Scholar
Index Terms
- Reconciling scenario-centered controller design with state-based system models
Recommendations
Reconciling scenario-centered controller design with state-based system models
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 ...
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios
Behavior modeling has proved to be successful in helping uncover design flaws of concurrent and distributed systems. Nevertheless, it has not had a widespread impact on practitioners because model construction remains a difficult task and because the ...
Comments