{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:41:43Z","timestamp":1750308103225,"version":"3.41.0"},"reference-count":21,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2005,5,20]],"date-time":"2005-05-20T00:00:00Z","timestamp":1116547200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[2005,7]]},"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.1145\/1082983.1083187","type":"journal-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T19:28:32Z","timestamp":1131391712000},"page":"1-5","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Reconciling scenario-centered controller design with state-based system models"],"prefix":"10.1145","volume":"30","author":[{"given":"Holger","family":"Giese","sequence":"first","affiliation":[{"name":"University of Paderborn, Paderborn, Germany"}]},{"given":"Ekkart","family":"Kindler","sequence":"additional","affiliation":[{"name":"University of Paderborn, Paderborn, Germany"}]},{"given":"Florian","family":"Klein","sequence":"additional","affiliation":[{"name":"University of Paderborn, Paderborn, Germany"}]},{"given":"Robert","family":"Wagner","sequence":"additional","affiliation":[{"name":"University of Paderborn, Paderborn, Germany"}]}],"member":"320","published-online":{"date-parts":[[2005,5,20]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1049\/ic:20040234"},{"key":"e_1_2_1_2_1","volume-title":"Proceedings of the IBM Workshop on Logics of Programs","volume":"131","author":"Clarke E. M.","year":"1981","unstructured":"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 .]] 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.]]"},{"key":"e_1_2_1_3_1","volume-title":"Proc. of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT)","author":"Fischer T.","year":"1998","unstructured":"T. Fischer , J. Niere , L. Torunski , and A. Z\u00fcndorf . 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 .]] T. Fischer, J. Niere, L. Torunski, and A. Z\u00fcndorf. 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.]]"},{"key":"e_1_2_1_4_1","volume-title":"Proc. of the 11th Workshop on Algorithms and Tools for Petri Nets (AWPN)","author":"Gepting A.","year":"2004","unstructured":"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 .]] 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.]]"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/647267.721685"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/949344.949353"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-002-0015-5"},{"key":"e_1_2_1_8_1","series-title":"LNCS","first-page":"464","volume-title":"Application and Theory of Petri Nets","author":"Kindler E.","year":"2004","unstructured":"E. Kindler and C. P\u00e1les . 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.]] E. Kindler and C. P\u00e1les. 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.]]"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/328648.328655"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/645729.668005"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/573776"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/381473.381475"},{"key":"e_1_2_1_13_1","first-page":"179","volume-title":"DFG Workshop: Modelle, Werkzeuge und Infrastrukturen zur Untersttzung von Entwicklungsprozessen","author":"Nickel U.","year":"2003","unstructured":"U. Nickel , W. Sch\u00e4fer , and A. Z\u00fcndorf . 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 .]] U. Nickel, W. Sch\u00e4fer, and A. Z\u00fcndorf. 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.]]"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75293"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27863-4_5"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/381473.381494"},{"key":"e_1_2_1_18_1","unstructured":"University of Paderborn Germany. Fujaba Tool Suite. Online at http:\/\/www.fujaba.de\/.]]  University of Paderborn Germany. Fujaba Tool Suite. Online at http:\/\/www.fujaba.de\/.]]"},{"key":"e_1_2_1_19_1","unstructured":"University of Paderborn Germany. Model Checking in Education. Online at http:\/\/www.upb.de\/cs\/kindler\/Lehre\/MCiE.]]  University of Paderborn Germany. Model Checking in Education. Online at http:\/\/www.upb.de\/cs\/kindler\/Lehre\/MCiE.]]"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337217"},{"key":"e_1_2_1_21_1","volume-title":"Rigorous Object Oriented Software Development","author":"Z\u00fcndorf A.","year":"2001","unstructured":"A. Z\u00fcndorf . Rigorous Object Oriented Software Development . University of Paderborn , 2001 .]] A. Z\u00fcndorf. Rigorous Object Oriented Software Development. University of Paderborn, 2001.]]"}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1082983.1083187","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1082983.1083187","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:08:05Z","timestamp":1750262885000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1082983.1083187"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,5,20]]},"references-count":21,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2005,7]]}},"alternative-id":["10.1145\/1082983.1083187"],"URL":"https:\/\/doi.org\/10.1145\/1082983.1083187","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1083183.1083187","asserted-by":"subject"}]},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[2005,5,20]]},"assertion":[{"value":"2005-05-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}