{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T09:55:07Z","timestamp":1725530107929},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642005923"},{"type":"electronic","value":"9783642005930"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-00593-0_6","type":"book-chapter","created":{"date-parts":[[2009,3,27]],"date-time":"2009-03-27T10:26:08Z","timestamp":1238149568000},"page":"79-93","source":"Crossref","is-referenced-by-count":14,"title":["Controller Synthesis from LSC Requirements"],"prefix":"10.1007","author":[{"given":"Hillel","family":"Kugler","sequence":"first","affiliation":[]},{"given":"Cory","family":"Plock","sequence":"additional","affiliation":[]},{"given":"Amir","family":"Pnueli","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Microsoft Research Cambridge, Scenario-Based Tool for Biological Modeling (2009), http:\/\/research.microsoft.com\/SBT\/"},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0035748","volume-title":"Automata, Languages and Programming","author":"M. Abadi","year":"1989","unstructured":"Abadi, M., Lamport, L., Wolper, P.: Realizable and unrealizable concurrent program specifications. In: Ronchi Della Rocca, S., Ausiello, G., Dezani-Ciancaglini, M. (eds.) ICALP 1989. LNCS, vol.\u00a0372, pp. 1\u201317. Springer, Heidelberg (1989)"},{"issue":"12","key":"6_CR3","doi-asserted-by":"publisher","first-page":"999","DOI":"10.1109\/TSE.2005.137","volume":"31","author":"Y. Bontemps","year":"2005","unstructured":"Bontemps, Y., Heymans, P., Schobbens, P.Y.: From live sequence charts to state machines and back: A guided tour. IEEE Trans. Software Eng.\u00a031(12), 999\u20131014 (2005)","journal-title":"IEEE Trans. Software Eng."},{"issue":"1","key":"6_CR4","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1023\/A:1011227529550","volume":"19","author":"W. Damm","year":"2001","unstructured":"Damm, W., Harel, D.: LSCs: Breathing life into message sequence charts. Formal Methods in System Design\u00a019(1), 45\u201380 (2001); preliminary version appeared in: Proc. 3rd IFIP Int. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS 1999)","journal-title":"Formal Methods in System Design"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/978-3-540-71322-7_11","volume-title":"Program Analysis and Compilation, Theory and Practice","author":"W. Damm","year":"2007","unstructured":"Damm, W., Toben, T., Westphal, B.: On the Expressive Power of Live Sequence Charts. In: Reps, T., Sagiv, M., Bauer, J. (eds.) Wilhelm Festschrift. LNCS, vol.\u00a04444, pp. 225\u2013246. Springer, Heidelberg (2007)"},{"key":"6_CR6","first-page":"279","volume-title":"Proc. 16th IEEE Symp. Logic in Comp. Sci.","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T., Majumdar, R.: From verification to control: dynamic programs for omega-regular objectives. In: Proc. 16th IEEE Symp. Logic in Comp. Sci., pp. 279\u2013290. IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Harel, D., Kantor, A., Maoz, S.: On the Power of Play-Out for Scenario-Based Programs. Technical report, Weizmann Institute (2009)","DOI":"10.1007\/978-3-642-11512-7_13"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44674-5_1","volume-title":"Implementation and Application of Automata","author":"D. Harel","year":"2001","unstructured":"Harel, D., Kugler, H.: Synthesizing state-based object systems from LSC specifications. Int. J. of Foundations of Computer Science (IJFCS)\u00a013(1), 5\u201351 (2002); also in: Yu, S., P\u0103un, A. (eds.) CIAA 2000. LNCS, vol.\u00a02088, pp. 1\u201351. Springer, Heidelberg (2001)"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1007\/3-540-36126-X_23","volume-title":"Formal Methods in Computer-Aided Design","author":"D. Harel","year":"2002","unstructured":"Harel, D., Kugler, H., Marelly, R., Pnueli, A.: Smart play-out of behavioral requirements. In: Aagaard, M.D., O\u2019Leary, J.W. (eds.) FMCAD 2002. LNCS, vol.\u00a02517, pp. 378\u2013398. Springer, Heidelberg (2002); also available as Tech. Report MCS02-08, The Weizmann Institute of Science"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/978-3-540-31847-7_18","volume-title":"Formal Methods in Software and Systems Modeling","author":"D. Harel","year":"2005","unstructured":"Harel, D., Kugler, H., Pnueli, A.: Synthesis Revisited: Generating Statechart Models from Scenarios-Based Requirements. In: Kreowski, H.-J., Montanari, U., Orejas, F., Rozenberg, G., Taentzer, G. (eds.) Formal Methods in Software and Systems Modeling. LNCS, vol.\u00a03393, pp. 309\u2013324. Springer, Heidelberg (2005)"},{"key":"6_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19029-2","volume-title":"Come, Let\u2019s Play: Scenario-Based Programming Using LSCs and the Play-Engine","author":"D. Harel","year":"2003","unstructured":"Harel, D., Marelly, R.: Come, Let\u2019s Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, Heidelberg (2003)"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-540-71289-3_8","volume-title":"Fundamental Approaches to Software Engineering","author":"R. Hennicker","year":"2007","unstructured":"Hennicker, R., Knapp, A.: Activity-Driven Synthesis of State Machines. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, vol.\u00a04422, pp. 87\u2013101. Springer, Heidelberg (2007)"},{"issue":"1","key":"6_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.ydbio.2008.07.030","volume":"323","author":"N. Kam","year":"2008","unstructured":"Kam, N., Kugler, H., Marelly, R., Appleby, L., Fisher, J., Pnueli, A., Harel, D., Stern, M., Hubbard, E.: A scenario-based approach to modeling development: A prototype model of C. elegans vulval fate specification. Developmental Biology\u00a0323(1), 1\u20135 (2008)","journal-title":"Developmental Biology"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/3-540-45319-9_35","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"J. Klose","year":"2001","unstructured":"Klose, J., Wittke, H.: An automata based interpretation of live sequence chart. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol.\u00a02031, p. 512. Springer, Heidelberg (2001)"},{"issue":"7","key":"6_CR15","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1002\/spe.4380240704","volume":"24","author":"K. Koskimies","year":"1994","unstructured":"Koskimies, K., Makinen, E.: Automatic synthesis of state machines from trace diagrams. Software \u2014 Practice and Experience\u00a024(7), 643\u2013658 (1994)","journal-title":"Software \u2014 Practice and Experience"},{"key":"6_CR16","unstructured":"Koskimies, K., Mannisto, T., Systa, T., Tuomi, J.: SCED: A Tool for Dynamic Modeling of Object Systems. Tech. Report A-1996-4, University of Tampere (July 1996)"},{"key":"6_CR17","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-0-387-35570-2_5","volume-title":"Proc. Int. Workshop on Distributed and Parallel Embedded Systems (DIPES 1998)","author":"I. Kr\u00fcger","year":"1999","unstructured":"Kr\u00fcger, I., Grosu, R., Scholz, P., Broy, M.: From MSCs to Statecharts. In: Proc. Int. Workshop on Distributed and Parallel Embedded Systems (DIPES 1998), pp. 61\u201371. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1007\/978-3-540-31980-1_29","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"H. Kugler","year":"2005","unstructured":"Kugler, H., Harel, D., Pnueli, A., Lu, Y., Bontemps, Y.: Temporal Logic for Scenario-Based Specifications. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol.\u00a03440, pp. 445\u2013460. Springer, Heidelberg (2005)"},{"key":"6_CR19","series-title":"Lecture Notes in Computer Science","volume-title":"Proc. 15 th Intl. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009)","author":"H. Kugler","year":"2009","unstructured":"Kugler, H., Segall, I.: Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications. In: Proc. 15 th Intl. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009). LNCS. Springer, Heidelberg (2009)"},{"key":"6_CR20","unstructured":"Leue, S., Mehrmann, L., Rezai, M.: Synthesizing ROOM models from message sequence chart specifications. Tech. Report 98-06, University of Waterloo (April 1998)"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Liang, H., Dingel, J., Diskin, Z.: A comparative survey of scenario-based to state-based model synthesis approaches. In: Proceedings of the International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM 2006), pp. 5\u201312 (2006)","DOI":"10.1145\/1138953.1138956"},{"key":"6_CR22","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic Model Checking","author":"K. McMillan","year":"1993","unstructured":"McMillan, K.: Symbolic Model Checking. Kluwer Academic Publishers, Boston (1993)"},{"key":"6_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/11609773_24","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"N. Piterman","year":"2005","unstructured":"Piterman, N., Pnueli, A., Sa\u2019ar, Y.: Synthesis of reactive(1) designs. In: Emerson, E.A., Namjoshi, K.S. (eds.) VMCAI 2006. LNCS, vol.\u00a03855, pp. 364\u2013380. Springer, Heidelberg (2005)"},{"key":"6_CR24","unstructured":"Pnueli, A.: Extracting controllers for timed automata. Technical report, New York University (2005)"},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"Pnueli, A., Rosner, R.: On the synthesis of a reactive module. In: Proc. 16th ACM Symp. Princ. of Prog. Lang., pp. 179\u2013190 (1989)","DOI":"10.1145\/75277.75293"},{"key":"6_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/3-540-61474-5_68","volume-title":"Computer Aided Verification","author":"A. Pnueli","year":"1996","unstructured":"Pnueli, A., Shahar, E.: A platform for combining deductive with algorithmic verification. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, pp. 184\u2013195. Springer, Heidelberg (1996)"},{"key":"6_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/11526841_28","volume-title":"FM 2005: Formal Methods","author":"J. Sun","year":"2005","unstructured":"Sun, J., Dong, J.S.: Synthesis of distributed processes from scenario-based specifications. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol.\u00a03582, pp. 415\u2013431. Springer, Heidelberg (2005)"},{"issue":"1","key":"6_CR28","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1145\/1005561.1005563","volume":"13","author":"S. Uchitel","year":"2004","unstructured":"Uchitel, S., Kramer, J., Magee, J.: Incremental elaboration of scenario-based specifications and behavior models using implied scenarios. ACM Trans. Software Engin. Methods\u00a013(1), 37\u201385 (2004)","journal-title":"ACM Trans. Software Engin. Methods"},{"key":"6_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/3-540-60045-0_56","volume-title":"Computer Aided Verification","author":"M. Vardi","year":"1995","unstructured":"Vardi, M.: An automata-theoretic approach to fair realizability and synthesis. In: Wolper, P. (ed.) CAV 1995. LNCS, vol.\u00a0939, pp. 267\u2013278. Springer, Heidelberg (1995)"},{"key":"6_CR30","doi-asserted-by":"crossref","first-page":"490","DOI":"10.1109\/ICSE.2003.1201227","volume-title":"25th International Conference on Software Engineering (ICSE 2003)","author":"J. Whittle","year":"2003","unstructured":"Whittle, J., Saboo, J., Kwan, R.: From scenarios to code: an air traffic control case study. In: 25th International Conference on Software Engineering (ICSE 2003), pp. 490\u2013495. IEEE Computer Society, Los Alamitos (2003)"},{"key":"6_CR31","first-page":"314","volume-title":"22nd International Conference on Software Engineering (ICSE 2000)","author":"J. Whittle","year":"2000","unstructured":"Whittle, J., Schumann, J.: Generating statechart designs from scenarios. In: 22nd International Conference on Software Engineering (ICSE 2000), pp. 314\u2013323. ACM Press, New York (2000)"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00593-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T04:19:47Z","timestamp":1558239587000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00593-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642005923","9783642005930"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00593-0_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}