{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:56:39Z","timestamp":1742388999931},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540747819"},{"type":"electronic","value":"9783540747826"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74782-6_14","type":"book-chapter","created":{"date-parts":[[2007,8,25]],"date-time":"2007-08-25T14:51:49Z","timestamp":1188053509000},"page":"145-156","source":"Crossref","is-referenced-by-count":4,"title":["Verifying Agent Conformance with Protocols Specified in a Temporal Action Logic"],"prefix":"10.1007","author":[{"given":"Laura","family":"Giordano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Martelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11841197_1","volume-title":"Web Services and Formal Methods","author":"W.M.P. Aalst van der","year":"2006","unstructured":"van der Aalst, W.M.P., Pesic, M.: DecSerFlow: Towards a Truly Declarative Service Flow Language. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 1\u201323. Springer, Heidelberg (2006)"},{"key":"14_CR2","volume-title":"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 agents. In: PPDP 2006. Principles and Practice of Declarative Programming, ACM Press, New York (2006)"},{"key":"14_CR3","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., Patti.: Verification of protocol conformance and agent interoperability. In: Toni, F., Torroni, P. (eds.) Computational Logic in Multi-Agent Systems. LNCS (LNAI), vol.\u00a03900, pp. 265\u2013283. Springer, Heidelberg (2006)"},{"key":"14_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/11948148_28","volume-title":"Service-Oriented Computing \u2013 ICSOC 2006","author":"M. Baldoni","year":"2006","unstructured":"Baldoni, M., Baroglio, C., Martelli, A., Patti.: A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol.\u00a04294, pp. 339\u2013351. Springer, Heidelberg (2006)"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Bordeaux, L., Sala\u00fcn, G., Berardi, D., Mecella, M.: When are two web-agents compatible. In: VLDB-TES 2004","DOI":"10.1007\/978-3-540-31811-8_2"},{"key":"14_CR6","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)"},{"issue":"1-2","key":"14_CR7","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/j.tcs.2004.07.004","volume":"328","author":"X. Fu","year":"2004","unstructured":"Fu, X., Bultan, T., Su, J.: Conversation protocols: a formalism for specification and verification of reactive electronic services. Theor. Comput. Sci.\u00a0328(1-2), 19\u201337 (2004)","journal-title":"Theor. Comput. Sci."},{"issue":"3","key":"14_CR8","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/s10472-006-9020-7","volume":"46","author":"L. Giordano","year":"2006","unstructured":"Giordano, L., Martelli, A.: Tableau-based Automata Construction for Dynamic Linear Time Temporal Logic. Annals of Mathematics and Artificial Intelligence\u00a046(3), 289\u2013315 (2006)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"14_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/978-3-540-30227-8_8","volume-title":"Logics in Artificial Intelligence","author":"L. Giordano","year":"2004","unstructured":"Giordano, L., Martelli, A., Schwind, C.: Verifying Communicating Agents by Model Checking in a Temporal Action Logic. In: Alferes, J.J., Leite, J.A. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 57\u201369. Springer, Heidelberg (2004)"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Giordano, L., Martelli, A., Schwind, C.: Specifying and Verifying Interaction Protocols in a Temporal Action Logic. Journal of Applied Logic (Special issue on Logic Based Agent Verification) (2006) (Accepted for publication)","DOI":"10.1016\/j.jal.2005.12.011"},{"issue":"1-3","key":"14_CR11","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0168-0072(98)00039-6","volume":"96","author":"J.G. Henriksen","year":"1999","unstructured":"Henriksen, J.G., Thiagarajan, P.S.: Dynamic Linear Time Temporal Logic. Annals of Pure and Applied logic\u00a096(1-3), 187\u2013207 (1999)","journal-title":"Annals of Pure and Applied logic"},{"key":"14_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/11829263_13","volume-title":"Reasoning, Action and Interaction in AI Theories and Systems","author":"A. Martelli","year":"2006","unstructured":"Martelli, A., Giordano, L.: Reasoning About Web Services in a Temporal Action Logic. In: Stock, O., Schaerf, M. (eds.) Reasoning, Action and Interaction in AI Theories and Systems. LNCS (LNAI), vol.\u00a04155, pp. 229\u2013246. Springer, Heidelberg (2006)"},{"key":"14_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/3-540-45657-0_13","volume-title":"Computer Aided Verification","author":"S.K. Rajamani","year":"2002","unstructured":"Rajamani, S.K., Rehof, J.: Conformance checking for models of asynchronous message passing software. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 166\u2013179. Springer, Heidelberg (2002)"},{"key":"14_CR14","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in Action","author":"R. Reiter","year":"2001","unstructured":"Reiter, R.: Knowledge in Action. The MIT Press, Cambridge (2001)"},{"key":"14_CR15","series-title":"Lecture Notes in Artificial Intelligence","first-page":"527","volume-title":"Trust, Reputation, and Security: Theories and Practice","author":"P. Yolum","year":"2003","unstructured":"Yolum, P., Singh, M.P.: Flexible Protocol Specification and Execution: Applying Event Calculus Planning using Commitments. In: Falcone, R., Barber, S., Korba, L., Singh, M.P. (eds.) AAMAS 2002. LNCS (LNAI), vol.\u00a02631, pp. 527\u2013534. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","AI*IA 2007: Artificial Intelligence and Human-Oriented Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74782-6_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:38:29Z","timestamp":1619519909000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74782-6_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540747819","9783540747826"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74782-6_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}