{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:35:23Z","timestamp":1725543323675},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540346944"},{"type":"electronic","value":"9783540346951"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11767954_12","type":"book-chapter","created":{"date-parts":[[2006,6,10]],"date-time":"2006-06-10T15:48:13Z","timestamp":1149954493000},"page":"179-193","source":"Crossref","is-referenced-by-count":6,"title":["A Logical View of Choreography"],"prefix":"10.1007","author":[{"given":"Carlo","family":"Montangero","sequence":"first","affiliation":[]},{"given":"Laura","family":"Semini","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/11552222_10","volume-title":"Principles and Practice of Semantic Web Reasoning","author":"J.J. Alferes","year":"2005","unstructured":"Alferes, J.J., Amador, R., May, W.: A general language for evolution and reactivity in the semantic web. In: Fages, F., Soliman, S. (eds.) PPSWR 2005. LNCS, vol.\u00a03703, pp. 101\u2013115. Springer, Heidelberg (2005)"},{"key":"12_CR2","series-title":"Graduate texts in computer science","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-1674-2","volume-title":"Refinement Calculus. A Systematic Introduction","author":"R.J.R. Back","year":"1998","unstructured":"Back, R.J.R., von Wright, J.: Refinement Calculus. A Systematic Introduction. Graduate texts in computer science. Springer, Heidelberg (1998)"},{"key":"12_CR3","series-title":"ENTSC","volume-title":"First International Workshop on Web Services and Formal Methods (WSFM 2004)","author":"A. Brogi","year":"2004","unstructured":"Brogi, A., Canal, C., Pimentel, E., Vallecillo, A.: Formalizing Web Service Choreographies. In: First International Workshop on Web Services and Formal Methods (WSFM 2004). ENTSC, vol.\u00a0105. Elsevier, Amsterdam (2004)"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Towards a formal framework for Choreography. In: International Workshop on Distributed and Mobile Collaboration (DMC 2005). IEEE Computer Society Press, Los Alamitos","DOI":"10.1109\/WETICE.2005.57"},{"key":"12_CR5","volume-title":"Parallel Program Design: A Foundation","author":"K.M. Chandy","year":"1988","unstructured":"Chandy, K.M., Misra, J.: Parallel Program Design: A Foundation. Addison-Wesley, Reading (1988)"},{"key":"12_CR6","first-page":"270","volume-title":"KR 1998: Principles of Knowledge Representation and Reasoning","author":"T. Costello","year":"1998","unstructured":"Costello, T., Patterson, A.: Quantifiers and operations on modalities and contexts. In: Cohn, A.G., Schubert, L., Shapiro, S.C. (eds.) KR 1998: Principles of Knowledge Representation and Reasoning, pp. 270\u2013281. Morgan Kaufmann, San Francisco (1998)"},{"issue":"2","key":"12_CR7","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1023\/A:1014530313153","volume":"9","author":"G. Ferrari","year":"2002","unstructured":"Ferrari, G., Montangero, C., Semini, L., Semprini, S.: Mark, a reasoning kit for mobility. Automated Software Engineering\u00a09(2), 137\u2013150 (2002)","journal-title":"Automated Software Engineering"},{"key":"12_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1007\/3-540-48919-3_10","volume-title":"Coordination Languages and Models","author":"C. Montangero","year":"1999","unstructured":"Montangero, C., Semini, L.: Composing Specifications for Coordination. In: Ciancarini, P., Wolf, A.L. (eds.) COORDINATION 1999. LNCS, vol.\u00a01594, pp. 118\u2013133. Springer, Heidelberg (1999)"},{"key":"12_CR9","volume-title":"9 th International Symposium on Temporal Representation and Reasoning (TIME 2002)","author":"C. Montangero","year":"2002","unstructured":"Montangero, C., Semini, L.: Distributed states logic. In: 9 th International Symposium on Temporal Representation and Reasoning (TIME 2002), Manchester, UK. IEEE CS Press, Los Alamitos (2002)"},{"key":"12_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/978-3-540-24634-3_19","volume-title":"Coordination Models and Languages","author":"C. Montangero","year":"2004","unstructured":"Montangero, C., Semini, L., Semprini, S.: Logic Based Coordination for Event\u2013Driven Self\u2013Healing Distributed Systems. In: De Nicola, R., Ferrari, G.L., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol.\u00a02949, pp. 248\u2013262. Springer, Heidelberg (2004)"},{"key":"12_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/11596141_18","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"N. Busi","year":"2005","unstructured":"Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and Orchestration: A Synergic Approach for System Design. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol.\u00a03826, pp. 228\u2013240. Springer, Heidelberg (2005)"},{"key":"12_CR12","unstructured":"OASIS. Web Services Business Process Execution Language Version 2.0, www.oasis-open.org\/committees\/download.php\/16024\/wsbpel-specification-draft-Dec-22-2005.htm"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Papamarkos, G., Poulovassilis, A., Wood, P.T.: Event\u2013Condition\u2013Action Rules on RDF Metadata in P2P Environments. In: 2nd Workshop on Metadata Management in Grid and P2P Systems (MMGPS): Models, Services and Architectures (December 2004), in Elsevier Computer Networks Journal (October 2006) (published)","DOI":"10.1016\/j.comnet.2005.10.022"},{"issue":"10","key":"12_CR14","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1109\/MC.2003.1236471","volume":"36","author":"C. Peltz","year":"2003","unstructured":"Peltz, C.: Web services orchestration and choreography. IEEE Computer\u00a036(10), 46\u201352 (2003)","journal-title":"IEEE Computer"},{"key":"12_CR15","unstructured":"W3C. Web Services Choreography Description Language Version 1.0, www.w3.org\/TR\/ws-cdl-10\/"},{"key":"12_CR16","unstructured":"W3C. Web Services Description Language (WSDL) 1.1, www.w3.org\/TR\/wsdl"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11767954_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:11:53Z","timestamp":1619507513000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11767954_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540346944","9783540346951"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11767954_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}