Reconciling scenario-centered controller design with state-based system models

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.

REFERENCES

• 1: 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.
• 2: Edmund M. Clarke , E. Allen Emerson, Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic, Logic of Programs, Workshop, p.52-71, May 01, 1981
• 3: Thorsten Fischer , Jörg Niere , Lars Torunski , Albert Zündorf, Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java, Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations, p.296-309, November 16-20, 1998
• 4: 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.
• 5: David Harel , Hillel Kugler, Synthesizing State-Based Object Systems from LSC Specifications, Revised Papers from the 5th International Conference on Implementation and Application of Automata, p.1-33, July 24-25, 2000
• 6: David Harel , Hillel Kugler , Rami Marelly , Amir Pnueli, Smart play-out, Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, October 26-30, 2003, Anaheim, CA, USA [doi>10.1145/949344.949353]
• 7: D. Harel and R. Marelly. Specifying and Executing Behavioral Requirements: The Play In/Play-Out Approach. Software and System Modeling (SoSyM), 2003.
• 8: 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.
• 9: Ingolf Krüger , Radu Grosu , Peter Scholz , Manfred Broy, From MSCs to statecharts, Proceedings of the IFIP WG10.3/WG10.5 international workshop on Distributed and parallel embedded systems, p.61-71, October 1998, Scholoß Eringerfeld, Germany
• 10: Orna Kupferman , Moshe Y. Vardi, µ-Calculus Synthesis, Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, p.497-507, September 01, 2000
• 11: J.C. C. Laprie , A. Avizienis , H. Kopetz, Dependability: Basic Concepts and Terminology, Springer-Verlag New York, Inc., Secaucus, NJ, 1992
• 12: Erkki Mäkinen , Tarja Systä, MAS — an interactive synthesizer to support behavioral modelling in UML, Proceedings of the 23rd International Conference on Software Engineering, p.15-24, May 12-19, 2001, Toronto, Ontario, Canada
• 13: 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.
• 14: A. Pnueli , R. Rosner, On the synthesis of a reactive module, Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.179-190, January 11-13, 1989, Austin, Texas, United States [doi>10.1145/75277.75293]
• 15: P. J. Ramadge , W. M. Wonham, Supervisory control of a class of discrete event processes, SIAM Journal on Control and Optimization, v.25 n.1, p.206-230, Jan. 1987 [doi>10.1137/0325013]
• 16: 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.
• 17: Sebastian Uchitel , Jeff Kramer, A workbench for synthesising behaviour models from scenarios, Proceedings of the 23rd International Conference on Software Engineering, p.188-197, May 12-19, 2001, Toronto, Ontario, Canada
• 18: University of Paderborn, Germany. Fujaba Tool Suite. Online at http://www.fujaba.de/.
• 19: University of Paderborn, Germany. Model Checking in Education. Online at http://www.upb.de/cs/kindler/Lehre/MCiE.
• 20: Jon Whittle , Johann Schumann, Generating statechart designs from scenarios, Proceedings of the 22nd international conference on Software engineering, p.314-323, June 04-11, 2000, Limerick, Ireland [doi>10.1145/337180.337217]
• 21: A. Zündorf. Rigorous Object Oriented Software Development. University of Paderborn, 2001.

INDEX TERMS

Primary Classification:
  B. Hardware
  B.4 INPUT/OUTPUT AND DATA COMMUNICATIONS
      B.4.2 Input/Output Devices
          Subjects: Channels and controllers

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.2 Design Tools and Techniques
          Subjects: State diagrams

General Terms:
Design, Experimentation, Measurement, Performance