{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T03:06:45Z","timestamp":1725505605214},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540787426"},{"type":"electronic","value":"9783540787433"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78743-3_12","type":"book-chapter","created":{"date-parts":[[2008,4,1]],"date-time":"2008-04-01T19:53:27Z","timestamp":1207079607000},"page":"146-162","source":"Crossref","is-referenced-by-count":12,"title":["Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services"],"prefix":"10.1007","author":[{"given":"Tarek","family":"Melliti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascal","family":"Poizat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sonia","family":"Ben Mokhtar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11966104_3","volume-title":"Software Architecture","author":"M. Autili","year":"2006","unstructured":"Autili, M., Flammini, M., Inverardi, P., Navarra, A., Tivoli, M.: Synthesis of Concurrent and Distributed Adaptors for Component-Based Systems. In: Gruhn, V., Oquendo, F. (eds.) EWSA 2006. LNCS, vol.\u00a04344, Springer, Heidelberg (2006)"},{"key":"12_CR2","doi-asserted-by":"crossref","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 (2007)","DOI":"10.1109\/ICSE.2007.84"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Ben Mokhtar, S., Georgantas, N., Issarny, V.: COCOA: COnversation-based Service Composition in PervAsive Computing Environments with QoS Support. Journal of Systems and Software\u00a080(12) (2007)","DOI":"10.1016\/j.jss.2007.03.002"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/11596141","volume-title":"Advanced Information Systems Engineering","author":"B. Benatallah","year":"2005","unstructured":"Benatallah, B., Casati, F., Grigori, D., Motahari Nezhad, H.R., Toumani, F.: Developing Adapters for Web Services Integration. In: Pastor, \u00d3., Falc\u00e3o e Cunha, J. (eds.) CAiSE 2005. LNCS, vol.\u00a03520, Springer, Heidelberg (2005)"},{"issue":"1","key":"12_CR5","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/MIC.2003.1167338","volume":"7","author":"B. Benatallah","year":"2003","unstructured":"Benatallah, B., Sheng, Q.Z., Dumas, M.: The Self-Serv Environment for Web Services Composition. IEEE Internet Computing\u00a07(1), 40\u201348 (2003)","journal-title":"IEEE Internet Computing"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Bracciali, A., Brogi, A., Canal, C.: A Formal Approach to Component Adaptation. Journal of Systems and Software\u00a074(1) (2005)","DOI":"10.1016\/j.jss.2003.05.007"},{"key":"12_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"Service-Oriented Computing \u2013 ICSOC 2006","author":"A. Brogi","year":"2006","unstructured":"Brogi, A., Corfini, S., Aldana, J.F., Navas, I.: Automated Discovery of Compositions of Services Described with Separate Ontologies. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol.\u00a04294, Springer, Heidelberg (2006)"},{"key":"12_CR8","series-title":"Lecture Notes in Computer Science","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, Springer, Heidelberg (2006)"},{"issue":"1","key":"12_CR9","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1504\/IJBPIM.2007.014100","volume":"2","author":"A. Brogi","year":"2007","unstructured":"Brogi, A., Popescu, R.: Service Adaptation through Trace Inspection. Int. J. Business Process Integration and Management\u00a02(1), 9\u201316 (2007)","journal-title":"Int. J. Business Process Integration and Management"},{"key":"12_CR10","first-page":"423","volume-title":"Proc. of FASE 2008","author":"J. C\u00e1mara","year":"2008","unstructured":"C\u00e1mara, J., Sala\u00fcn, G., Canal, C.: Clint: A Composition Language Interpreter. In: Proc. of FASE 2008, vol.\u00a04961, pp. 423\u2013427. Springer, Heidelberg (2008)"},{"issue":"1","key":"12_CR11","first-page":"9","volume":"12","author":"C. Canal","year":"2006","unstructured":"Canal, C., Murillo, J.M., Poizat, P.: Software Adaptation. L\u2019Objet, Special Issue on Software Adaptation\u00a012(1), 9\u201331 (2006)","journal-title":"L\u2019Objet, Special Issue on Software Adaptation"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Chafle, G., Chandra, S., Mann, V., Gowri Nanda, M.: Orchestrating Composite Web Services Under Data Flow Constraints. In: Proc. of ICWS 2005 (2005)","DOI":"10.1109\/ICWS.2005.88"},{"key":"12_CR13","doi-asserted-by":"crossref","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 (2007)","DOI":"10.1016\/j.entcs.2008.06.020"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface Automata. In: Proc. of ESEC\/FSE 2001 (2001)","DOI":"10.1145\/503209.503226"},{"key":"12_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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, Springer, Heidelberg (2006)"},{"issue":"1","key":"12_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1504\/IJWGS.2005.007545","volume":"1","author":"S. Dustdar","year":"2005","unstructured":"Dustdar, S., Schreiner, W.: A Survey on Web services Composition. Int. J. Web and Grid Services\u00a01(1), 1\u201330 (2005)","journal-title":"Int. J. Web and Grid Services"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Gowri Nanda, M., Chandra, S., Sarkar, V.: Decentralizing Execution of Composite Web Services. In: Proc. of OOPSLA 2004 (2004)","DOI":"10.1145\/1028976.1028991"},{"key":"12_CR18","unstructured":"Haddad, S., Melliti, T., Moreaux, P., Rampacek, S.: Modelling Web Services Interoperability. In: Proc. of ICEIS 2004 (2004)"},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Mateescu, R., Poizat, P., Sala\u00fcn, G.: Behavioral Adaptation of Component Compositions based on Process Algebra Encodings. In: Proc. of ASE 2007 (2007)","DOI":"10.1145\/1321631.1321690"},{"key":"12_CR20","unstructured":"Melliti, T., Poizat, P., Ben Mokhtar, S.: Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services (long version) (available from P.\u00a0Poizat Web pages)"},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"Motahari Nezhad, H.R., Benatallah, B., Martens, A., Curbera, F., Casati, F.: Semi-Automated Adaptation of Service Interactions. In: Proc. of WWW 2007 (2007)","DOI":"10.1145\/1242572.1242706"},{"issue":"10","key":"12_CR22","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/944217.944233","volume":"46","author":"M.P. Papazoglou","year":"2003","unstructured":"Papazoglou, M.P., Georgakopoulos, D.: Service-Oriented Computing. Communications of the ACM\u00a046(10), 25\u201328 (2003)","journal-title":"Communications of the ACM"},{"key":"12_CR23","unstructured":"Poizat, P., Royer, J.-C., Sala\u00fcn, G.: Formal Methods for Component Description, Coordination and Adaptation. In: Proc. of WCAT 2004 (2004)"},{"key":"12_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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, Springer, Heidelberg (2007)"},{"key":"12_CR25","series-title":"Lecture Notes in Computer Science","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"M. Tivoli","year":"2006","unstructured":"Tivoli, M., Fradet, P., Girault, A., Goessler, G.: Adaptor Synthesis for Real-Time Components. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol.\u00a03920, Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78743-3_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,17]],"date-time":"2023-05-17T07:32:42Z","timestamp":1684308762000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78743-3_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540787426","9783540787433"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78743-3_12","relation":{},"subject":[]}}