{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:16:12Z","timestamp":1725891372338},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642384929"},{"type":"electronic","value":"9783642384936"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38493-6_15","type":"book-chapter","created":{"date-parts":[[2013,5,10]],"date-time":"2013-05-10T00:45:06Z","timestamp":1368146706000},"page":"211-225","source":"Crossref","is-referenced-by-count":5,"title":["Interactive Interaction Constraints"],"prefix":"10.1007","author":[{"given":"Jos\u00e9","family":"Proen\u00e7a","sequence":"first","affiliation":[]},{"given":"Dave","family":"Clarke","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-68265-3_1","volume-title":"Coordination Models and Languages","author":"J. Abreu","year":"2008","unstructured":"Abreu, J., Fiadeiro, J.L.: A coordination model for service-oriented interactions. In: Lea, D., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol.\u00a05052, pp. 1\u201316. Springer, Heidelberg (2008)"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Apt, K.: Principles of Constraint Programming. Cambridge University Press (2003)","DOI":"10.1017\/CBO9780511615320"},{"issue":"3","key":"15_CR3","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":"15_CR4","unstructured":"Arbab, F., Koehler, C., Maraikar, Z., Moon, Y.-J., Proen\u00e7a, J.: Modeling, testing and executing Reo connectors with the Eclipse Coordination Tools. In: Proceedings of FACS (2008)"},{"issue":"2","key":"15_CR5","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.J.M.M.: Modeling component connectors in Reo by constraint automata. Science of Computer Programming\u00a061(2), 75\u2013113 (2006)","journal-title":"Science of Computer Programming"},{"issue":"2-3","key":"15_CR6","first-page":"59","volume":"7","author":"D.L. Berre","year":"2010","unstructured":"Berre, D.L., Parrain, A.: The Sat4j library, release 2.2. JSAT\u00a07(2-3), 59\u201364 (2010)","journal-title":"JSAT"},{"key":"15_CR7","unstructured":"Changizi, B., Kokash, N., Arbab: A constraint-based method to compute semantics of channel-based coordination models. In: ICSEA: Proceedings of the International Conference on Software Engineering Advances (2012)"},{"key":"15_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/978-3-540-92188-2_10","volume-title":"Formal Methods for Components and Objects","author":"D. Clarke","year":"2008","unstructured":"Clarke, D.: Coordination: Reo, nets, and logic. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2007. LNCS, vol.\u00a05382, pp. 226\u2013256. Springer, Heidelberg (2008)"},{"issue":"3","key":"15_CR9","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/j.scico.2007.01.009","volume":"66","author":"D. Clarke","year":"2007","unstructured":"Clarke, D., Costa, D., Arbab, F.: Connector colouring I: Synchronisation and context dependency. Science of Computer Programming\u00a066(3), 205\u2013225 (2007)","journal-title":"Science of Computer Programming"},{"key":"15_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-3-642-30829-1_5","volume-title":"Coordination Models and Languages","author":"D. Clarke","year":"2012","unstructured":"Clarke, D., Proen\u00e7a, J.: Partial connector colouring. In: Sirjani, M. (ed.) COORDINATION 2012. LNCS, vol.\u00a07274, pp. 59\u201373. Springer, Heidelberg (2012)"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Clarke, D., Proen\u00e7a, J., Lazovik, A., Arbab, F.: Channel-based coordination via constraint satisfaction. Science of Computer Programming\u00a076 (2011)","DOI":"10.1016\/j.scico.2010.05.004"},{"issue":"8","key":"15_CR12","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"E.W. Dijkstra","year":"1975","unstructured":"Dijkstra, E.W.: Guarded commands, nondeterminacy and formal derivation of programs. Commun. ACM\u00a018(8), 453\u2013457 (1975)","journal-title":"Commun. ACM"},{"issue":"1-2","key":"15_CR13","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/j.artint.2004.10.005","volume":"161","author":"B. Faltings","year":"2005","unstructured":"Faltings, B., Macho-Gonzalez, S.: Open constraint programming. Artificial Intelligence\u00a0161(1-2), 181\u2013208 (2005)","journal-title":"Artificial Intelligence"},{"key":"15_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-33427-6_1","volume-title":"Service-Oriented and Cloud Computing","author":"S.-S.T.Q. Jongmans","year":"2012","unstructured":"Jongmans, S.-S.T.Q., Santini, F., Sargolzaei, M., Arbab, F., Afsarmanesh, H.: Automatic code generation for the orchestration of web services with reo. In: De Paoli, F., Pimentel, E., Zavattaro, G. (eds.) ESOCC 2012. LNCS, vol.\u00a07592, pp. 1\u201316. Springer, Heidelberg (2012)"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Kokash, N., Arbab, F.: Applying Reo to service coordination in long-running business transactions. In: Shin, S.Y., Ossowski, S. (eds.) SAC, pp. 1381\u20131382. ACM (2009)","DOI":"10.1145\/1529282.1529590"},{"key":"15_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"400","DOI":"10.1007\/978-3-642-22438-6_30","volume-title":"Automated Deduction \u2013 CADE-23","author":"A.S. K\u00f6ksal","year":"2011","unstructured":"K\u00f6ksal, A.S., Kuncak, V., Suter, P.: Scala to the power of Z3: Integrating smt and programming. In: Bj\u00f8rner, N., Sofronie-Stokkermans, V. (eds.) CADE 2011. LNCS, vol.\u00a06803, pp. 400\u2013406. Springer, Heidelberg (2011)"},{"issue":"1","key":"15_CR17","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1145\/2103621.2103675","volume":"47","author":"A.S. K\u00f6ksal","year":"2012","unstructured":"K\u00f6ksal, A.S., Kuncak, V., Suter, P.: Constraints as control. SIGPLAN Not.\u00a047(1), 151\u2013164 (2012)","journal-title":"SIGPLAN Not."},{"key":"15_CR18","unstructured":"Laburthe, F., Jussien, N.: CHOCO solver documentation (August 2012), \n                  \n                    http:\/\/sourceforge.net\/projects\/choco\/files\/choco\/2.1.5\/choco-2.1.5\/choco-doc-2.1.5.pdf"},{"issue":"3","key":"15_CR19","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1145\/352591.352592","volume":"9","author":"N.H. Minsky","year":"2000","unstructured":"Minsky, N.H., Ungureanu, V.: Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems. ACM Transactions on Software Engineering and Methodology\u00a09(3), 273\u2013305 (2000)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"15_CR20","first-page":"1","volume":"4","author":"U. Montanari","year":"1998","unstructured":"Montanari, U., Rossi, F.: Modeling process coordination via tiles, graphs, and constraints. 3rd Biennial World Conference on Integrated Design and Process Technology\u00a04, 1\u20138 (1998)","journal-title":"3rd Biennial World Conference on Integrated Design and Process Technology"},{"key":"15_CR21","doi-asserted-by":"crossref","unstructured":"Proen\u00e7a, J., Clarke, D.: Solving data-sensitive coordination constraints. CW Reports CW637, Department of Computer Science, KU Leuven (February 2013)","DOI":"10.1007\/978-3-642-38493-6_15"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38493-6_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T00:06:26Z","timestamp":1557705986000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38493-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642384929","9783642384936"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38493-6_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}