{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,7]],"date-time":"2026-01-07T09:16:06Z","timestamp":1767777366307},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540749738"},{"type":"electronic","value":"9783540749745"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11948148_28","type":"book-chapter","created":{"date-parts":[[2006,11,27]],"date-time":"2006-11-27T08:22:41Z","timestamp":1164615761000},"page":"339-351","source":"Crossref","is-referenced-by-count":18,"title":["A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments"],"prefix":"10.1007","author":[{"given":"Matteo","family":"Baldoni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cristina","family":"Baroglio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Martelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Viviana","family":"Patti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"28_CR1","volume-title":"Principles and Practice of Declarative Programming, PPDP 2006","author":"M. Alberti","year":"2006","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Montali, M.: An abductive framework for a-priori verification of web services. In: Principles and Practice of Declarative Programming, PPDP 2006. ACM Press, New York (2006)"},{"key":"28_CR2","first-page":"72","volume-title":"ACM SAC 2004","author":"M. Alberti","year":"2004","unstructured":"Alberti, M., Daolio, D., Torroni, P., Gavanelli, M., Lamma, E., Mello, P.: Specification and verification of agent interaction protocols in a logic-based system. In: ACM SAC 2004, pp. 72\u201378. ACM, New York (2004)"},{"key":"28_CR3","volume-title":"Web Services","author":"G. Alonso","year":"2004","unstructured":"Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services. Springer, Heidelberg (2004)"},{"key":"28_CR4","volume-title":"Finite Transition Systems","author":"A. Arnold","year":"1994","unstructured":"Arnold, A.: Finite Transition Systems. Pearson Education, London (1994)"},{"key":"28_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/11750734_15","volume-title":"Computational Logic in Multi-Agent Systems","author":"M. Baldoni","year":"2006","unstructured":"Baldoni, M., Baroglio, C., Martelli, A.: Verification of protocol conformance and agent interoperability. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS (LNAI), vol.\u00a03900, pp. 265\u2013283. Springer, Heidelberg (2006)"},{"key":"28_CR6","doi-asserted-by":"crossref","unstructured":"Baldoni, M., Baroglio, C., Martelli, A., Patti, V.: Reasoning about interaction protocols for customizing web service selection and composition. J. of Logic and Algebraic Programming, special issue on Web Services and Formal Methods (2006) (to appear)","DOI":"10.1016\/j.jlap.2006.05.005"},{"key":"28_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/11533092_12","volume-title":"Computational Logic in Multi-Agent Systems","author":"M. Baldoni","year":"2005","unstructured":"Baldoni, M., Baroglio, C., Martelli, A., Patti, V., Schifanella, C.: Verifying protocol conformance for logic-based communicating agents. In: Leite, J., Torroni, P. (eds.) CLIMA 2004. LNCS, vol.\u00a03487, pp. 192\u2013212. Springer, Heidelberg (2005)"},{"key":"28_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/11549970_19","volume-title":"Formal Techniques for Computer Systems and Business Processes","author":"M. Baldoni","year":"2005","unstructured":"Baldoni, M., Baroglio, C., Martelli, A., Patti, V., Schifanella, C.: Verifying the conformance of web services to global interaction protocols: a first step. In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) EPEW\/WS-EM 2005. LNCS, vol.\u00a03670, pp. 257\u2013271. Springer, Heidelberg (2005)"},{"key":"28_CR9","doi-asserted-by":"crossref","unstructured":"Berardi, D., Giacomo, G.D., Lenzerini, M., Mecella, M., Calvanese, D.: Synthesis of underspecified composite -services based on automated reasoning. In: ICSOC, pp. 105\u2013114 (2004)","DOI":"10.1145\/1035167.1035183"},{"key":"28_CR10","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":"28_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11961536_1","volume-title":"Declarative Agent Languages and Technologies IV","author":"A.K. Chopra","year":"2006","unstructured":"Chopra, A.K., Singh, M.P.: Producing compliant interactions: Conformance, coverage, and interoperability. In: Baldoni, M., Endriss, U. (eds.) DALT 2006. LNCS (LNAI), vol.\u00a04327, pp. 1\u201315. Springer, Heidelberg (2006)"},{"key":"28_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/11841197_11","volume-title":"Web Services and Formal Methods","author":"G. Decker","year":"2006","unstructured":"Decker, G., Zaha, J.M., Dumas, M.: Execution semantics for service choreographies. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 163\u2013177. Springer, Heidelberg (2006)"},{"key":"28_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-540-24608-4_6","volume-title":"Advances in Agent Communication","author":"U. Endriss","year":"2004","unstructured":"Endriss, U., Maudet, N., Sadri, F., Toni, F.: Logic-based agent communication protocols. In: Dignum, F.P.M. (ed.) ACL 2003. LNCS (LNAI), vol.\u00a02922, pp. 91\u2013107. Springer, Heidelberg (2004)"},{"key":"28_CR14","doi-asserted-by":"crossref","unstructured":"Foster, H., Uchitel, S., Magee, J., Kramer, J.: Model-based analysis of obligations in web service choreography. In: Proc. of IEEE International Conference on Internet & Web Applications and Services (2006)","DOI":"10.1109\/AICT-ICIW.2006.131"},{"key":"28_CR15","volume-title":"Encyclopedia of Distributed Computing","author":"R.J. Glabbeek van","year":"2000","unstructured":"van Glabbeek, R.J.: Bisimulation. In: Urban, J.E., Dasgupta, P. (eds.) Encyclopedia of Distributed Computing, Kluwer, Dordrecht (2000) available at, http:\/\/Boole.stanford.edu\/pub\/DVI\/bis.dvi.gzz"},{"key":"28_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/978-3-540-44972-0_4","volume-title":"Communication in Multiagent Systems","author":"F. Guerin","year":"2003","unstructured":"Guerin, F., Pitt, J.: Verification and Compliance Testing. In: Huget, M.-P. (ed.) Communication in Multiagent Systems. LNCS (LNAI), vol.\u00a02650, pp. 98\u2013112. Springer, Heidelberg (2003)"},{"key":"28_CR17","volume-title":"Thinking Java","author":"B. Heckel","year":"2005","unstructured":"Heckel, B.: Thinking Java. Prentice Hall, Englewood Cliffs (2005)"},{"key":"28_CR18","volume-title":"The SPIN Model Checker : Primer and Reference Manual","author":"G.J. Holzmann","year":"2003","unstructured":"Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley Professional, Reading (2003)"},{"key":"28_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/11841197_15","volume-title":"Web Services and Formal Methods","author":"R. Kazhamiakin","year":"2006","unstructured":"Kazhamiakin, R., Pistore, M.: Choreography conformance analysis: Asynchronous communications and information alignment. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 227\u2013241. Springer, Heidelberg (2006)"},{"key":"28_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/11841760_3","volume-title":"Business Process Management","author":"N. Lohmann","year":"2006","unstructured":"Lohmann, N., Massuthe, P., Stahl, C., Weinberg, D.: Analyzing Interacting BPEL Processes. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol.\u00a04102, pp. 17\u201332. Springer, Heidelberg (2006)"},{"key":"28_CR21","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall, Englewood Cliffs (1989)"},{"key":"28_CR22","unstructured":"OMG. Unified modeling language: Superstructure (2005)"},{"issue":"3","key":"28_CR23","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/s00766-005-0001-x","volume":"10","author":"W.M.P. Aalst van der","year":"2005","unstructured":"van der Aalst, W.M.P.: Business alignment: Using process mining as a tool for delta analysis and conformance testing. Requirements Engineering Journal\u00a010(3), 198\u2013211 (2005)","journal-title":"Requirements Engineering Journal"},{"key":"28_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/11841197_18","volume-title":"Web Services and Formal Methods","author":"X. Zhao","year":"2006","unstructured":"Zhao, X., Yang, H., Qui, Z.: Towards the formal model and verification of web service choreography description language. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 273\u2013287. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing \u2013 ICSOC 2007"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11948148_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,22]],"date-time":"2019-04-22T11:15:17Z","timestamp":1555931717000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11948148_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540749738","9783540749745"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/11948148_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}