{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T09:19:59Z","timestamp":1743153599895,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":46,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642237973"},{"type":"electronic","value":"9783642237980"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-23798-0_41","type":"book-chapter","created":{"date-parts":[[2011,9,8]],"date-time":"2011-09-08T08:34:46Z","timestamp":1315470886000},"page":"388-404","source":"Crossref","is-referenced-by-count":12,"title":["DAMASCo: A Framework for the Automatic Composition of Component-Based and Service-Oriented Architectures"],"prefix":"10.1007","author":[{"given":"Javier","family":"Cubo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ernesto","family":"Pimentel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"41_CR1","unstructured":"Andrews, T., et al.: Business Process Execution Language for Web Services (WSBPEL). BEA Systems, IBM, Microsoft, SAP AG, and Siebel Systems (2005)"},{"key":"41_CR2","series-title":"International Series in Computer Science","volume-title":"Finite Transition Systems","author":"A. Arnold","year":"1994","unstructured":"Arnold, A.: Finite Transition Systems. International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1994)"},{"key":"41_CR3","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/MITP.2007.53","volume":"9","author":"A. Arsanjani","year":"2007","unstructured":"Arsanjani, A., Zhang, L.-J., Ellis, M., Allam, A., Channabasavaiah, K.: S3: A Service-Oriented Reference Architecture. IEEE IT Professional\u00a09, 10\u201317 (2007)","journal-title":"IEEE IT Professional"},{"key":"41_CR4","first-page":"230","volume-title":"Proc. of ICWS 2009","author":"L. Baresi","year":"2009","unstructured":"Baresi, L., Guinea, S., Pistore, M., Trainotti, M.: Dynamo + Astro: An Integrated Approach for BPEL Monitoring. In: Proc. of ICWS 2009, pp. 230\u2013237. IEEE Computer Society, Los Alamitos (2009)"},{"key":"41_CR5","first-page":"371","volume-title":"Proc. of FMOODS 2000","author":"R. Bastide","year":"2000","unstructured":"Bastide, R., Sy, O., Navarre, D., Palanque, P.A.: A Formal Specification of the CORBA Event Service. In: Proc. of FMOODS 2000, pp. 371\u2013396. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"41_CR6","first-page":"684","volume-title":"Proc. of SCC 2007","author":"S. Basu","year":"2007","unstructured":"Basu, S., Casati, F., Daniel, F.: Web Service Dependency Discovery Tool for SOA Management. In: Proc. of SCC 2007, pp. 684\u2013685. IEEE Computer Society, Los Alamitos (2007)"},{"key":"41_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/11786160_11","volume-title":"Architecting Systems with Trustworthy Components","author":"S. Becker","year":"2006","unstructured":"Becker, S., Brogi, A., Gorton, I., Overhage, S., Romanovsky, A., Tivoli, M.: Towards an Engineering Approach to Component Adaptation. In: Reussner, R., Stafford, J.A., Ren, X.-M. (eds.) Architecting Systems with Trustworthy Components. LNCS, vol.\u00a03938, pp. 193\u2013215. Springer, Heidelberg (2006)"},{"key":"41_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/978-3-540-39718-2_16","volume-title":"The Semantic Web - ISWC 2003","author":"B. Benatallah","year":"2003","unstructured":"Benatallah, B., Hacid, M.S., Rey, C., Toumani, F.: Request Rewriting-Based Web Service Discovery. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol.\u00a02870, pp. 242\u2013257. Springer, Heidelberg (2003)"},{"key":"41_CR9","doi-asserted-by":"crossref","unstructured":"Brogi, A., Corfini, S., Popescu, R.: Semantics-Based Composition-Oriented Discovery of Web Services. ACM Transactions on Internet Technology\u00a08(4), 19:1\u201319:39 (2008)","DOI":"10.1145\/1391949.1391953"},{"key":"41_CR10","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)"},{"issue":"8","key":"41_CR11","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"R. Bryant","year":"1986","unstructured":"Bryant, R.: Graph-Based Algorithms for Boolean Function Manipulation. IEEE Transactions on Computers\u00a035(8), 677\u2013691 (1986)","journal-title":"IEEE Transactions on Computers"},{"key":"41_CR12","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":"4","key":"41_CR13","doi-asserted-by":"publisher","first-page":"546","DOI":"10.1109\/TSE.2008.31","volume":"34","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\u00a034(4), 546\u2013563 (2008)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"41_CR14","volume-title":"Enterprise Service Bus","author":"D.A. Chappel","year":"2004","unstructured":"Chappel, D.A.: Enterprise Service Bus. O\u2019Reilly, Sebastopol (2004)"},{"key":"41_CR15","first-page":"554","volume-title":"Proc. of ICIW 2010","author":"J. Cubo","year":"2010","unstructured":"Cubo, J., Canal, C., Pimentel, E.: Context-Aware Service Discovery and Adaptation Based on Semantic Matchmaking. In: Proc. of ICIW 2010, pp. 554\u2013561. IEEE Computer Society, Los Alamitos (2010)"},{"issue":"15","key":"41_CR16","first-page":"777","volume":"17","author":"J. Cubo","year":"2011","unstructured":"Cubo, J., Canal, C., Pimentel, E.: Context-Aware Composition and Adaptation Based on Model Transformation. Journal of Universal Computer Science\u00a017(15), 777\u2013806 (2011)","journal-title":"Journal of Universal Computer Science"},{"key":"41_CR17","first-page":"51","volume":"35","author":"J. Cubo","year":"2011","unstructured":"Cubo, J., Canal, C., Pimentel, E.: Model-Based Dependable Composition of Self-Adaptive Systems. Informatica\u00a035, 51\u201362 (2011)","journal-title":"Informatica"},{"key":"41_CR18","doi-asserted-by":"crossref","unstructured":"Cubo, J., Pimentel, E., Sala\u00fcn, G., Canal, C.: Handling Data-Based Concurrency in Context-Aware Service Protocols. In: Proc. of FOCLASA 2010. Electronic Proceeding in Theoretical Computer Science, vol.\u00a030, pp. 62\u201377 (2010)","DOI":"10.4204\/EPTCS.30.5"},{"key":"41_CR19","first-page":"184","volume-title":"Proc. of SCC 2009","author":"J. Cubo","year":"2009","unstructured":"Cubo, J., Sama, M., Raimondi, F., Rosenblum, D.: A Model to Design and Verify Context-Aware Adaptive Service Composition. In: Proc. of SCC 2009, pp. 184\u2013191. IEEE Computer Society, Los Alamitos (2009)"},{"key":"41_CR20","doi-asserted-by":"crossref","unstructured":"Dey, A.K., Abowd, G.D.: Towards a Better Understanding of Context and Context-Awareness. In: Proc. of Workshop on the What, Who, Where, When and How of Context-Awareness, pp. 304\u2013307 (2000)","DOI":"10.1007\/3-540-48157-5_29"},{"key":"41_CR21","volume-title":"Service-Oriented Architecture (SOA): Concepts, Technology, and Design","author":"T. Erl","year":"2005","unstructured":"Erl, T.: Service-Oriented Architecture (SOA): Concepts, Technology, and Design. Prentice-Hall, Englewood Cliffs (2005)"},{"key":"41_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/978-3-642-15114-9_8","volume-title":"Software Architecture","author":"J.L. Fiadeiro","year":"2010","unstructured":"Fiadeiro, J.L., Lopes, A.: A Model for Dynamic Reconfiguration in Service-Oriented Architectures. In: Babar, M.A., Gorton, I. (eds.) ECSA 2010. LNCS, vol.\u00a06285, pp. 70\u201385. Springer, Heidelberg (2010)"},{"key":"41_CR23","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":"41_CR24","first-page":"1","volume-title":"Proc. of WEH 2008","author":"A. Gorbenko","year":"2008","unstructured":"Gorbenko, A., Romanovsky, A., Kharchenko, V.S., Mikhaylichenko, A.: Experimenting with Exception Propagation Mechanisms in Service-Oriented Architecture. In: Proc. of WEH 2008, pp. 1\u20137. ACM Press, New York (2008)"},{"key":"41_CR25","first-page":"391","volume-title":"Proc. of SEFM 2007","author":"N. Hameurlain","year":"2007","unstructured":"Hameurlain, N.: Flexible Behavioural Compatibility and Substitutability for Component Protocols: A Formal Specification. In: Proc. of SEFM 2007, pp. 391\u2013400. IEEE Computer Society, Los Alamitos (2007)"},{"issue":"4","key":"41_CR26","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1016\/j.jnca.2007.11.008","volume":"31","author":"W. Han","year":"2008","unstructured":"Han, W., Shi, X., Chen, R.: Process-Context Aware Matchmaking for Web Service Composition. Journal of Network and Computer App.\u00a031(4), 559\u2013576 (2008)","journal-title":"Journal of Network and Computer App."},{"issue":"2","key":"41_CR27","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1016\/0304-3975(94)00172-F","volume":"138","author":"M. Hennessy","year":"1995","unstructured":"Hennessy, M., Lin, H.: Symbolic Bisimulations. Theor. Comput. Sci.\u00a0138(2), 353\u2013389 (1995)","journal-title":"Theor. Comput. Sci."},{"issue":"3","key":"41_CR28","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/S0164-1212(02)00037-7","volume":"65","author":"P. Inverardi","year":"2003","unstructured":"Inverardi, P., Tivoli, M.: Deadlock-free Software Architectures for COM \/ DCOM Applications. The Journal of Systems and Software\u00a065(3), 173\u2013183 (2003)","journal-title":"The Journal of Systems and Software"},{"key":"41_CR29","first-page":"915","volume-title":"Proc. of AAMAS 2006","author":"M. Klusch","year":"2006","unstructured":"Klusch, M., Fries, B., Sycara, K.: Automated Semantic Web Service Discovery with OWLS-MX. In: Proc. of AAMAS 2006, pp. 915\u2013922. ACM Press, New York (2006)"},{"key":"41_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1007\/978-3-642-16132-2_47","volume-title":"Service-Oriented Computing. ICSOC\/ServiceWave 2009 Workshops","author":"H.J. La","year":"2010","unstructured":"La, H.J., Kim, S.D.: Adapter Patterns for Resolving Mismatches in Service Discovery. In: Dan, A., Gittler, F., Toumani, F. (eds.) ICSOC\/ServiceWave 2009. LNCS, vol.\u00a06275, pp. 498\u2013508. Springer, Heidelberg (2010)"},{"key":"41_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/978-3-540-88030-1_21","volume-title":"Software Architecture","author":"M. L\u00f3pez-Sanz","year":"2008","unstructured":"L\u00f3pez-Sanz, M., Qayyum, Z., Cuesta, C.E., Marcos, E., Oquendo, F.: Representing Service-Oriented Architectural Models Using \u03c0-ADL. In: Morrison, R., Balasubramaniam, D., Falkner, K. (eds.) ECSA 2008. LNCS, vol.\u00a05292, pp. 273\u2013280. Springer, Heidelberg (2008)"},{"key":"41_CR32","first-page":"35","volume-title":"Proc. of WICSA 1999","author":"J. Magee","year":"1999","unstructured":"Magee, J., Kramer, J., Giannakopoulou, D.: Behaviour Analysis of Software Architectures. In: Proc. of WICSA 1999, pp. 35\u201349. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"41_CR33","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":"41_CR34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-76440-3","volume-title":"Software Evolution","author":"T. Mens","year":"2008","unstructured":"Mens, T., Demeyer, S.: Software Evolution. Springer, Heidelberg (2008)"},{"key":"41_CR35","doi-asserted-by":"crossref","unstructured":"Mrissa, M., Ghedira, C., Benslimane, D., Maamar, Z., Rosenberg, F., Dustdar, S.: A Context-Based Mediation Approach to Compose Semantic Web Services. ACM Transactions on Internet Technology\u00a08(1), 4:1\u20134:23 (2007)","DOI":"10.1145\/1294148.1294152"},{"key":"41_CR36","volume-title":"Proc. of WWW 2007","author":"H.R. Motahari Nezhad","year":"2007","unstructured":"Motahari Nezhad, H.R., Benatallah, B., Martens, A., Curbera, F., Casati, F.: Semi-Automated Adaptation of Service Interactions. In: Proc. of WWW 2007, ACM Press, New York (2007)"},{"key":"41_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1007\/978-3-642-15114-9_29","volume-title":"Software Architecture","author":"L.B.R. Oliveira de","year":"2010","unstructured":"de Oliveira, L.B.R., Romero Felizardo, K., Feitosa, D., Nakagawa, E.Y.: Reference Models and Reference Architectures Based on Service-Oriented Architecture: A Systematic Review. In: Babar, M.A., Gorton, I. (eds.) ECSA 2010. LNCS, vol.\u00a06285, pp. 360\u2013367. Springer, Heidelberg (2010)"},{"key":"41_CR38","unstructured":"Scribner, K.: Microsoft Windows Workflow Foundation: Step by Step. Microsoft Press (2007)"},{"issue":"1","key":"41_CR39","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/TSC.2009.1","volume":"2","author":"Q.Z. Sheng","year":"2009","unstructured":"Sheng, Q.Z., Benatallah, B., Maamar, Z., Dumas, M., Ngu, A.H.H.: Configurable Composition and Adaptive Provisioning of Web Services. IEEE Transactions on Services Computing\u00a02(1), 34\u201349 (2009)","journal-title":"IEEE Transactions on Services Computing"},{"key":"41_CR40","first-page":"233","volume-title":"Proc. of ICWS 2007","author":"G. Spanoudakis","year":"2007","unstructured":"Spanoudakis, G., Mahbub, K., Zisman, A.: A Platform for Context Aware Runtime Web Service Discovery. In: Proc. of ICWS 2007, pp. 233\u2013240. IEEE Computer Society, Los Alamitos (2007)"},{"key":"41_CR41","volume-title":"Component Software: Beyond Object-Oriented Programming","author":"C. Szyperski","year":"2003","unstructured":"Szyperski, C.: Component Software: Beyond Object-Oriented Programming, 2nd edn. Addison Wesley, Reading (2003)","edition":"2"},{"key":"41_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1007\/3-540-45177-3_4","volume-title":"ADS 2003","author":"F. Tartanoglu","year":"2003","unstructured":"Tartanoglu, F., Issarny, V., Romanovsky, A., Levy, N.: Dependability in the Web Services Architecture. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) ADS 2003. LNCS, vol.\u00a02677, pp. 90\u2013109. Springer, Heidelberg (2003)"},{"key":"41_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1007\/978-3-642-15114-9_45","volume-title":"Software Architecture","author":"C. Tibermacine","year":"2010","unstructured":"Tibermacine, C., Kerdoudi, M.L.: From Web Components to Web Services: Opening Development for Third Parties. In: Babar, M.A., Gorton, I. (eds.) ECSA 2010. LNCS, vol.\u00a06285, pp. 480\u2013484. Springer, Heidelberg (2010)"},{"key":"41_CR44","first-page":"49","volume-title":"Proc. of ASWEC 2006","author":"L. Wang","year":"2006","unstructured":"Wang, L., Krishnan, P.: A Framework for Checking Behavioral Compatibility for Component Selection. In: Proc. of ASWEC 2006, pp. 49\u201360. IEEE Computer Society, Los Alamitos (2006)"},{"issue":"9","key":"41_CR45","doi-asserted-by":"publisher","first-page":"36","DOI":"10.4304\/jsw.3.9.36-43","volume":"3","author":"S. Yan","year":"2008","unstructured":"Yan, S., Wang, J., Liu, C., Liu, L.: An Approach to Discover Dependencies between Service Operations. Journal of Software\u00a03(9), 36\u201343 (2008)","journal-title":"Journal of Software"},{"key":"41_CR46","first-page":"200","volume-title":"Proc. of ECOWS 2009","author":"M. Zapletal","year":"2009","unstructured":"Zapletal, M., van der Aalst, W.M.P., Russell, N., Liegl, P., Werthner, H.: An Analysis of Windows Workflow\u2019s Control-Flow Expressiveness. In: Proc. of ECOWS 2009, pp. 200\u2013209. IEEE Computer Society, Los Alamitos (2009)"}],"container-title":["Lecture Notes in Computer Science","Software Architecture"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23798-0_41","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,3]],"date-time":"2021-12-03T22:00:06Z","timestamp":1638568806000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23798-0_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642237973","9783642237980"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23798-0_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}