{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:31:39Z","timestamp":1725521499226},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540898962"},{"type":"electronic","value":"9783540898979"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-89897-9_3","type":"book-chapter","created":{"date-parts":[[2008,12,9]],"date-time":"2008-12-09T10:25:28Z","timestamp":1228818328000},"page":"25-37","source":"Crossref","is-referenced-by-count":6,"title":["Towards Correctness Assurance in Adaptive Service-Based Applications"],"prefix":"10.1007","author":[{"given":"Raman","family":"Kazhamiakin","sequence":"first","affiliation":[]},{"given":"Andreas","family":"Metzger","sequence":"additional","affiliation":[]},{"given":"Marco","family":"Pistore","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Al-Ali, R.J., Hafid, A., Rana, O.F., Walker, D.W.: QoS Adaptation in Service-Oriented Grids. In: Middleware Workshops, pp. 200\u2013210 (2003)"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Canfora, G., Penta, M.D., Esposito, R., Villani, M.L.: An Approach for QoS-aware Service Composition Based on Genetic Algorithms. In: Proceedings of the 2005 conference on Genetic and evolutionary computation, pp. 1069\u20131075 (2005)","DOI":"10.1145\/1068009.1068189"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Chafle, G., Dasgupta, K., Kumar, A., Mittal, S., Srivastava, B.: Adaptation in Web Service Composition and Execution. In: Int. Conference on Web Services - ICWS, pp. 549\u2013557 (2006)","DOI":"10.1109\/ICWS.2006.22"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1007\/978-3-540-74974-5_42","volume-title":"Service-Oriented Computing - ICSOC 2007, Fifth Int. Conference","author":"D. Bianculli","year":"2007","unstructured":"Bianculli, D., Jurca, R., Binder, W., Ghezzi, C., Faltings, B.: Automated Dynamic Maintenance of Composite Services based on Service Reputation. In: Kr\u00e4mer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol.\u00a04749, pp. 449\u2013455. Springer, Heidelberg (2007)"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Reichert, M., Rinderle, S., Kreher, U., Dadam, P.: Adaptive process management with adept2. In: ICDE, pp. 1113\u20131114 (2005)","DOI":"10.1109\/ICDE.2005.17"},{"key":"3_CR6","unstructured":"Hallerbach, A., Bauer, T., Reichert, M.: Managing Process Variants in the Process Life Cycle. Technical report, University of Twente, TR-CTIT-07-87 (2007)"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/11596141_20","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"J. Siljee","year":"2005","unstructured":"Siljee, J., Bosloper, I., Nijhuis, J., Hammer, D.: DySOA: Making Service Systems Self-adaptive. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol.\u00a03826, pp. 255\u2013268. Springer, Heidelberg (2005)"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Baresi, L., Guinea, S., Pasquale, L.: Self-healing BPEL processes with Dynamo and the JBoss rule engine. In: ESSPE 2007: Int. workshop on Engineering of software services for pervasive environments, pp. 11\u201320 (2007)","DOI":"10.1145\/1294904.1294906"},{"key":"3_CR9","unstructured":"Verma, K., Gomadam, K., Sheth, A.P., Miller, J.A., Wu, Z.: The METEOR-S Approach for Configuring and Executing Dynamic Web Processes. Technical report (2005)"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Lazovik, A., Aiello, M., Papazoglou, M.P.: Associating Assertions with Business Processes and Monitoring their Execution. In: Service-Oriented Computing - ICSOC 2004, Second Int. Conference, pp. 94\u2013104 (2004)","DOI":"10.1145\/1035167.1035182"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/3-540-36110-3_6","volume-title":"Management Technologies for E-Commerce and E-Business Applications","author":"A. Sahai","year":"2002","unstructured":"Sahai, A., Machiraju, V., Sayal, M., van Moorsel, A.P.A., Casati, F.: Automated SLA Monitoring for Web Services. In: Feridun, M., Kropf, P.G., Babin, G. (eds.) DSOM 2002. LNCS, vol.\u00a02506, pp. 28\u201341. Springer, Heidelberg (2002)"},{"key":"3_CR12","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, Third Int. Conference","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":"3_CR13","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-540-72912-9_10","volume-title":"Test and Analysis of Web Services","author":"K. Mahbub","year":"2007","unstructured":"Mahbub, K., Spanoudakis, G.: Monitoring WS-Agreements: An Event Calculus-Based Approach. In: Baresi, L., Nitto, E.D. (eds.) Test and Analysis of Web Services, pp. 265\u2013306. Springer, Heidelberg (2007)"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Barbon, F., Traverso, P., Pistore, M., Trainotti, M.: Run-Time Monitoring of Instances and Classes of Web Service Compositions. In: Int. Conference on Web Services (ICWS), pp. 63\u201371 (2006)","DOI":"10.1109\/ICWS.2006.113"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Bai, X., Chen, Y., Shao, Z.: Adaptive Web Services Testing. In: 31st Annual Int. Computer Software and Applications Conference (COMPSAC), vol.\u00a02, pp. 233\u2013236 (2007)","DOI":"10.1109\/COMPSAC.2007.53"},{"key":"3_CR16","unstructured":"Canfora, G., di Penta, M.: SOA: Testing and Self-checking. In: Proceedings of Int. Workshop on Web Services - Modeling and Testing - WS-MaTE, pp. 3\u201312 (2006)"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Mayer, P., Luebke, D.: Towards a BPEL Unit Testing Framework. In: Workshop on Testing, Analysis, and Verification of Web Services and Applications, TAV WEB 2006, pp. 33\u201342 (2006)","DOI":"10.1145\/1145718.1145723"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Fu, X., Bultan, T., Su, J.: Analysis of Interacting BPEL Web Services. In: Proceedings of the 13th Int. World Wide Web Conference (WWW 2004) (2004)","DOI":"10.1145\/988672.988756"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Sharygina, N., Krning, D.: Model Checking with Abstraction for Web Services. In: Test and Analysis of Web Services, pp. 121\u2013145 (2007)","DOI":"10.1007\/978-3-540-72912-9_5"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Davulcu, H., Kifer, M., Ramakrishnan, I.V.: CTR-S: A Logic for Specifying Contracts in Semantic Web Services. In: Proc. WWW, pp. 144\u2013153 (2004)","DOI":"10.1145\/1013367.1013391"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Gr\u00fcninger, M.: Applications of PSL to Semantic Web Services. In: Proc. 1st Int. Workshop on Semantic Web and Databases, pp. 217\u2013230 (2003)","DOI":"10.6028\/NIST.IR.7165"},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Skogan, D., Gronmo, R., Solheim, I.: Web Service Composition in UML. In: Proceedings of the Enterprise Distributed Object Computing Conference (EDOC), pp. 47\u201357 (2004)","DOI":"10.1109\/EDOC.2004.1342504"},{"key":"3_CR23","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1504\/IJWET.2006.010419","volume":"2","author":"V.D. Castro","year":"2006","unstructured":"Castro, V.D., Marcos, E., Sanz, M.L.: A Model-Driven Method for Service Composition Modelling: a Case Study. Int. J. Web Eng. Technol.\u00a02, 335\u2013353 (2006)","journal-title":"Int. J. Web Eng. Technol."},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"Zeng, L., Benatallah, B., Dumas, M., Kalagnanam, J., Sheng, Q.Z.: Quality Driven Web Services Composition. In: WWW 2003 (2003)","DOI":"10.1145\/775152.775211"},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"Marconi, A., Pistore, M., Poccianti, P., Traverso, P.: Automated Web Service Composition at Work: the Amazon\/MPS Case Study. In: Int. Conference on Web Services (ICWS), pp. 767\u2013774 (2007)","DOI":"10.1109\/ICWS.2007.50"},{"key":"3_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11596141_43","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"D. Berardi","year":"2005","unstructured":"Berardi, D., Calvanese, D., De Giacomo, G., Mecella, M.: Composition of Services with Nondeterministic Observable Behavior. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol.\u00a03826. Springer, Heidelberg (2005)"},{"key":"3_CR27","doi-asserted-by":"crossref","unstructured":"Kazhamiakin, R., Pandya, P.K., Pistore, M.: Representation, Verification, and Computation of Timed Properties in Web Service Compositions. In: Proceeding of the Int. Conference on Web Services (ICWS), pp. 497\u2013504 (2006)","DOI":"10.1109\/ICWS.2006.112"},{"key":"3_CR28","doi-asserted-by":"crossref","unstructured":"Fugini, M.G., Pernici, B., Ramoni, F.: Quality Analysis of Composed Services through Fault Injection. In: Business Process Management Workshops, pp. 245\u2013256 (2007)","DOI":"10.1007\/978-3-540-78238-4_25"},{"key":"3_CR29","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.datak.2007.06.007","volume":"64","author":"L.T. Ly","year":"2008","unstructured":"Ly, L.T., Rinderle, S., Dadam, P.: Integration and Verification of Semantic Constraints in Adaptive Process Management Systems. Data Knowl. Eng.\u00a064, 3\u201323 (2008)","journal-title":"Data Knowl. Eng."}],"container-title":["Lecture Notes in Computer Science","Towards a Service-Based Internet"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-89897-9_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T23:05:22Z","timestamp":1557961522000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89897-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540898962","9783540898979"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89897-9_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}