{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T05:52:57Z","timestamp":1747806777677},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540232025"},{"type":"electronic","value":"9783540302094"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"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":[[2004]]},"DOI":"10.1007\/978-3-540-30209-4_15","type":"book-chapter","created":{"date-parts":[[2011,1,14]],"date-time":"2011-01-14T05:29:23Z","timestamp":1294982963000},"page":"198-212","source":"Crossref","is-referenced-by-count":14,"title":["Negotiation Among Web Services Using LOTOS\/CADP"],"prefix":"10.1007","author":[{"given":"Gwen","family":"Sala\u00fcn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Ferrara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonella","family":"Chirichiello","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: Specification: Business Process Execution Language for Web Services Version 1.1 (2003)"},{"key":"15_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-540-24593-3_4","volume-title":"Service-Oriented Computing - ICSOC 2003","author":"D. Berardi","year":"2003","unstructured":"Berardi, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Mecella, M.: Automatic Composition of E-services That Export Their Behavior. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.P., Yang, J. (eds.) ICSOC 2003. LNCS, vol.\u00a02910, pp. 43\u201358. Springer, Heidelberg (2003)"},{"volume-title":"Handbook of Process Algebra","year":"2001","key":"15_CR3","unstructured":"Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.): Handbook of Process Algebra. Elsevier, Amsterdam (2001)"},{"key":"15_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-540-45184-6_12","volume-title":"Communications and Multimedia Security. Advanced Techniques for Network and Data Protection","author":"E. Bertino","year":"2003","unstructured":"Bertino, E., Ferrari, E., Squicciarini, A.C.: Trust-chi: An XML Framework for Trust Negotiations. In: Lioy, A., Mazzocchi, D. (eds.) CMS 2003. LNCS, vol.\u00a02828, pp. 146\u2013157. Springer, Heidelberg (2003)"},{"key":"15_CR5","unstructured":"Chiu, D.K.W., Cheung, S.-C., Hung, P.C.K.: Developing e-Negotiation Process Support by Web Service. In: Proc. of ICWS 2003 (2003)"},{"issue":"1","key":"15_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(03)00115-2","volume":"152","author":"S.S. Fatima","year":"2004","unstructured":"Fatima, S.S., Wooldridge, M., Jennings, N.R.: An Agenda-based Framework for Multi-issue Negotiation. Artificial Intelligence\u00a0152(1), 1\u201345 (2004)","journal-title":"Artificial Intelligence"},{"key":"15_CR7","first-page":"152","volume-title":"Proc. of ASE","author":"H. Foster","year":"2003","unstructured":"Foster, H., Uchitel, S., Magee, J., Kramer, J.: Model-based Verification of Web Service Compositions. In: Proc. of ASE, Canada, pp. 152\u2013163. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Fu, X., Bultan, T., Su, J.: Analysis of Interacting BPEL Web Services. In: Proc. of WWW 2004 (2004)","DOI":"10.1145\/988672.988756"},{"key":"15_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/978-3-540-27815-3_16","volume-title":"Algebraic Methodology and Software Technology","author":"H. Garavel","year":"2004","unstructured":"Garavel, H., Serwe, W.: State Space Reduction for Process Algebra Specifications. In: Rattray, C., Maharaj, S., Shankland, C. (eds.) AMAST 2004. LNCS, vol.\u00a03116, pp. 164\u2013180. Springer, Heidelberg (2004)"},{"key":"15_CR10","unstructured":"Hamadi, R., Benatallah, B.: A Petri Net-based Model for Web Service Composition. In: Proc. of ADC 2003 (2003)"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Hull, R., Benedikt, M., Christophides, V., Su, J.: E-Services: a Look Behind the Curtain. In: Proc. of PODS 2003 (2003)","DOI":"10.1145\/773153.773154"},{"key":"15_CR12","unstructured":"ISO. LOTOS: a Formal Description Technique based on the Temporal Ordering of Observational Behaviour. Technical Report 8807, International Standards Organisation (1989)"},{"key":"15_CR13","unstructured":"Kim, J.B., Segev, A., Cho, M.G., Patankar, A.K.: Web Services and BPEL4WS for Dynamic eBusiness Negotiation Processes. In: Proc. of ICWS 2003 (2003)"},{"key":"15_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/978-3-540-24593-3_23","volume-title":"Service-Oriented Computing - ICSOC 2003","author":"A. Lazovik","year":"2003","unstructured":"Lazovik, A., Aiello, M., Papazoglou, M.P.: Planning and monitoring the execution of web service requests. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.P., Yang, J. (eds.) ICSOC 2003. LNCS, vol.\u00a02910, pp. 335\u2013350. Springer, Heidelberg (2003)"},{"key":"15_CR15","unstructured":"Leymann, F.: Managing Business Processes via Workflow Technology. Tutorial at VLDB 2001, Italy (2001)"},{"issue":"1","key":"15_CR16","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1023\/A:1022232410606","volume":"12","author":"A.R. Lomuscio","year":"2003","unstructured":"Lomuscio, A.R., Wooldridge, M., Jennings, N.R.: A Classification Scheme for Negotiation in Electronic Commerce. International Journal of Group Decision and Negotiation\u00a012(1), 31\u201356 (2003)","journal-title":"International Journal of Group Decision and Negotiation"},{"key":"15_CR17","unstructured":"Nakajima, S.: Model-checking Verification for Reliable Web Service. In: Proc. of OOWS 2002, satellite event of OOPSLA 2002 (2002)"},{"issue":"5","key":"15_CR18","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1016\/S1389-1286(03)00228-7","volume":"42","author":"S. Narayanan","year":"2003","unstructured":"Narayanan, S., McIlraith, S.: Analysis and Simulation of Web Services. Computer Networks\u00a042(5), 675\u2013693 (2003)","journal-title":"Computer Networks"},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"Sala\u00fcn, G., Bordeaux, L., Schaerf, M.: Describing and Reasoning on Web Services using Process Algebra. In: Proc. of ICWS (2004)","DOI":"10.1109\/ICWS.2004.1314722"},{"key":"15_CR20","doi-asserted-by":"crossref","unstructured":"Sala\u00fcn, G., Ferrara, A., Chirichiello, A.: Negotiation among Web Services using LOTOS\/CADP. Technical Report 13.04, DIS - Universit\u00e0 di Roma \u201dLa Sapienza\u201d (2004), Available on the G. Sala\u00fcn\u2019s webpage","DOI":"10.1007\/978-3-540-30209-4_15"},{"key":"15_CR21","doi-asserted-by":"crossref","unstructured":"Skogsrud, H., Benetallah, B., Casati, F.: Trust-Serv: Model-Driven Lifecycle Management of Trust Negotiation Policies for Web Services. In: Proc. of WWW 2004(2004)","DOI":"10.1016\/B978-012088469-8.50139-X"},{"key":"15_CR22","unstructured":"Wooldridge, M., Parsons, S.: Languages for Negotiation. In: Proc. of ECAI 2000 (2000)"},{"key":"15_CR23","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1613\/jair.72","volume":"5","author":"G. Zlotkin","year":"1996","unstructured":"Zlotkin, G., Rosenschein, J.S.: Mechanisms for Automated Negotiation in State Oriented Domains. Journal of Artificial Intelligence Research\u00a05, 163\u2013238 (1996)","journal-title":"Journal of Artificial Intelligence Research"}],"container-title":["Lecture Notes in Computer Science","Web Services"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30209-4_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T23:36:37Z","timestamp":1558308997000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30209-4_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540232025","9783540302094"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30209-4_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}