{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:32:10Z","timestamp":1725568330304},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642165603"},{"type":"electronic","value":"9783642165610"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-16561-0_16","type":"book-chapter","created":{"date-parts":[[2010,11,2]],"date-time":"2010-11-02T09:50:50Z","timestamp":1288691450000},"page":"112-126","source":"Crossref","is-referenced-by-count":0,"title":["A Case Study in Model-Based Adaptation of Web Services"],"prefix":"10.1007","author":[{"given":"Javier","family":"C\u00e1mara","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 Antonio","family":"Mart\u00edn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gwen","family":"Sala\u00fcn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlos","family":"Canal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ernesto","family":"Pimentel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Pi4SOA Project, \n                    \n                      http:\/\/www.pi4soa.org"},{"key":"16_CR2","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/j.jss.2003.05.007","volume":"74","author":"A. Brogi","year":"2005","unstructured":"Brogi, A., Bracciali, A., Canal, C.: A formal approach to component adaptation. The Journal of Systems and Software\u00a074, 45\u201354 (2005)","journal-title":"The Journal of Systems and Software"},{"key":"16_CR3","first-page":"784","volume-title":"Proc. of ICSE 2007","author":"M. Autili","year":"2007","unstructured":"Autili, M., Inverardi, P., Navarra, A., Tivoli, M.: SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-based Systems. In: Proc. of ICSE 2007, pp. 784\u2013787. IEEE Computer Society, Los Alamitos (2007)"},{"key":"16_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/11948148_3","volume-title":"Service-Oriented Computing \u2013 ICSOC 2006","author":"A. Brogi","year":"2006","unstructured":"Brogi, A., Popescu, R.: Automated generation of BPEL adapters. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol.\u00a04294, pp. 27\u201339. Springer, Heidelberg (2006)"},{"key":"16_CR5","first-page":"627","volume-title":"Proc. of ICSE 2009","author":"J. C\u00e1mara","year":"2009","unstructured":"C\u00e1mara, J., Mart\u00edn, J.A., Sala\u00fcn, G., Cubo, J., Ouederni, M., Canal, C., Pimentel, E.: ITACA: An Integrated Toolbox for the Automatic Composition and Adaptation of Web Services. In: Proc. of ICSE 2009, pp. 627\u2013630. IEEE Computer Society, Los Alamitos (2009)"},{"issue":"34","key":"16_CR6","doi-asserted-by":"publisher","first-page":"546","DOI":"10.1109\/TSE.2008.31","volume":"4","author":"C. Canal","year":"2008","unstructured":"Canal, C., Poizat, P., Sala\u00fcn, G.: Model-based adaptation of behavioural mismatching components. IEEE Transactions on Software Engineering\u00a04(34), 546\u2013563 (2008)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"16_CR7","series-title":"ENTCS","first-page":"39","volume-title":"Proc. of FACS 2007","author":"J. Cubo","year":"2007","unstructured":"Cubo, J., Sala\u00fcn, G., Canal, C., Pimentel, E., Poizat, P.: A Model-Based Approach to the Verification and Adaptation of WF\/.NET Components. In: Proc. of FACS 2007. ENTCS, vol.\u00a0215, pp. 39\u201355. Elsevier, Amsterdam (2007)"},{"key":"16_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/11841760_6","volume-title":"Business Process Management","author":"M. Dumas","year":"2006","unstructured":"Dumas, M., Spork, M., Wang, K.: Adapt or Perish: Algebra and Visual Notation for Service Interface Adaptation. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol.\u00a04102, pp. 65\u201380. Springer, Heidelberg (2006)"},{"key":"16_CR9","first-page":"771","volume-title":"Proc. of ICSE 2006","author":"H. Foster","year":"2006","unstructured":"Foster, H., Uchitel, S., Kramer, J.: LTSA-WS: A Tool for Model-based Verification of Web Service Compositions and Choreography. In: Proc. of ICSE 2006, pp. 771\u2013774. ACM Press, New York (2006)"},{"key":"16_CR10","first-page":"621","volume-title":"Proc. of WWW 2004","author":"X. Fu","year":"2004","unstructured":"Fu, X., Bultan, T., Su, J.: Analysis of Interacting BPEL Web Services. In: Proc. of WWW 2004, pp. 621\u2013630. ACM Press, New York (2004)"},{"key":"16_CR11","unstructured":"ISO\/IEC: LOTOS \u2014 A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. International Standard 8807, ISO (1989)"},{"key":"16_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/978-3-540-89652-4_10","volume-title":"Service-Oriented Computing \u2013 ICSOC 2008","author":"R. Mateescu","year":"2008","unstructured":"Mateescu, R., Poizat, P., Sala\u00fcn, G.: Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol.\u00a05364, pp. 84\u201399. Springer, Heidelberg (2008)"},{"key":"16_CR13","first-page":"993","volume-title":"Proc. of WWW 2007","author":"H.R.M. Nezhad","year":"2007","unstructured":"Nezhad, H.R.M., Benatallah, B., Martens, A., Curbera, F., Casati, F.: Semi-automated adaptation of service interactions. In: Proc. of WWW 2007, pp. 993\u20131002. ACM, New York (2007)"},{"key":"16_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/978-3-540-72952-5_9","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"P. Poizat","year":"2007","unstructured":"Poizat, P., Sala\u00fcn, G.: Adaptation of Open Component-based Systems. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol.\u00a04468, pp. 141\u2013156. Springer, Heidelberg (2007)"},{"key":"16_CR15","first-page":"313","volume-title":"Proc. of SEFM 2008","author":"G. Sala\u00fcn","year":"2008","unstructured":"Sala\u00fcn, G.: Generation of Service Wrapper Protocols from Choreography Specifications. In: Proc. of SEFM 2008, pp. 313\u2013322. IEEE Computer Society, Los Alamitos (2008)"},{"issue":"2","key":"16_CR16","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1504\/IJBPIM.2006.010025","volume":"1","author":"G. Sala\u00fcn","year":"2006","unstructured":"Sala\u00fcn, G., Bordeaux, L., Schaerf, M.: Describing and Reasoning on Web Services using Process Algebra. International Journal of Business Process Integration and Management\u00a01(2), 116\u2013128 (2006)","journal-title":"International Journal of Business Process Integration and Management"},{"issue":"19","key":"16_CR17","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1145\/244795.244801","volume":"2","author":"D.M. Yellin","year":"1997","unstructured":"Yellin, D.M., Strom, R.E.: Protocol specifications and component adaptors. ACM Transactions on Programming Languages and Systems\u00a02(19), 292\u2013333 (1997)","journal-title":"ACM Transactions on Programming Languages and Systems"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification, and Validation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16561-0_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,21]],"date-time":"2019-03-21T21:25:27Z","timestamp":1553203527000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16561-0_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642165603","9783642165610"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16561-0_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}