{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:36:34Z","timestamp":1725568594453},"publisher-location":"Berlin, Heidelberg","reference-count":54,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642165986"},{"type":"electronic","value":"9783642165993"}],"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-16599-3_17","type":"book-chapter","created":{"date-parts":[[2010,11,2]],"date-time":"2010-11-02T09:57:23Z","timestamp":1288691843000},"page":"250-288","source":"Crossref","is-referenced-by-count":6,"title":["Monitoring and Recovery of Web Service Applications"],"prefix":"10.1007","author":[{"given":"Jocelyn","family":"Simmonds","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shoham","family":"Ben-David","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marsha","family":"Chechik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Ng, J.W., Chignell, M., Cordy, J.R.: The Smart Internet: Transforming the Web for the User. In: CASCON 2009: Proceedings of the 2009 Conference of the Center for Advanced Studies on Collaborative Research, New York, NY, USA, pp. 285\u2013296 (2009)","DOI":"10.1145\/1723028.1723062"},{"key":"17_CR2","unstructured":"OASIS: WS-BPEL Version 2.0, http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/OS\/wsbpel-v2.0-OS.html (Accessed January 2009)"},{"key":"17_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/3-540-45089-0_18","volume-title":"Implementation and Application of Automata","author":"X. Fu","year":"2003","unstructured":"Fu, X., Bultan, T., Su, J.: Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services. In: Ibarra, O.H., Dang, Z. (eds.) CIAA 2003. LNCS, vol.\u00a02759, pp. 188\u2013200. Springer, Heidelberg (2003)"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"Fu, X., Bultan, T., Su, J.: Analysis of Interacting BPEL Web Services. In: Proceedings of the 13th international conference on World Wide Web (WWW 2004), pp. 621\u2013630 (May 2004)","DOI":"10.1145\/988672.988756"},{"key":"17_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1007\/11549970_23","volume-title":"Formal Techniques for Computer Systems and Business Processes","author":"R. Kazhamiakin","year":"2005","unstructured":"Kazhamiakin, R., Pistore, M.: A Parametric Communication Model for the Verification of BPEL4WS Compositions. In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) EPEW\/WS-EM 2005. LNCS, vol.\u00a03670, pp. 318\u2013332. Springer, Heidelberg (2005)"},{"key":"17_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/11549970_19","volume-title":"Formal Techniques for Computer Systems and Business Processes","author":"M. Baldoni","year":"2005","unstructured":"Baldoni, M., Baroglio, C., Martelli, A., Patti, V., Schifanella, C.: Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step. In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) EPEW\/WS-EM 2005. LNCS, vol.\u00a03670, pp. 257\u2013271. Springer, Heidelberg (2005)"},{"key":"17_CR7","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1109\/ASE.2003.1240303","volume-title":"Proceedings of 18th IEEE International Conference on Automated Software Engineering (ASE 2003)","author":"H. Foster","year":"2003","unstructured":"Foster, H., Uchitel, S., Magee, J., Kramer, J.: Model-based Verification of Web Service Compositions. In: Proceedings of 18th IEEE International Conference on Automated Software Engineering (ASE 2003), pp. 152\u2013163. IEEE Computer Society, Los Alamitos (2003)"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Ghafari, N., Gurfinkel, A., Klarlund, N., Trefler, R.: Algorithmic Analysis of Piecewise FIFO Systems. In: Proceedings of 7th International Conference on Formal Methods in Computer-Aided Design (FMCAD 2007), pp. 45\u201352 (November 2007)","DOI":"10.1109\/FAMCAD.2007.18"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Dwyer, M., Avrunin, G., Corbett, J.: Patterns in Property Specifications for Finite-State Verification. In: Proceedings of 21st International Conference on Software Engineering (ICSE 1999), pp. 411\u2013420 (May 1999)","DOI":"10.1145\/302405.302672"},{"issue":"2","key":"17_CR10","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.datak.2004.07.003","volume":"53","author":"W.M.P. Aalst van der","year":"2005","unstructured":"van der Aalst, W.M.P., Weske, M.: Case Handling: a New Paradigm for Business Process Support. Data Knowledge Engineering\u00a053(2), 129\u2013162 (2005)","journal-title":"Data Knowledge Engineering"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"Autili, M., Inverardi, P., Pelliccione, P.: A Scenario Based Notation for Specifying Temporal Properties. In: Proceedings of the 2006 ICSE International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM 2006), pp. 21\u201328 (2006)","DOI":"10.1145\/1138953.1138959"},{"key":"17_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/11912873_18","volume-title":"Web Information Systems \u2013 WISE 2006","author":"J. Yu","year":"2006","unstructured":"Yu, J., Manh, T.P., Han, J., Jin, Y., Han, Y., Wang, J.: Pattern Based Property Specification and Verification for Service Composition. In: Aberer, K., Peng, Z., Rundensteiner, E.A., Zhang, Y., Li, X. (eds.) WISE 2006. LNCS, vol.\u00a04255, pp. 156\u2013168. Springer, Heidelberg (2006)"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Property Specification Patterns for Finite-state Verification. In: Proceedings of 2nd Workshop on Formal Methods in Software Practice (FMSP 1998) (March 1998)","DOI":"10.1145\/298595.298598"},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The Temporal Logic of Programs. In: Proceedings of 18th Annual Symposium on the Foundations of Computer Science (FOCS 1977), pp. 46\u201357 (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"17_CR15","volume-title":"Model Checking","author":"E. Clarke","year":"1999","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)"},{"issue":"3","key":"17_CR16","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1109\/32.48935","volume":"16","author":"K.M. Olender","year":"1990","unstructured":"Olender, K.M., Osterweil, L.J.: Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation. IEEE Transactions on Software Engineering\u00a016(3), 268\u2013280 (1990)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"17_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/11538394_15","volume-title":"Business Process Management","author":"S. Hinz","year":"2005","unstructured":"Hinz, S., Schmidt, K., Stahl, C.: Transforming BPEL to Petri Nets. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol.\u00a03649, pp. 220\u2013235. Springer, Heidelberg (2005)"},{"issue":"2-3","key":"17_CR18","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/j.scico.2007.03.002","volume":"67","author":"C. Ouyang","year":"2007","unstructured":"Ouyang, C., Verbeek, E., van der Aalst, W.M.P., Breutel, S., Dumas, M., ter Hofstede, A.H.M.: Formal Semantics and Analysis of Control Flow in WS-BPEL. Science of Computer Programming\u00a067(2-3), 162\u2013198 (2007)","journal-title":"Science of Computer Programming"},{"key":"17_CR19","unstructured":"Foster, H.: A Rigorous Approach to Engineering Web Service Compositions. PhD thesis, Imperial College (2006)"},{"key":"17_CR20","volume-title":"Introduction to Automata Theory, Languages and Computation","author":"J.E. Hopcroft","year":"1979","unstructured":"Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages and Computation. Addison-Wesley, Reading (1979)"},{"key":"17_CR21","doi-asserted-by":"crossref","unstructured":"Simmonds, J., Gan, Y., Chechik, M., Nejati, S., O\u2019Farrell, B., Litani, E., Waterhouse, J.: Runtime Monitoring of Web Service Conversations. IEEE Transactions on Service Computing (2009)","DOI":"10.1007\/978-3-540-89247-2_9"},{"key":"17_CR22","doi-asserted-by":"crossref","unstructured":"Simmonds, J., Ben-David, S., Chechik, M.: Optimizing Computation of Recovery Plans for BPEL Applications. In: Proceedings of the 2010 Workshop on Testing, Analysis and Verification of Web Software, TAV-WEB 2010 (to appear, 2010)","DOI":"10.4204\/EPTCS.35.1"},{"key":"17_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/10720246_1","volume-title":"Recent Advances in AI Planning","author":"F. Giunchiglia","year":"2000","unstructured":"Giunchiglia, F., Traverso, P.: Planning as Model Checking. In: Biundo, S., Fox, M. (eds.) ECP 1999. LNCS, vol.\u00a01809, pp. 1\u201320. Springer, Heidelberg (2000)"},{"key":"17_CR24","unstructured":"Kautz, H.A., Selman, B.: Unifying SAT-based and Graph-based Planning. In: Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI 1999), pp. 318\u2013325 (1999)"},{"key":"17_CR25","doi-asserted-by":"crossref","unstructured":"Simmonds, J., Ben-David, S., Chechik, M.: Guided Recovery for Web Service Applications. In: Proceedings of Eighteenth International Symposium on the Foundations of Software Engineering, FSE 2010 (to appear, 2010)","DOI":"10.1145\/1882291.1882328"},{"issue":"1-2","key":"17_CR26","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/s100090050012","volume":"1","author":"M. Bozga","year":"1997","unstructured":"Bozga, M., Fernandez, J.C., Kerbrat, A., Mounier, L.: Protocol Verification with the ALD\u00c9BARAN Toolset. International Journal on Software Tools for Technology Transfer\u00a01(1-2), 166\u2013184 (1997)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"17_CR27","doi-asserted-by":"crossref","unstructured":"Foster, H., Uchitel, S., Magee, J., Kramer, J.: LTSA-WS: a Tool for Model-Based Verification of Web Service Compositions and Choreography. In: Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), pp. 771\u2013774 (May 2006)","DOI":"10.1145\/1134285.1134408"},{"key":"17_CR28","volume-title":"Concurrency - State Models and Java Programs","author":"J. Magee","year":"1999","unstructured":"Magee, J., Kramer, J.: Concurrency - State Models and Java Programs. John Wiley, Chichester (1999)"},{"issue":"3\/4","key":"17_CR29","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R. Fikes","year":"1971","unstructured":"Fikes, R., Nilsson, N.J.: STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. Journal of Artificial Intelligence\u00a02(3\/4), 189\u2013208 (1971)","journal-title":"Journal of Artificial Intelligence"},{"key":"17_CR30","doi-asserted-by":"crossref","unstructured":"Gan, Y.: Runtime Monitoring of Web Service Conversations. Master\u2019s thesis, University of Toronto, Department of Computer Science (March 2007)","DOI":"10.1145\/1321211.1321217"},{"issue":"6","key":"17_CR31","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1007\/s10009-008-0088-8","volume":"10","author":"A. Carzaniga","year":"2008","unstructured":"Carzaniga, A., Gorla, A., Pezze, M.: Healing Web Applications through Automatic Workarounds. International Journal on Software Tools for Technology Transfer\u00a010(6), 493\u2013502 (2008)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"17_CR32","unstructured":"Simmonds, J.: Dynamic Analysis of Web Services. PhD thesis, Department of Computer Science, University of Toronto (2010) (in preparation)"},{"key":"17_CR33","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/WIAPP.2001.941868","volume-title":"Proceedings of the Second IEEE Workshop on Internet Applications (WIAPP 2001)","author":"A. Sahai","year":"2001","unstructured":"Sahai, A., Machiraju, V., Wursterl, K.: Monitoring and Controlling Internet Based E-Services. In: Proceedings of the Second IEEE Workshop on Internet Applications (WIAPP 2001), Washington, DC, USA, p. 41. IEEE Computer Society, Los Alamitos (2001)"},{"issue":"1","key":"17_CR34","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1023\/A:1022445108617","volume":"11","author":"A. Keller","year":"2003","unstructured":"Keller, A., Ludwig, H.: The WSLA Framework: Specifying and Monitoring Service Level Agreements for Web Services. Journal of Network and Systems Management\u00a011(1), 57\u201381 (2003)","journal-title":"Journal of Network and Systems Management"},{"key":"17_CR35","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1109\/SERVICES-2.2008.10","volume-title":"Proceedings of the 2008 IEEE Congress on Services Part II (SERVICES-2 2008)","author":"F.H. Zulkernine","year":"2008","unstructured":"Zulkernine, F.H., Martin, P., Wilson, K.: A Middleware Solution to Monitoring Composite Web Services-Based Processes. In: Proceedings of the 2008 IEEE Congress on Services Part II (SERVICES-2 2008), Washington, DC, USA, pp. 149\u2013156. IEEE Computer Society, Los Alamitos (2008)"},{"key":"17_CR36","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1145\/1035167.1035181","volume-title":"Proceedings of the 2nd International Conference on Service Oriented Computing (ICSOC 2004)","author":"K. Mahbub","year":"2004","unstructured":"Mahbub, K., Spanoudakis, G.: A Framework for Requirements Monitoring of Service Based Systems. In: Proceedings of the 2nd International Conference on Service Oriented Computing (ICSOC 2004), pp. 84\u201393. ACM, New York (2004)"},{"key":"17_CR37","doi-asserted-by":"crossref","unstructured":"Mahbub, K., Spanoudakis, G.: Run-time Monitoring of Requirements for Systems Composed of Web-Services: Initial Implementation and Evaluation Experience. In: Proceedings of International Conference on Web Services (ICWS 2005), pp. 257\u2013265 (July 2005)","DOI":"10.1109\/ICWS.2005.100"},{"key":"17_CR38","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/978-3-540-72912-9_2","volume-title":"Test and Analysis of Web Services","author":"W.M.P. Aalst van der","year":"2007","unstructured":"van der Aalst, W.M.P., Pesic, M.: Specifying and Monitoring Service Flows: Making Web Services Process-Aware. In: Baresi, L., Nitto, E.D. (eds.) Test and Analysis of Web Services, pp. 11\u201355. Springer, Heidelberg (2007)"},{"key":"17_CR39","doi-asserted-by":"crossref","unstructured":"Lazovik, A., Aiello, M., Papazoglou, M.P.: Associating Assertions with Business Processes and Monitoring Their Execution. In: Proceedings of 2nd International Conference on Service Oriented Computing (ICSOC 2004), pp. 94\u2013104 (November 2004)","DOI":"10.1145\/1035167.1035182"},{"key":"17_CR40","doi-asserted-by":"crossref","unstructured":"Baresi, L., Ghezzi, C., Guinea, S.: Smart Monitors for Composed Services. In: Proceedings of 2nd International Conference on Service Oriented Computing (ICSOC 2004), pp. 193\u2013202 (November 2004)","DOI":"10.1145\/1035167.1035195"},{"key":"17_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/11596141_21","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"L. Baresi","year":"2005","unstructured":"Baresi, L., Guinea, S.: Towards Dynamic Monitoring of WS-BPEL Processes. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol.\u00a03826, pp. 269\u2013282. Springer, Heidelberg (2005)"},{"key":"17_CR42","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/978-3-540-72912-9_11","volume-title":"Test and Analysis of Web Services","author":"M. Pistore","year":"2007","unstructured":"Pistore, M., Traverso, P.: Assumption-Based Composition and Monitoring of Web Services. In: Baresi, L., Nitto, E.D. (eds.) Test and Analysis of Web Services, pp. 307\u2013335. Springer, Heidelberg (2007)"},{"key":"17_CR43","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-3-540-72912-9_7","volume-title":"Test and Analysis of Web Services","author":"M. Lohmann","year":"2007","unstructured":"Lohmann, M., Mariani, L., Heckel, R.: A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services. In: Test and Analysis of Web Services, pp. 173\u2013204. Springer, Heidelberg (2007)"},{"key":"17_CR44","first-page":"70","volume-title":"Proceedings of the 17th Australian Software Engineering Conference (ASWEC 2006)","author":"Z. Li","year":"2006","unstructured":"Li, Z., Jin, Y., Han, J.: A Runtime Monitoring and Validation Framework for Web Service Interactions. In: Proceedings of the 17th Australian Software Engineering Conference (ASWEC 2006), pp. 70\u201379. IEEE Computer Society, Los Alamitos (2006)"},{"key":"17_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/11596141_7","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"Z. Li","year":"2005","unstructured":"Li, Z., Han, J., Jin, Y.: Pattern-Based Specification and Validation of Web Services Interaction Properties. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol.\u00a03826, pp. 73\u201386. Springer, Heidelberg (2005)"},{"key":"17_CR46","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/3-540-48317-9_17","volume-title":"Artificial Intelligence Today","author":"M. Shanahan","year":"1999","unstructured":"Shanahan, M.: The Event Calculus Explained. In: Veloso, M.M., Wooldridge, M.J. (eds.) Artificial Intelligence Today. LNCS (LNAI), vol.\u00a01600, pp. 409\u2013430. Springer, Heidelberg (1999)"},{"key":"17_CR47","first-page":"69","volume-title":"Proceedings of the 29th International Conference on Software Engineering (ICSE 2007)","author":"L. Baresi","year":"2007","unstructured":"Baresi, L., Guinea, S.: Dynamo and Self-Healing BPEL Compositions (research demonstration). In: Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), pp. 69\u201370. IEEE Computer Society, Los Alamitos (2007) (companion volume)"},{"key":"17_CR48","unstructured":"Fugini, M.G., Mussi, E.: Recovery of Faulty Web Applications through Service Discovery. In: Proceedings of the 1st SMR-VLDB Workshop, Matchmaking and Approximate Semantic-based Retrieval: Issues and Perspectives, 32nd International Conference on Very Large Databases, pp. 67\u201380 (September 2006)"},{"key":"17_CR49","doi-asserted-by":"crossref","unstructured":"Dobson, G.: Using WS-BPEL to Implement Software Fault Tolerance for Web Services. In: 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2006), pp. 126\u2013133 (August 2006)","DOI":"10.1109\/EUROMICRO.2006.63"},{"key":"17_CR50","doi-asserted-by":"crossref","unstructured":"Brun, Y., Medvidovic, N.: Fault and Adversary Tolerance as an Emergent Property of Distributed Systems\u2019 Software Architectures. In: Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems (EFTS 2007), pp. 1\u20137 (September 2007)","DOI":"10.1145\/1316550.1316557"},{"key":"17_CR51","doi-asserted-by":"crossref","unstructured":"Kramer, J., Magee, J.: Self-Managed Systems: an Architectural Challenge. In: The ICSE 2007 Workshop on the Future of Software Engineering (FOSE 2007), pp. 259\u2013268 (May 2007)","DOI":"10.1109\/FOSE.2007.19"},{"key":"17_CR52","doi-asserted-by":"crossref","unstructured":"Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J., Andersson, J., Becker, B., Bencomo, N., Brun, Y., Cukic, B., Serugendo, G.D.M., Dustdar, S., Finkelstein, A., Gacek, C., Geihs, K., Grassi, V., Karsai, G., Kienle, H.M., Kramer, J., Litoiu, M., Malek, S., Mirandola, R., M\u00fcller, H.A., Park, S., Shaw, M., Tichy, M., Tivoli, M., Weyns, D., Whittle, J.: Software Engineering for Self-Adaptive Systems: A Research Roadmap. In: Software Engineering for Self-Adaptive Systems, pp. 1\u201326 (2009)","DOI":"10.1007\/978-3-642-02161-9_1"},{"key":"17_CR53","doi-asserted-by":"crossref","unstructured":"Cheng, B.H.C., de Lemos, R., Garlan, D., Giese, H., Litoiu, M., Magee, J., M\u00fcller, H.A., Taylor, R.: Seams 2009: Software engineering for adaptive and self-managing systems. In: 31st International Conference on Software Engineering (ICSE 2009), pp. 463\u2013464 (May 2009) (companion volume)","DOI":"10.1109\/ICSE-COMPANION.2009.5071063"},{"key":"17_CR54","doi-asserted-by":"crossref","unstructured":"Inverardi, P., Mostarda, L., Tivoli, M., Autili, M.: Synthesis of Correct and Distributed Adaptors for Component-Based Systems: an Automatic Approach. In: Proceedings of the 20th International Conference on Automated Software Engineering (ASE 2005), pp. 405\u2013409 (2005)","DOI":"10.1145\/1101908.1101981"}],"container-title":["Lecture Notes in Computer Science","The Smart Internet"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16599-3_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,5]],"date-time":"2019-06-05T21:12:36Z","timestamp":1559769156000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16599-3_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642165986","9783642165993"],"references-count":54,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16599-3_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}