{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:26:51Z","timestamp":1725532011554},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642013638"},{"type":"electronic","value":"9783642013645"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-01364-5_4","type":"book-chapter","created":{"date-parts":[[2009,4,30]],"date-time":"2009-04-30T12:32:58Z","timestamp":1241094778000},"page":"55-72","source":"Crossref","is-referenced-by-count":15,"title":["Verification of Choreographies During Execution Using the Reactive Event Calculus"],"prefix":"10.1007","author":[{"given":"Federico","family":"Chesani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Mello","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Montali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Torroni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Kavantzas, N., Burdett, D., Ritzinger, G., Fletcher, T., Lafon, Y.: Web services choreography description language. W3C Working Draft 17-12-04 (2004), http:\/\/www.w3.org\/TR\/ws-cdl-10\/"},{"key":"4_CR2","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, V.: 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":"4_CR3","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1109\/TASE.2007.16","volume-title":"First Joint IEEE\/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007","author":"J. Li","year":"2007","unstructured":"Li, J., Zhu, H., Pu, G.: Conformance validation between choreography and orchestration. In: First Joint IEEE\/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, Shanghai, China, pp. 473\u2013482. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Zaha, J., Dumas, M., Hofstede, A., Barros, A., Dekker, G.: Service Interaction Modeling: Bridging Global and Local Views. QUT ePrints 4032, Faculty of Information Technology, Queensland University of Technology (2006)","DOI":"10.1109\/EDOC.2006.50"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/978-3-540-75183-0_22","volume-title":"Business Process Management","author":"G. Decker","year":"2007","unstructured":"Decker, G., Weske, M.: Local enforceability in interaction petri nets. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol.\u00a04714, pp. 305\u2013319. Springer, Heidelberg (2007)"},{"key":"4_CR6","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1145\/4904.4999","volume":"33","author":"E. Allen Emerson","year":"1986","unstructured":"Allen Emerson, E., Halpern, J.: \u201cSometimes\u201d and \u201cNot Never\u201d revisited: On branching times versus linear time. Journal of the ACM\u00a033, 151\u2013178 (1986)","journal-title":"Journal of the ACM"},{"key":"4_CR7","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1006\/inco.1993.1025","volume":"104","author":"R. Alur","year":"1993","unstructured":"Alur, R., Henzinger, T.A.: Real-time logics: complexity and expressiveness. Information and Computation\u00a0104, 35\u201377 (1993)","journal-title":"Information and Computation"},{"issue":"8","key":"4_CR8","doi-asserted-by":"publisher","first-page":"1283","DOI":"10.1109\/JPROC.2004.831197","volume":"92","author":"F. Wang","year":"2004","unstructured":"Wang, F.: Formal verification of timed systems: A survey and perspective. Proceedings of the IEEE\u00a092(8), 1283\u20131305 (2004)","journal-title":"Proceedings of the IEEE"},{"key":"4_CR9","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)"},{"issue":"1","key":"4_CR10","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R.A. Kowalski","year":"1986","unstructured":"Kowalski, R.A., Sergot, M.: A logic-based calculus of events. New Generation Computing\u00a04(1), 67\u201395 (1986)","journal-title":"New Generation Computing"},{"key":"4_CR11","unstructured":"Chesani, F., Montali, M., Mello, P., Torroni, P.: An efficient SCIFF implementation of Reactive Event Calculus. Technical Report LIA-08-003, University of Bologna, Italy. LIA Series No. 89 (May 2008)"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verifiable agent interaction in abductive logic programming: the SCIFF framework. ACM Transactions on Computational Logic\u00a09(4) (to appear, 2008)","DOI":"10.1145\/1380572.1380578"},{"issue":"2-4","key":"4_CR13","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1080\/08839510500479546","volume":"20","author":"M. Alberti","year":"2006","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Compliance verification of agent interaction: a logic-based software tool. Applied Artificial Intelligence\u00a020(2-4), 133\u2013157 (2006)","journal-title":"Applied Artificial Intelligence"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/3-540-48317-9_17","volume-title":"Artificial Intelligence Today","author":"M. Shanahan","year":"1999","unstructured":"Shanahan, M.: The event calculus explained. In: Veloso, M.M., Wooldridge, M.J. (eds.) Artificial Intelligence Today. LNCS, vol.\u00a01600, pp. 409\u2013430. Springer, Heidelberg (1999)"},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/11841197_4","volume-title":"Web Services and Formal Methods","author":"M. Alberti","year":"2006","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Montali, M., Storari, S., Torroni, P.: Computational logic for run-time verification of web services choreographies: Exploiting the socs-si tool. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 58\u201372. Springer, Heidelberg (2006)"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Rouached, M., Fdhila, W., Godart, C.: A semantic framework to engineering wsbpel processes. International Journal on Information Systems and e-business Management (2008)","DOI":"10.1007\/s10257-008-0081-5"},{"key":"4_CR17","unstructured":"Aydin, O., Cicekli, N.K., Cicekli, I.: Automated web services composition with event calculus. In: Proceedings of the 8th International Workshop in Engineering Societies in the Agents World (ESAW 2007) (2007)"},{"key":"4_CR18","first-page":"257","volume-title":"2005 IEEE International Conference on Web Services (ICWS 2005)","author":"K. Mahbub","year":"2005","unstructured":"Mahbub, K., Spanoudakis, G.: Run-time monitoring of requirements for systems composed of web-services: Initial implementation and evaluation experience. In: 2005 IEEE International Conference on Web Services (ICWS 2005), Orlando, FL, USA, pp. 257\u2013265. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"4_CR19","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-540-72912-9_10","volume-title":"Test and Analysis of Web Services","author":"K. Mahbub","year":"2007","unstructured":"Mahbub, K., Spanoudakis, G.: Monitoring ws-agreements: An event calculus-based approach. In: Baresi, L., Nitto, E.D. (eds.) Test and Analysis of Web Services, pp. 265\u2013306. Springer, Heidelberg (2007)"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Yolum, P., Singh, M.: Flexible protocol specification and execution: applying event calculus planning using commitments. In: The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, Bologna, Italy, Proceedings, pp. 527\u2013534 (2002)","DOI":"10.1145\/544862.544867"}],"container-title":["Lecture Notes in Computer Science","Web Services and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01364-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T15:26:10Z","timestamp":1558279570000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01364-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642013638","9783642013645"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01364-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}