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

Proceedings of the 4th International Workshop on Scenarios and State Machines: Models, Algorithms and Tools, SCESM '05

Volumn , Issue , 2005, Pages

  Giese, Holger ^a   Kindler, Ekkart ^a   Klein, Florian ^a   Wagner, Robert ^a  

^a UNIVERSITY OF PADERBORN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

3D-VISUALIZATION; CONTROLLER DESIGNS; FLEXIBLE PRODUCTION SYSTEMS; MATERIAL FLOW SYSTEM; PRODUCTION SYSTEM; STATE-BASED MODELS; STATE-BASED SYSTEMS; SYSTEM FUNCTIONALITY;

CONTOUR FOLLOWERS; DESIGN; MODEL STRUCTURES; PRODUCTION ENGINEERING; VISUALIZATION;

MATHEMATICAL MODELS;

EID: 77954023476     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1083183.1083187     Document Type: Conference Paper

References (21)

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. 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.
3. th International Workshop on Theory and Application of Graph Transformation (TAGT), Paderborn, Germany, LNCS 1764. Springer-Verlag, 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. 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.
6. 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.
7. D. Harel and R. Marelly. Specifying and Executing Behavioral Requirements: The Play In/Play-Out Approach. Software and System Modeling (SoSyM), 2003.
8. th International Conference, volume 3099 of LNCS, pages 464-473. Springer, June 2004.
9. 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.
10. 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.
11. 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.
12. rd International Conference on Software Engineering (ICSE 2001), Toronto, Canada, pages 15-24, May 2001.
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 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.
15. P. Ramage and W. Wonham. Supervisory control of a class of discrete event processes. SIAM J. Control Optim., 25(1), January 1987.
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. 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.
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. 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.
21. A. Zündorf. Rigorous Object Oriented Software Development. University of Paderborn, 2001.