{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:43:12Z","timestamp":1762101792774,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662486153"},{"type":"electronic","value":"9783662486160"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-48616-0_1","type":"book-chapter","created":{"date-parts":[[2015,11,24]],"date-time":"2015-11-24T16:18:43Z","timestamp":1448381923000},"page":"3-18","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Combining Practical and Dialectical Commitments for Service Engagements"],"prefix":"10.1007","author":[{"given":"Pankaj R.","family":"Telang","sequence":"first","affiliation":[]},{"given":"Anup K.","family":"Kalia","sequence":"additional","affiliation":[]},{"given":"John F.","family":"Madden","sequence":"additional","affiliation":[]},{"given":"Munindar P.","family":"Singh","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,25]]},"reference":[{"key":"1_CR1","unstructured":"ASPE. The importance of radiology and pathology communication in the diagnosis and staging of cancer: mammography as a case study, November 2010. Office of the Assistant Secretary for Planning and Evaluation, U.S. Department of Health and Human Services. http:\/\/aspe.hhs.gov\/sp\/reports\/2010\/PathRad\/index.shtml"},{"key":"1_CR2","unstructured":"Baldoni, M., Baroglio, C., Chopra, A.K., Singh, M.P.: Composing and verifying commitment-based multiagent protocols. In: Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI), pp. 10\u201317, Buenos Aires, July 2015"},{"key":"1_CR3","unstructured":"BPEL. Web services business process execution language, version 2.0, July 2007. http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/"},{"issue":"2","key":"1_CR4","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"EM Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specification. ACM Trans. Program. Lang. Syst. 8(2), 244\u2013263 (1986)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"2","key":"1_CR5","doi-asserted-by":"publisher","first-page":"6:1","DOI":"10.1145\/1571629.1571632","volume":"19","author":"N Desai","year":"2009","unstructured":"Desai, N., Chopra, A.K., Singh, M.P.: Amoeba: a methodology for modeling and evolving cross-organizational business processes. ACM Trans. Softw. Eng. Methodol. (TOSEM) 19(2), 6:1\u20136:45 (2009)","journal-title":"ACM Trans. Softw. Eng. Methodol. (TOSEM)"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/978-3-642-13541-5_2","volume-title":"Agent and Multi-Agent Systems: Technologies and Applications","author":"M El-Menshawy","year":"2010","unstructured":"El-Menshawy, M., Bentahar, J., Dssouli, R.: Modeling and verifying business interactions via commitments and dialogue actions. In: J\u0119drzejowicz, P., Nguyen, N.T., Howlet, R.J., Jain, L.C. (eds.) KES-AMSTA 2010, Part II. LNCS, vol. 6071, pp. 11\u201321. Springer, Heidelberg (2010)"},{"issue":"3","key":"1_CR7","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/s10458-012-9208-7","volume":"27","author":"M El Menshawy","year":"2013","unstructured":"El Menshawy, M., Bentahar, J., El Kholy, W., Dssouli, R.: Reducing model checking commitments for agent communication to model checking ARCTL and GCTL*. Auton. Agents Multi-Agent Syst. 27(3), 375\u2013418 (2013)","journal-title":"Auton. Agents Multi-Agent Syst."},{"issue":"2","key":"1_CR8","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1016\/j.jbi.2009.11.006","volume":"43","author":"MA Grando","year":"2010","unstructured":"Grando, M.A., Peleg, M., Glasspool, D.: A goal-oriented framework for specifying clinical guidelines and handling medical errors. J. Biomed. Inf. 43(2), 287\u2013299 (2010)","journal-title":"J. Biomed. Inf."},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Hofreiter, B., Huemer, C., Liegl, P., Schuster, R., Zapletal, M.: UN\/CEFACT\u2019s modeling methodology (UMM): a UML profile for B2B e-commerce. In: Proceedings of the 2nd International Workshop on Best Practices of UML (ER), pp. 19\u201331 (2006)","DOI":"10.1007\/11908883_5"},{"key":"1_CR10","unstructured":"Kalia, A.K., Telang, P.R., Singh, M.P.: Protos: a cross-organizational business modeling tool (demonstration). In: Proceedings of the 11th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS), IFAAMAS, pp. 1489\u20131490, Valencia, Spain, June 2012"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Krabbe, E.C.W., Walton, D.: Formal dialectical systems and their uses in the study of argumentation. In: Feteris, E.T., Garssen, B., Francisca Snoeck Henkemans, A. (eds.) Keeping in Touch with Pragma-Dialectics and Computation, vol.163, pp. 245\u2013263. Benjamin (2011)","DOI":"10.1075\/z.163.17kra"},{"key":"1_CR12","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1016\/j.is.2013.05.007","volume":"43","author":"V Liptchinsky","year":"2014","unstructured":"Liptchinsky, V., Khazankin, R., Schulte, S., Satzger, B., Truong, H.-L., Dustdar, S.: On modeling context-aware social collaboration processes. Inf. Syst. 43, 66\u201382 (2014)","journal-title":"Inf. Syst."},{"key":"1_CR13","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/978-0-387-98197-0_13","volume-title":"Argumentation in Artificial Intelligence","author":"P McBurney","year":"2009","unstructured":"McBurney, P., Parsons, S.: Dialogue games for agent argumentation. In: Simari, G., Rahwan, I. (eds.) Argumentation in Artificial Intelligence, pp. 261\u2013280. Springer, USA (2009)"},{"key":"1_CR14","unstructured":"M\u00fcller, H., Schumacher, M., Godel, D., Khaled Omar, A., Mooser, F., Ding, S.: Medicoordination: a practical approach to interoperability in the Swiss health system. In: Proceedings of the Medical Informatics in a United and Healthy Europe (MIE), vol. 150, pp. 210\u2013214. IOS Press (2009)"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-642-37804-1_22","volume-title":"Service-Oriented Computing - ICSOC 2012 Workshops","author":"NC Narendra","year":"2013","unstructured":"Narendra, N.C., L\u00ea, L.-S., Ghose, A., Sivakumar, G.: Towards an architectural framework for service-oriented enterprises. In: Ghose, A., Zhu, H., Yu, Q., Delis, A., Sheng, Q.Z., Perrin, O., Wang, J., Wang, Y. (eds.) ICSOC 2012. LNCS, vol. 7759, pp. 215\u2013227. Springer, Heidelberg (2013)"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Norman, T.J., Carbogim, D.V., Krabbe, E.C.W., Walton, D.N.: Argument and multi-agent systems. In: Reed, C., Norman, T.J. (eds.) Argumentation Machines: New Frontiers in Argument and Computation, Volume 9 of Argumentation Library, Chapter 2, pp. 15\u201354. Kluwer (2004)","DOI":"10.1007\/978-94-017-0431-1_2"},{"key":"1_CR17","unstructured":"NuSMV. A new symbolic model checker (2012). http:\/\/nusmv.fbk.eu"},{"key":"1_CR18","unstructured":"Object Management Group, Framingham, Massachusetts. UML 2.0 Superstructure Specification, October 2004"},{"key":"1_CR19","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-642-29231-6_7","volume-title":"Workshops on Business Informatics Research","author":"E Paja","year":"2012","unstructured":"Paja, E., Giorgini, P., Paul, S., Meland, P.H.: Security requirements engineering for secure business processes. In: Niedrite, L., Strazdina, R., Wangler, B. (eds.) BIR Workshops 2011. LNBIP, vol. 106, pp. 77\u201389. Springer, Heidelberg (2012)"},{"issue":"2","key":"1_CR20","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1109\/MS.2009.48","volume":"26","author":"WN Robinson","year":"2009","unstructured":"Robinson, W.N., Purao, S.: Specifying and monitoring interactions and commitments in open business processes. IEEE Softw. 26(2), 72\u201379 (2009)","journal-title":"IEEE Softw."},{"key":"1_CR21","unstructured":"Singh, M.P.: Semantical considerations on dialectical and practical commitments. In: Proceedings of the 23rd Conference on Artificial Intelligence (AAAI), pp. 176\u2013181. AAAI Press, Chicago, July 2008"},{"issue":"1","key":"1_CR22","first-page":"21:1","volume":"5","author":"MP Singh","year":"2013","unstructured":"Singh, M.P.: Norms as a basis for governing sociotechnical systems. ACM Trans. Intel. Syst. Technol. (TIST) 5(1), 21:1\u201321:23 (2013)","journal-title":"ACM Trans. Intel. Syst. Technol. (TIST)"},{"key":"1_CR23","unstructured":"Singh, M.P.: Cybersecurity as an application domain for multiagent systems. In: Proceedings of the 14th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS), IFAAMAS, pp. 1207\u20131212. Blue Sky Ideas Track, Istanbul, May 2015"},{"key":"1_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/MIC.2013.86","volume":"18","author":"PR Telang","year":"2014","unstructured":"Telang, P.R., Kalia, A.K., Singh, M.P.: Engineering service engagements via commitments. IEEE Internet Comput. 18, 1\u20138 (2014)","journal-title":"IEEE Internet Comput."},{"issue":"3","key":"1_CR25","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1109\/TSC.2011.4","volume":"5","author":"PR Telang","year":"2012","unstructured":"Telang, P.R., Singh, M.P.: Specifying and verifying cross-organizational business models: an agent-oriented approach. IEEE Trans. Serv. Comput. 5(3), 305\u2013318 (2012). Appendix pp. 1\u20135","journal-title":"IEEE Trans. Serv. Comput."},{"issue":"1","key":"1_CR26","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/844331.844334","volume":"3","author":"M Verdicchio","year":"2002","unstructured":"Verdicchio, M., Colombetti, M.: Commitments for agent-based supply chain management. SIGecom Exchan. 3(1), 13\u201323 (2002)","journal-title":"SIGecom Exchan."},{"key":"1_CR27","doi-asserted-by":"crossref","unstructured":"Winikoff, M.: Designing commitment-based agent interactions. In: Proceedings of the IEEE\/WIC\/ACM International Conference on Intelligent Agent Technology, pp. 363\u2013370 (2006)","DOI":"10.1109\/IAT.2006.53"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-48616-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,26]],"date-time":"2020-11-26T01:04:27Z","timestamp":1606352667000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-48616-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662486153","9783662486160"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-48616-0_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"25 November 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}