{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,1]],"date-time":"2025-04-01T08:43:47Z","timestamp":1743497027839},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540878902"},{"type":"electronic","value":"9783540878919"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-87891-9_8","type":"book-chapter","created":{"date-parts":[[2008,10,9]],"date-time":"2008-10-09T06:48:06Z","timestamp":1223534886000},"page":"114-129","source":"Crossref","is-referenced-by-count":11,"title":["Synthesis of Connectors from Scenario-Based Interaction Specifications"],"prefix":"10.1007","author":[{"given":"Farhad","family":"Arbab","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sun","family":"Meng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Eclipse Coordination Tools, http:\/\/homepages.cwi.nl\/~koehler\/ect\/"},{"issue":"3","key":"8_CR2","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1017\/S0960129504004153","volume":"14","author":"F. Arbab","year":"2004","unstructured":"Arbab, F.: Reo: A Channel-based Coordination Model for Component Composition. Mathematical Structures in Computer Science\u00a014(3), 329\u2013366 (2004)","journal-title":"Mathematical Structures in Computer Science"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/11417019_16","volume-title":"Coordination Models and Languages","author":"F. Arbab","year":"2005","unstructured":"Arbab, F., Baier, C., de Boer, F., Rutten, J., Sirjani, M.: Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications. In: Jacquet, J.-M., Picco, G.P. (eds.) COORDINATION 2005. LNCS, vol.\u00a03454, pp. 236\u2013251. Springer, Heidelberg (2005)"},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/978-3-540-72794-1_16","volume-title":"Coordination Models and Languages","author":"F. Arbab","year":"2007","unstructured":"Arbab, F., Chothia, T., Meng, S., Moon, Y.-J.: Component Connectors with QoS Guarantees. In: Murphy, A.L., Vitek, J. (eds.) COORDINATION 2007. LNCS, vol.\u00a04467, pp. 286\u2013304. Springer, Heidelberg (2007)"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Arbab, F., Meng, S., Baier, C.: Synthesis of Reo Circuits from Scenario-based Specifications. In: Proceedings of FOCLASA 2008 (2008)","DOI":"10.1007\/978-3-540-87891-9_8"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1007\/978-3-540-40020-2_2","volume-title":"WADT 2002","author":"F. Arbab","year":"2003","unstructured":"Arbab, F., Rutten, J.: A coinductive calculus of component connectors. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2003. LNCS, vol.\u00a02755, pp. 34\u201355. Springer, Heidelberg (2003)"},{"key":"8_CR7","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/j.scico.2005.10.008","volume":"61","author":"C. Baier","year":"2006","unstructured":"Baier, C., Sirjani, M., Arbab, F., Rutten, J.: Modeling component connectors in Reo by constraint automata. Science of Computer Programming\u00a061, 75\u2013113 (2006)","journal-title":"Science of Computer Programming"},{"key":"8_CR8","unstructured":"Blechmann, T., Baier, C.: Checking Equivalence for Reo Networks. In: Proceedings of 4th International Workshop on Formal Aspects of Component Software, FACS 2007 (2007)"},{"key":"8_CR9","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/129630.129635","volume":"35","author":"N. Carriero","year":"1992","unstructured":"Carriero, N., Gelernter, D.: Coordination Languages and Their Significance. Communications of the ACM\u00a035, 97\u2013107 (1992)","journal-title":"Communications of the ACM"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Damm, W., Harel, D.: LSCs: Breathing Life into Message Sequence Charts. Formal Methods in System Design\u00a019(0) (2001)","DOI":"10.1023\/A:1011227529550"},{"key":"8_CR11","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1142\/S0129054102000935","volume":"13","author":"D. Harel","year":"2002","unstructured":"Harel, D., Kugler, H.: Synthesizing State-Based Object Systems from LSC Specifications. Foundations of Computer Science\u00a013, 5\u201351 (2002)","journal-title":"Foundations of Computer Science"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Harel, D., Kugler, H., Pnueli, A.: Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements. In: Proc. Formal Methods in Software and Systems Modeling, pp. 309\u2013324 (2005)","DOI":"10.1007\/978-3-540-31847-7_18"},{"key":"8_CR13","unstructured":"ITU-TS. Recommendation Z.120(11\/99) : MSC 2000, Geneva (1999)"},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-540-48480-6_11","volume-title":"The Unified Modeling Language. \u00abUML\u00bb\u201998: Beyond the Notation","author":"I. Khriss","year":"1999","unstructured":"Khriss, I., Elkoutbi, M., Keller, R.K.: Automating the synthesis of uml statechart diagrams from multiple collaboration diagrams. In: B\u00e9zivin, J., Muller, P.-A. (eds.) UML 1998. LNCS, vol.\u00a01618, pp. 132\u2013147. Springer, Heidelberg (1999)"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Kl\u00fcppelholz, S., Baier, C.: Symbolic Model Checking for Channel-based Component Connectors. In: Canal, C., Viroli, M. (eds.) Proceedings of FOCLASA 2006, pp. 19\u201336 (2006)","DOI":"10.1016\/j.entcs.2007.03.003"},{"key":"8_CR16","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-0-387-35570-2_5","volume-title":"Distributed and Parallel Embedded Systems","author":"I. Kr\u00fcger","year":"1999","unstructured":"Kr\u00fcger, I., Grosu, R., Scholz, P., Broy, M.: From mscs to statecharts. In: Distributed and Parallel Embedded Systems, pp. 61\u201372. Kluwer, Dordrecht (1999)"},{"key":"8_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/11495628_14","volume-title":"Scenarios: Models, Transformations and Tools","author":"I.H. Kr\u00fcger","year":"2005","unstructured":"Kr\u00fcger, I.H., Mathew, R.: Component Synthesis from Service Specifications. In: Leue, S., Syst\u00e4, T.J. (eds.) Scenarios: Models, Transformations and Tools. LNCS, vol.\u00a03466, pp. 255\u2013277. Springer, Heidelberg (2005)"},{"key":"8_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1007\/978-3-540-74974-5_34","volume-title":"Service-Oriented Computing \u2013 ICSOC 2007","author":"A. Lazovik","year":"2007","unstructured":"Lazovik, A., Arbab, F.: Using Reo for Service Coordination. In: Kr\u00e4mer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol.\u00a04749, pp. 398\u2013403. Springer, Heidelberg (2007)"},{"issue":"10","key":"8_CR19","first-page":"25","volume":"46","author":"M.P. Papazoglou","year":"2003","unstructured":"Papazoglou, M.P., Georgakopoulos, D.: Service Oriented Computing. Comm.\u00a0ACM\u00a046(10), 25\u201328 (2003)","journal-title":"Comm.\u00a0ACM"},{"key":"8_CR20","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1109\/ICSE.2001.919077","volume-title":"Proceedings of the 23rd International Conference on Software Engineering, ICSE 2001","author":"E. M\u00e4kinen","year":"2001","unstructured":"M\u00e4kinen, E., Syst\u00e4, T.: Mas - an interactive synthesizer to support behavioral modeling in uml. In: Proceedings of the 23rd International Conference on Software Engineering, ICSE 2001, pp. 15\u201324. IEEE Computer Society, Los Alamitos (2001)"},{"key":"8_CR21","series-title":"Lecture Notes in Computer Science","first-page":"346","volume-title":"Selected Areas in Cryptography","author":"S. Meng","year":"2007","unstructured":"Meng, S., Arbab, F.: Web Services Choreography and Orchestration in Reo and Constraint Automata. In: Adams, C., Miri, A., Wiener, M. (eds.) SAC 2007. LNCS, vol.\u00a04876, pp. 346\u2013353. Springer, Heidelberg (2007)"},{"key":"8_CR22","unstructured":"Object Management Group. Unified Modeling Language: Superstructure - version 2.1.1 (2007), http:\/\/www.uml.org\/"},{"key":"8_CR23","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1109\/TSE.2006.55","volume":"32","author":"J. Sun","year":"2006","unstructured":"Sun, J., Dong, J.S.: Design Synthesis from Interaction and State-Based Specifications. IEEE Transactions on Software Engineering\u00a032, 349\u2013364 (2006)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"8_CR24","first-page":"77","volume":"12","author":"M. Tivoli","year":"2006","unstructured":"Tivoli, M., Autili, M.: SYNTHESIS, a Tool for Synthesizing Correct and Protocol-Enhanced Adaptors. RSTI L\u2019object\u00a012, 77\u2013103 (2006)","journal-title":"RSTI L\u2019object"},{"key":"8_CR25","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/ICSE.2007.21","volume-title":"29th International Conference on Software Engineering (ICSE 2007)","author":"S. Uchitel","year":"2007","unstructured":"Uchitel, S., Brunet, G., Chechik, M.: Behaviour model synthesis from properties and scenarios. In: 29th International Conference on Software Engineering (ICSE 2007), pp. 34\u201343. IEEE Computer Society, Los Alamitos (2007)"},{"key":"8_CR26","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1109\/ICSE.2001.919093","volume-title":"Proceedings of International Conference on Software Engineering (ICSE 2001)","author":"S. Uchitel","year":"2001","unstructured":"Uchitel, S., Kramer, J.: A Workbench for Synthesising Behaviour Models from Scenarios. In: Proceedings of International Conference on Software Engineering (ICSE 2001), pp. 188\u2013197. IEEE Computer Society, Los Alamitos (2001)"},{"key":"8_CR27","first-page":"74","volume-title":"Proceedings of the 9th European Software Engineering Conference and 9th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (ESEC\/FSE 2001)","author":"S. Uchitel","year":"2001","unstructured":"Uchitel, S., Kramer, J., Magee, J.: Detecting implied scenarios in message sequence chart specifications. In: Proceedings of the 9th European Software Engineering Conference and 9th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (ESEC\/FSE 2001), pp. 74\u201382. ACM, New York (2001)"},{"issue":"2","key":"8_CR28","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1145\/244795.244801","volume":"19","author":"D.M. Yellin","year":"1997","unstructured":"Yellin, D.M., Strom, R.E.: Protocol specifications and component adaptors. ACM Transactions on Programming Languages and Systems\u00a019(2), 292\u2013333 (1997)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"8_CR29","volume-title":"Proceedings of the 26th International Conference on Software Engineering (ICSE 2004)","author":"T. Ziadi","year":"2004","unstructured":"Ziadi, T., H\u00e9lou\u00ebt, L., J\u00e9z\u00e9quel, J.-M.: Revisiting Statechart Synthesis with an Algebraic Approach. In: Proceedings of the 26th International Conference on Software Engineering (ICSE 2004). IEEE Computer Society, Los Alamitos (2004)"}],"container-title":["Lecture Notes in Computer Science","Component-Based Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87891-9_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,20]],"date-time":"2023-05-20T10:08:43Z","timestamp":1684577323000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87891-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540878902","9783540878919"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87891-9_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}