{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T18:14:14Z","timestamp":1743012854080,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":156,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642175985"},{"type":"electronic","value":"9783642175992"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","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-17599-2_7","type":"book-chapter","created":{"date-parts":[[2010,12,15]],"date-time":"2010-12-15T10:11:53Z","timestamp":1292407913000},"page":"209-270","source":"Crossref","is-referenced-by-count":8,"title":["Analytical Quality Assurance"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Metzger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Salima","family":"Benbernou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Carro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maha","family":"Driss","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabor","family":"Kecskemeti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raman","family":"Kazhamiakin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kyriakos","family":"Krytikos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Mocci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elisabetta","family":"Di Nitto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Branimir","family":"Wetzstein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabrizio","family":"Silvestri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"7_CR1","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1016\/j.future.2004.10.005","volume":"21","author":"S. Andreozzi","year":"2005","unstructured":"Andreozzi, S., De Bortoli, N., Fantinel, S., Ghiselli, A., Rubini, G.L., Tortone, G., Vistoli, M.C.: GridICE: a monitoring service for grid systems. Future Generation Computer Systems\u00a021(4), 559\u2013571 (2005)","journal-title":"Future Generation Computer Systems"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/11574620_6","volume-title":"The Semantic Web \u2013 ISWC 2005","author":"A. Ankolekar","year":"2005","unstructured":"Ankolekar, A., Paolucci, M., Sycara, K.: Towards a formal verification of OWL-S process models. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol.\u00a03729, pp. 37\u201351. Springer, Heidelberg (2005)"},{"issue":"6","key":"7_CR3","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1109\/TSE.2007.1011","volume":"33","author":"D. Ardagna","year":"2007","unstructured":"Ardagna, D., Pernici, B.: Adaptive service composition in flexible processes. IEEE Transactions on Software Engineering\u00a033(6), 369\u2013384 (2007)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/11966104_2","volume-title":"Software Architecture","author":"L. Ardissono","year":"2006","unstructured":"Ardissono, L., Furnari, R., Goy, A., Petrone, G., Segnan, M.: Fault tolerant web service orchestration by means of diagnosis. In: Gruhn, V., Oquendo, F. (eds.) EWSA 2006. LNCS, vol.\u00a04344, pp. 2\u201316. Springer, Heidelberg (2006)"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Bai, X., Chen, Y., Shao, Z.: Adaptive web services testing. In: 31st Annual International Computer Software and Applications Conference (COMPSAC), vol.\u00a02, pp. 233\u2013236 (2007)","DOI":"10.1109\/COMPSAC.2007.53"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Bai, X., Xu, D., Dai, G., Tsai, W., Chen, Y.: Dynamic reconfigurable testing of service-oriented architecture. In: Proceedings of the 31st Annual International Computer Software and Applications Conference (COMPSAC), vol.\u00a01, pp. 368\u2013375 (2007)","DOI":"10.1109\/COMPSAC.2007.106"},{"key":"7_CR7","unstructured":"Bai, X., Dai, G., Xu, D., Tsai, W.-T.: A multi-agent based framework for collaborative testing on Web services. In: The Fourth IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, 2006 and the 2006 Second International Workshop on Collaborative Computing, Integration, and Assurance.SEUS 2006\/WCCIA 2006, p. 6 (2006)"},{"key":"7_CR8","unstructured":"Bai, X., Dong, W., Tsai, W.-T., Chen, Y.: WSDL-Based Automatic Test Case Generation for Web Services Testing. In: Proceedings of the IEEE International Workshop on Service-Oriented System Engineering (SOSE), pp. 215\u2013220. IEEE Computer Society (2005)"},{"issue":"2","key":"7_CR9","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/j.scico.2005.10.008","volume":"61","author":"C. Baier","year":"2006","unstructured":"Baier, C., Sirjani, M., Arbab, F., Rutten, J.: Modeling component connectors in reo by constraint automata. Sci. Comput. Program.\u00a061(2), 75\u2013113 (2006)","journal-title":"Sci. Comput. Program."},{"key":"7_CR10","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: IEEE International Conference on Web Services (ICWS 2006), pp. 63\u201371 (2006)","DOI":"10.1109\/ICWS.2006.113"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Baresi, L., Bianculli, D., Ghezzi, C., Guinea, S., Spoletini, P.: A Timed Extension of WSCoL. In: 2007 IEEE International Conference on Web Services (ICWS 2007), pp. 663\u2013670 (2007)","DOI":"10.1109\/ICWS.2007.25"},{"key":"7_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72912-9","volume-title":"Test and Analysis of Web Services","author":"L. Baresi","year":"2007","unstructured":"Baresi, L., DiNitto, E.: Test and Analysis of Web Services. Springer, Heidelberg (2007)"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Baresi, L., Ghezzi, C., Guinea, S.: Smart Monitors for Composed Services. In: Service-Oriented Computing - ICSOC 2004, Second International Conference, pp. 193\u2013202 (2004)","DOI":"10.1145\/1035167.1035195"},{"key":"7_CR14","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":"7_CR15","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/11607380_7","volume-title":"Technologies for E-Services","author":"Luciano Baresi","year":"2006","unstructured":"Baresi, L., Guinea, S., Plebani, P.: WS-Policy for Service Monitoring. In: Technologies for E-Services, 6th International Workshop, TES 2005, pp. 72\u201383 (2005)"},{"key":"7_CR16","unstructured":"Beeri, C., Eyal, A., Milo, T., Pilberg, A.: Monitoring Business Processes with Queries. In: Proceedings of the 33rd International Conference on Very Large Data Bases, pp. 603\u2013614 (2007)"},{"key":"7_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/978-3-540-74974-5_29","volume-title":"Service-Oriented Computing \u2013 ICSOC 2007","author":"S. Benbernou","year":"2007","unstructured":"Benbernou, S., Meziane, H., Hacid, M.S.: Run-time monitoring for privacy-agreement compliance. In: Kr\u00e4mer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol.\u00a04749, pp. 353\u2013364. Springer, Heidelberg (2007)"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Bertolino, A., Polini, A.: The audition framework for testing Web services interoperability. In: Proceedings. 31st Euromicro Conference on Software Engineering and Advanced Applications, pp. 134\u2013142 (2005)","DOI":"10.1109\/EUROMICRO.2005.55"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Beyer, D., Chakrabarti, A., Henzinger, T.A.: Web Service Interfaces. In: Proceeding of the International Conference on World Wide Web, WWW (2005)","DOI":"10.1145\/1060745.1060770"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Bianculli, D., Ghezzi, C.: Monitoring Conversational Web Services. In: IW-SOSWE\u201907 (2007)","DOI":"10.1145\/1294928.1294933"},{"key":"7_CR21","first-page":"13","volume-title":"Proceedings of the 2007 IEEE International Conference on Service-Oriented Computing and Applications (IEEE SOCA 2007)","author":"D. Bianculli","year":"2007","unstructured":"Bianculli, D., Ghezzi, C., Spoletini, P.: A model checking approach to verify BPEL4WS workflows. In: Proceedings of the 2007 IEEE International Conference on Service-Oriented Computing and Applications (IEEE SOCA 2007), Newport Beach, USA, June 2007, pp. 13\u201320. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"7_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/11596141_8","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"M. Bruno","year":"2005","unstructured":"Bruno, M., Canfora, G., Di Penta, M., Esposito, G., Mazza, V.: Using Test Cases as Contract to Ensure Service Compliance Across Releases. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol.\u00a03826, pp. 87\u2013100. Springer, Heidelberg (2005)"},{"issue":"1-2","key":"7_CR23","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1504\/IJSPM.2007.014717","volume":"3","author":"R.C. Bryce","year":"2007","unstructured":"Bryce, R.C., Chen, Y., Colbourn, C.J.: Biased covering arrays for progressive ranking and composition of Web Services. International Journal of Simulation and Process Modelling\u00a03(1-2), 80\u201387 (2007)","journal-title":"International Journal of Simulation and Process Modelling"},{"key":"7_CR24","unstructured":"Canfora, G., di Penta, M.: SOA: Testing and Self-checking. In: Proceedings of International Workshop on Web Services - Modeling and Testing - WS-MaTE, pp. 3\u201312 (2006)"},{"issue":"2","key":"7_CR25","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/MITP.2006.51","volume":"8","author":"G. Canfora","year":"2006","unstructured":"Canfora, G., di Penta, M.: Testing Services and Service-Centric Systems: Challenges and Opportunities. IT Professional\u00a08(2), 10\u201317 (2006)","journal-title":"IT Professional"},{"issue":"1","key":"7_CR26","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1002\/spip.302","volume":"12","author":"J. Cardoso","year":"2007","unstructured":"Cardoso, J.: Complexity analysis of BPEL web processes. Software Process: Improvement and Practice\u00a012(1), 35\u201349 (2007)","journal-title":"Software Process: Improvement and Practice"},{"key":"7_CR27","doi-asserted-by":"crossref","unstructured":"Castellanos, M., Casati, F., Shan, M.-C., Dayal, U.: iBOM: A Platform for Intelligent Business Operation Management. In: ICDE \u201905: Proceedings of the 21st International Conference on Data Engineering, pp. 1084\u20131095 (2005)","DOI":"10.1109\/ICDE.2005.73"},{"issue":"2","key":"7_CR28","doi-asserted-by":"publisher","first-page":"61","DOI":"10.4018\/jwsr.2007040103","volume":"4","author":"W.K. Chan","year":"2007","unstructured":"Chan, W.K., Cheung, S.C., Leung, K.R.P.H.: A metamorphic testing approach for online testing of service-oriented software applications. International Journal of Web Services Research\u00a04(2), 61\u201381 (2007)","journal-title":"International Journal of Web Services Research"},{"issue":"3","key":"7_CR29","doi-asserted-by":"publisher","first-page":"587","DOI":"10.1147\/sj.453.0587","volume":"45","author":"P. Chowdhary","year":"2006","unstructured":"Chowdhary, P., Bhaskaran, K., Caswell, N.S., Chang, H., Chao, T., Chen, S.-K., Dikun, M., Lei, H., Jeng, J.-J., Kapoor, S., Lang, C.A., Mihaila, G., Stanoi, I., Zeng, L.: Model Driven Development for Business Performance Management. IBM Syst. J.\u00a045(3), 587\u2013605 (2006)","journal-title":"IBM Syst. J."},{"key":"7_CR30","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1109\/MC.2007.376","volume":"11","author":"F. Curbera","year":"2007","unstructured":"Curbera, F.: Components contracts in Service-Oriented architectures. IEEE Computer\u00a011, 74\u201380 (2007)","journal-title":"IEEE Computer"},{"issue":"4","key":"7_CR31","doi-asserted-by":"publisher","first-page":"799","DOI":"10.1147\/sj.444.0799","volume":"44","author":"F. Curbera","year":"2005","unstructured":"Curbera, F., Duftler, M.J., Khalaf, R., Nagy, W., Mukhi, N., Weerawarana, S.: Colombo: Lightweight Middleware for Service-Oriented Computing. IBM Systems Journal\u00a044(4), 799\u2013820 (2005)","journal-title":"IBM Systems Journal"},{"key":"7_CR32","doi-asserted-by":"crossref","unstructured":"Czajkowski, K., Fitzgerald, S., Foster, I., Kesselman, C.: Grid Information Services for Distributed Resource Sharing. In: 10th IEEE International Symposium on High Performance Distributed Computing (HPDC-10 2001), pp. 181\u2013194 (2001)","DOI":"10.1109\/HPDC.2001.945188"},{"key":"7_CR33","doi-asserted-by":"crossref","unstructured":"Dai, G., Bai, X., Wang, Y., Dai, F.: Contract-based testing for web services. In: 31st Annual International Computer Software and Applications Conference (COMPSAC 2007), vol.\u00a01, pp. 517\u2013524 (2007)","DOI":"10.1109\/COMPSAC.2007.100"},{"key":"7_CR34","doi-asserted-by":"crossref","unstructured":"Davulcu, H., Kifer, M., Ramakrishnan, I.V.: CTR-S: A Logic for Specifying Contracts in Semantic Web Services. In: Proceeding of the International Conference on World Wide Web (WWW), pp. 144\u2013153 (2004)","DOI":"10.1145\/1013367.1013391"},{"key":"7_CR35","doi-asserted-by":"crossref","unstructured":"J\u00fanior de Almeida, L.F., Vergilio, S.R.: Exploring Perturbation Based Testing for Web Services. In: IEEE International Conference on Web Services (ICWS), pp. 717\u2013726 (2006)","DOI":"10.1109\/ICWS.2006.60"},{"key":"7_CR36","first-page":"163","volume-title":"Lecture Notes in Computer Science","author":"Gero Decker","year":"2006","unstructured":"Decker, G., Zaha, J.M., Dumas, M.: Execution semantics for service choreographies. In: WS-FM, pp. 163\u2013177 (2006)"},{"issue":"12","key":"7_CR37","doi-asserted-by":"publisher","first-page":"859","DOI":"10.1109\/TSE.2004.91","volume":"30","author":"N. Delgado","year":"2004","unstructured":"Delgado, N., Gates, A.Q., Roach, S.: A taxonomy and catalog of runtime software-fault monitoring tools. IEEE Trans. Software Eng.\u00a030(12), 859\u2013872 (2004)","journal-title":"IEEE Trans. Software Eng."},{"key":"7_CR38","doi-asserted-by":"crossref","unstructured":"Deutsch, A., Sui, L., Vianu, V., Zhou, D.: Verification of Communicating Data-driven Web Services. In: Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), pp. 90\u201399 (2006)","DOI":"10.1145\/1142351.1142364"},{"key":"7_CR39","unstructured":"Devaurs, D., Musaraj, K., De Marchi, F., Hacid, M.-S.: Timed Transition Discovery from Web Service conversation Logs. In: 20th International Conference on Advanced Information Systems Engineering, CAISE\u201908 (2008)"},{"key":"7_CR40","doi-asserted-by":"crossref","first-page":"1090","DOI":"10.1145\/1276958.1277174","volume-title":"Proceedings of the Conference on Genetic and Evolutionary Computation \u2013 GECCO","author":"M. Penta Di","year":"2007","unstructured":"Di Penta, M., Canfora, G., Esposito, G., Mazza, V., Bruno, M.: Search-based Testing of Service Level Agreements. In: Proceedings of the Conference on Genetic and Evolutionary Computation \u2013 GECCO, pp. 1090\u20131097. ACM Press, New York (2007)"},{"key":"7_CR41","doi-asserted-by":"crossref","unstructured":"Dong, W.-L., Yu, H., Zhang, Y.-B.: Testing BPEL-based Web Service Composition Using High-level Petri Nets. In: EDOC \u201906: Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference, pp. 441\u2013444. IEEE Computer Society (2006)","DOI":"10.1109\/EDOC.2006.59"},{"key":"7_CR42","doi-asserted-by":"crossref","unstructured":"Duan, Z., Bernstein, A.J., Lewis, P.M., Lu, S.: Semantics Based Verification and Synthesis of BPEL4WS Abstract Processes. In: Proceeding of the International Conference on Web Services (ICWS), pp. 734\u2013737 (2004)","DOI":"10.1109\/ICWS.2004.1314805"},{"key":"7_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-540-30196-7_8","volume-title":"Object-Oriented and Internet-Based Technologies","author":"S. Dustdar","year":"2004","unstructured":"Dustdar, S., Haslinger, S.: Testing of service-oriented architectures \u2013 A practical approach. In: Weske, M., Liggesmeyer, P. (eds.) NODe 2004. LNCS, vol.\u00a03263, pp. 97\u2013109. Springer, Heidelberg (2004)"},{"key":"7_CR44","volume-title":"Principles of Program Analysis","author":"C. Hankin","year":"2005","unstructured":"Hankin, C., Nielson, F., Nielson, H.R.: Principles of Program Analysis, 2nd edn. Springer, Heidelberg (2005)","edition":"2"},{"key":"7_CR45","first-page":"78","volume-title":"Lecture Notes in Computer Science","author":"Roozbeh Farahbod","year":"2004","unstructured":"Farahbod, R., Gl\u00e4sser, U., Vajihollahi, M.: Specification and validation of the business process execution language for web services. In: Abstract State Machines, pp. 78\u201394 (2004)"},{"key":"7_CR46","doi-asserted-by":"crossref","unstructured":"Farrell, A., Sergot, M., Bartolini, C., Salle, M., Trastour, D., Christodoulou, A.: Using the Event Calculus for the Performance Monitoring of Service-Level Agreements for Utility Computing. In: Proceedings of First IEEE International Workshop on Electronic Contracting, WEC 2004 (2004)","DOI":"10.1109\/WEC.2004.1319504"},{"issue":"4","key":"7_CR47","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1145\/990010.990013","volume":"12","author":"G.-L. Ferrari","year":"2003","unstructured":"Ferrari, G.-L., Gnesi, S., Montanari, U., Pistore, M.: A model-checking verification environment for mobile processes. ACM Trans. Softw. Eng. Methodol.\u00a012(4), 440\u2013473 (2003)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"7_CR48","unstructured":"Fisher, S.: Relational Model for Information and Monitoring. Technical Report GWD-GP-7-1, Global Grid Forum (2001)"},{"key":"7_CR49","doi-asserted-by":"crossref","unstructured":"Foster, H., Uchitel, S., Magee, J., Kramer, J.: Compatibility verification for web service choreography. In: ICWS \u201904: Proceedings of the IEEE International Conference on Web Services, Washington, DC, USA, p. 738. IEEE Computer Society (2004)","DOI":"10.1109\/ICWS.2004.1314806"},{"key":"7_CR50","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: ICSE \u201906: Proceedings of the 28th international conference on Software engineering, New York, NY, USA, pp. 771\u2013774. ACM (2006)","DOI":"10.1145\/1134285.1134408"},{"key":"7_CR51","unstructured":"Foster, I., Kishimoto, H., Savva, A., Berry, D., Djaoui, A., Grimshaw, A., Horn, B., Maciel, F., Siebenlist, F., Subramaniam, R., Treadwell, J., von Reich, J.: The Open Grid Services Architecture, Version 1.0. Technical Report GFD-I.030, Global Grid Forum (January 2005)"},{"key":"7_CR52","doi-asserted-by":"crossref","unstructured":"Fu, X., Bultan, T., Su, J.: Analysis of interacting BPEL web services. In: Proceedings of the 13th International World Wide Web Conference, WWW\u201904 (2004)","DOI":"10.1145\/988672.988756"},{"key":"7_CR53","unstructured":"Fugini, M.G., Pernici, B., Ramoni, F.: Quality analysis of composed services through fault injection. Information System Frontiers, Special Issue on Collaborative Business Processes (in press)"},{"key":"7_CR54","doi-asserted-by":"crossref","unstructured":"Garcia-Fanjul, J., de la Riva, C., Tuya, J.: Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking. In: TAIC-PART \u201906: Proceedings of the Testing: Academic & Industrial Conference on Practice And Research Techniques, pp. 127\u2013130. IEEE Computer Society (2006)","DOI":"10.1109\/TAIC-PART.2006.11"},{"key":"7_CR55","volume-title":"Fundamentals of Software Engineering","author":"C. Ghezzi","year":"1991","unstructured":"Ghezzi, C., Jazayeri, M., Mandrioli, D.: Fundamentals of Software Engineering. Prentice-Hall, Englewood Cliffs (1991)"},{"key":"7_CR56","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/978-3-540-72912-9_9","volume-title":"Test and Analysis of Web Services","author":"C. Ghezzi","year":"2007","unstructured":"Ghezzi, C., Guinea, S.: Run-Time Monitoring in Service-Oriented Architectures. In: Baresi, L., Di Nitto, E. (eds.) Test and Analysis of Web Services, pp. 237\u2013264. Springer, Heidelberg (2007)"},{"key":"7_CR57","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/11549970_15","volume-title":"Formal Techniques for Computer Systems and Business Processes","author":"S. Gilmore","year":"2005","unstructured":"Gilmore, S., Haenel, V., Kloul, L., Maidl, M.: Choreographing security and performance analysis for web services. In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) EPEW\/WS-EM 2005. LNCS, vol.\u00a03670, pp. 200\u2013214. Springer, Heidelberg (2005)"},{"key":"7_CR58","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.ress.2004.08.004","volume":"89","author":"S. Gilmore","year":"2005","unstructured":"Gilmore, S., Kloul, L.: A unified tool for performance modelling and prediction. Reliability Engineering and System Safety\u00a089, 17\u201332 (2005)","journal-title":"Reliability Engineering and System Safety"},{"key":"7_CR59","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1007\/978-3-540-75183-0_24","volume-title":"Business Process Management","author":"C.W. G\u00fcnther","year":"2007","unstructured":"G\u00fcnther, C.W., van der Aalst, W.M.P.: Fuzzy Mining \u2013 Adaptive Process Simplification Based on Multi-perspective Metrics. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol.\u00a04714, pp. 328\u2013343. Springer, Heidelberg (2007)"},{"key":"7_CR60","doi-asserted-by":"crossref","unstructured":"Hanna, S., Munro, M.: An approach for specification-based test case generation for Web services. In: IEEE\/ACS International Conference on Computer Systems and Applications, AICCSA 2007, pp. 16\u201323 (2007)","DOI":"10.1109\/AICCSA.2007.370859"},{"key":"7_CR61","series-title":"Electronic Notes in Theoretical Computer Science","first-page":"145","volume-title":"Proceedings of the International Workshop on Test and Analysis of Component Based Systems (TACoS 2004)","author":"R. Heckel","year":"2005","unstructured":"Heckel, R., Lohmann, M.: Towards Contract-based Testing of Web Services. In: Proceedings of the International Workshop on Test and Analysis of Component Based Systems (TACoS 2004). Electronic Notes in Theoretical Computer Science, vol.\u00a0116, pp. 145\u2013156. Elsevier B.V., Amsterdam (2005)"},{"key":"7_CR62","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-540-31984-9_4","volume-title":"Fundamental Approaches to Software Engineering","author":"R. Heckel","year":"2005","unstructured":"Heckel, R., Mariani, L.: Automatic conformance testing of web services. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol.\u00a03442, pp. 34\u201348. Springer, Heidelberg (2005)"},{"key":"7_CR63","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A., Jhala, R., Majumdar, R., Sutre, G.: Lazy abstraction. In: POPL \u201902: Proceedings of the 29th ACM SIGPLAN-SIGACT Annual Symposium on Principles of Programming Languages, Portland, Oregon, USA, pp. 58\u201370. ACM (2002)","DOI":"10.1145\/503272.503279"},{"key":"7_CR64","volume-title":"The SPIN Model Checker : Primer and Reference Manual","author":"G.J. Holzmann","year":"2003","unstructured":"Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual, 2003. Addison-Wesley Professional, Reading (Sept. 2003)"},{"key":"7_CR65","doi-asserted-by":"crossref","unstructured":"Huang, H., Tsai, W.-T., Paul, R., Chen, Y.: Automated Model Checking and Testing for Composite Web Services. In: 8th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), pp. 300\u2013307. IEEE Computer Society (2005)","DOI":"10.1109\/ISORC.2005.16"},{"key":"7_CR66","unstructured":"Jeng, J.-J., Schiefer, J., Chang, H.: An Agent-based Architecture for Analyzing Business Processes of Real-Time Enterprises. In: EDOC \u201903: Proceedings of the 7th International Conference on Enterprise Distributed Object Computing, p. 86 (2003)"},{"key":"7_CR67","series-title":"Monographs in Theoretical Computer Science","volume-title":"Coloured Petri Nets \u2013 Basic concepts, analysis methods and practical use, vol. 1","year":"1997","unstructured":"Jensen, K. (ed.): Coloured Petri Nets \u2013 Basic concepts, analysis methods and practical use, vol. 1, 2nd edn. Monographs in Theoretical Computer Science. Springer, Heidelberg (1997)","edition":"2"},{"key":"7_CR68","doi-asserted-by":"crossref","unstructured":"Karam, M., Safa, H., Artail, H.: An abstract workflow-based framework for testing composed web services. In: International Conference on Computer Systems and Applications (AICCSA), pp. 901\u2013908 (2007)","DOI":"10.1109\/AICCSA.2007.370739"},{"key":"7_CR69","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 International Conference on Web Services (ICWS), pp. 497\u2013504 (2006)","DOI":"10.1109\/ICWS.2006.112"},{"key":"7_CR70","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/11888116_5","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2006","author":"R. Kazhamiakin","year":"2006","unstructured":"Kazhamiakin, R., Pistore, M.: Analysis of Realizability Conditions for Web Service Choreographies. In: Najm, E., Pradat-Peyre, J.-F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol.\u00a04229, pp. 61\u201376. Springer, Heidelberg (2006)"},{"key":"7_CR71","first-page":"227","volume-title":"Lecture Notes in Computer Science","author":"Raman Kazhamiakin","year":"2006","unstructured":"Kazhamiakin, R., Pistore, M.: Choreography Conformance Analysis: Asynchronous Communications and Information Alignment. In: Proceedings of the International Workshon on Web Services and Formal Methods (WS-FM), pp. 227\u2013241 (2006)"},{"key":"7_CR72","doi-asserted-by":"crossref","unstructured":"Kazhamiakin, R., Pistore, M.: Static Verification of Control and Data in Web Service Compositions. In: Proceeding of the International Conference on Web Services, ICWS (2006)","DOI":"10.1109\/ICWS.2006.124"},{"key":"7_CR73","doi-asserted-by":"crossref","unstructured":"Kazhamiakin, R., Pistore, M., Roveri, M.: Formal Verification of Requirements using SPIN: A Case Study on Web Services. In: Proceedings of the International Conference on Software Engineering and Formal Methods (SEFM), pp. 406\u2013415 (2004)","DOI":"10.1109\/SEFM.2004.1347546"},{"key":"7_CR74","doi-asserted-by":"crossref","unstructured":"Kazhamiakin, R., Pistore, M., Roveri, M.: A Framework for Integrating Business Processes and Business Requirements. In: Proceedings of the International Enterprise Distributed Object Computing Conference (EDOC), pp. 9\u201320 (2004)","DOI":"10.1109\/EDOC.2004.1342501"},{"key":"7_CR75","doi-asserted-by":"crossref","unstructured":"Kazhamiakin, R., Pistore, M., Santuari, L.: Analysis of Communication Models in Web Service Compositions. In: Proceeding of the International Conference on World Wide Web, WWW (2006)","DOI":"10.1145\/1135777.1135819"},{"key":"7_CR76","doi-asserted-by":"crossref","unstructured":"Kazhamiakin, R.: Formal Analysis of Web Service Compositions. PhD thesis, University of Trento (2007)","DOI":"10.1109\/ARES.2006.134"},{"issue":"1","key":"7_CR77","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":"7_CR78","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/11754008_7","volume-title":"Testing of Communicating Systems","author":"C. Keum","year":"2006","unstructured":"Keum, C., Kang, S., Ko, I.-Y., Baik, J., Choi, Y.-I.: Generating test cases for web services using extended finite state machine. In: Uyar, M.\u00dc., Duale, A.Y., Fecko, M.A. (eds.) TestCom 2006. LNCS, vol.\u00a03964, pp. 103\u2013117. Springer, Heidelberg (2006)"},{"key":"7_CR79","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1007\/978-3-540-74409-2_23","volume-title":"Trust, Privacy and Security in Digital Business","author":"C. Kloukinas","year":"2007","unstructured":"Kloukinas, C., Spanoudakis, G.: A pattern-driven framework for monitoring security and dependability. In: Lambrinoudakis, C., Pernul, G., Tjoa, A.M. (eds.) TrustBus. LNCS, vol.\u00a04657, pp. 210\u2013218. Springer, Heidelberg (2007)"},{"issue":"5","key":"7_CR80","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1022494.1022526","volume":"29","author":"M. Koshkina","year":"2004","unstructured":"Koshkina, M., van Breugel, F.: Modelling and verifying web service orchestration by means of the concurrency workbench. SIGSOFT Softw. Eng. Notes\u00a029(5), 1\u201310 (2004)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"7_CR81","doi-asserted-by":"crossref","unstructured":"Lazovik, A., Aiello, M., Papazoglou, M.P.: Associating Sssertions with Business Processes and Monitoring their Execution. In: Service-Oriented Computing - ICSOC 2004, Second International Conference, pp. 94\u2013104 (2004)","DOI":"10.1145\/1035167.1035182"},{"key":"7_CR82","first-page":"173","volume-title":"A Model-Driven Approach to Discovery, Testing and Monitoring 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, pp. 173\u2013204. Springer, Heidelberg (2007)"},{"key":"7_CR83","doi-asserted-by":"crossref","unstructured":"Ludwig, H., Dan, A., Kearney, R.: Cremona: An Architecture and Library for Creation and Monitoring of WS-Agreements. In: Service-Oriented Computing - ICSOC 2004, Second International Conference, pp. 65\u201374 (2004)","DOI":"10.1145\/1035167.1035178"},{"key":"7_CR84","first-page":"149","volume-title":"Unit Testing BPEL Compositions","author":"D. Luebke","year":"2007","unstructured":"Luebke, D.: Unit Testing BPEL Compositions, pp. 149\u2013171. Springer, Heidelberg (2007)"},{"key":"7_CR85","doi-asserted-by":"crossref","unstructured":"Luo, N., Yan, J., Liu, M.: Towards efficient verification for process composition of semantic web services. In: IEEE SCC, pp. 220\u2013227. IEEE Computer Society (2007)","DOI":"10.1109\/SCC.2007.120"},{"key":"7_CR86","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: 2005 IEEE International Conference on Web Services (ICWS 2005), pp. 257\u2013265 (2005)","DOI":"10.1109\/ICWS.2005.100"},{"key":"7_CR87","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., Di Nitto, E. (eds.) Test and Analysis of Web Services, pp. 265\u2013306. Springer, Heidelberg (2007)"},{"key":"7_CR88","unstructured":"Martin, E., Basu, S., Xie, T.: Automated Robustness Testing of Web Services. In: Proc. 4th International Workshop on SOA And Web Services Best Practices, SOAWS 2006 (2006)"},{"key":"7_CR89","doi-asserted-by":"crossref","unstructured":"Martin, E., Basu, S., Xie, T.: Automated Testing and Response Analysis of Web Services. In: IEEE International Conference on Web Services (ICWS), pp. 647\u2013654 (2007)","DOI":"10.1109\/ICWS.2007.49"},{"key":"7_CR90","doi-asserted-by":"crossref","unstructured":"Martin, E., Basu, S., Xie, T.: WebSob: A tool for robustness testing of web services. In: Companion to the proceedings of the 29th International Conference on Software Engineering (ICSE), pp. 65\u201366 (2007)","DOI":"10.1109\/ICSECOMPANION.2007.84"},{"key":"7_CR91","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/978-3-540-77619-2_8","volume-title":"Software Architectures, Components, and Applications","author":"M. Marzolla","year":"2008","unstructured":"Marzolla, M., Mirandola, R.: Performance prediction of web service workflows. In: Overhage, S., Szyperski, C., Reussner, R., Stafford, J.A. (eds.) QoSA 2007. LNCS, vol.\u00a04880, pp. 127\u2013144. Springer, Heidelberg (2008)"},{"key":"7_CR92","doi-asserted-by":"crossref","unstructured":"Mayer, P., Luebke, D.: Towards a BPEL unit testing framework. In: Proceedings of the 2006 Workshop on Testing, Analysis, and Verification of Web Services and Applications, TAV WEB\u201906, volume 2006, pp. 33\u201342 (2006)","DOI":"10.1145\/1145718.1145723"},{"key":"7_CR93","volume-title":"A Practical Guide to Testing Object-oriented Software","author":"J.D. McGregor","year":"2001","unstructured":"McGregor, J.D., Sykes, D.A.: A Practical Guide to Testing Object-oriented Software. Addison-Wesley Professional, Reading (2001)"},{"key":"7_CR94","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/3-540-46121-3_6","volume-title":"Technologies for E-Services","author":"M. Mecella","year":"2002","unstructured":"Mecella, M., Parisi Presicce, F., Pernici, B.: Modeling E-service orchestration through petri nets. In: Buchmann, A., Casati, F., Fiege, L., Hsu, M.-C., Shan, M.-C. (eds.) TES 2002. LNCS, vol.\u00a02444, pp. 38\u201347. Springer, Heidelberg (2002)"},{"key":"7_CR95","unstructured":"Mei, H., Zhang, L.: A Framework for Testing Web Services and Its Supporting Tool. In: SOSE \u201905: Proceedings of the IEEE International Workshop, pp. 207\u2013214. IEEE Computer Society (2005)"},{"key":"7_CR96","unstructured":"Momm, C., Malec, R., Abeck, S.: Towards a Model-driven Development of Monitored Processes. Wirtschaftsinformatik\u00a02 (2007)"},{"key":"7_CR97","volume-title":"The Art of Software Testing","author":"G.J. Myers","year":"2004","unstructured":"Myers, G.J.: The Art of Software Testing. Wiley, Chichester (2004)"},{"key":"7_CR98","unstructured":"Nakajima, S.: Model-checking verification for reliable web service. In: OOPSLA Workshop on Object-Oriented Web Services (2002)"},{"key":"7_CR99","doi-asserted-by":"crossref","unstructured":"Narayanan, S., McIlraith, S.A.: Simulation, verification and automated composition of web services. In: WWW \u201902: Proceedings of the 11th international conference on World Wide Web, Honolulu, Hawaii, USA, pp. 77\u201388. ACM (2002)","DOI":"10.1145\/511446.511457"},{"key":"7_CR100","unstructured":"Newman, H.B., Legrand, I.C., Galvez, P., Voicu, R.: MonALISA: A Distributed Monitoring Service Architecture. In: International Conference on Computing in High Energy Physics, CHEP2003 (2003)"},{"key":"7_CR101","unstructured":"Nezhad, H.R.M., Saint-Paul, R., Benatallah, B., Casati, F.: Deriving Protocol Models from Imperfect Service Conversation Logs. In: IEEE Transactions on Knowledge and Data Engineering (TKDE), to appear (2008)"},{"issue":"5","key":"7_CR102","first-page":"1","volume":"29","author":"Jeff Offutt","year":"2004","unstructured":"Offutt, J., Xu, W.: Generating Test Cases for Web Services Using Data Perturbation. In: Workshop on Testing, Analysis and Verification of Web Services (2004)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"issue":"4","key":"7_CR103","doi-asserted-by":"publisher","first-page":"738","DOI":"10.1145\/242223.242288","volume":"28","author":"L.J. Osterweil","year":"1996","unstructured":"Osterweil, L.J.: Strategic directions in software quality. ACM Comput. Surv.\u00a028(4), 738\u2013750 (1996)","journal-title":"ACM Comput. Surv."},{"key":"7_CR104","unstructured":"Ouyang, C., van der Aalst, W.M.P., Breutel, S., Dumas, M., ter Hofstede, A.H.M., Verbeek, H.M.W.: Formal Semantics and Analysis of Control Flow in WS-BPEL. Technical report, BPMcenter.org, BPM Center Report BPM-05-15 (2005)"},{"key":"7_CR105","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1007\/11596141_37","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"C. Ouyang","year":"2005","unstructured":"Ouyang, C., Verbeek, E., van der Aalst, W.M.P., Breutel, S., Dumas, M., ter Hofstede, A.H.M.: WofBPEL: A tool for automated analysis of BPEL processes. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol.\u00a03826, pp. 484\u2013489. Springer, Heidelberg (2005)"},{"key":"7_CR106","doi-asserted-by":"crossref","unstructured":"Paradkar, A.M., Sinha, A., Williams, C., Johnson, R.D., Outterson, S., Shriver, C., Liang, C.: Automated Functional Conformance Test Generation for Semantic Web Services. In: IEEE International Conference on Web Services, ICWS 2007, pp. 110\u2013117 (2007)","DOI":"10.1109\/ICWS.2007.48"},{"key":"7_CR107","first-page":"205","volume-title":"Web Services Regression Testing","author":"M. Penta Di","year":"2007","unstructured":"Di Penta, M., Bruno, M., Esposito, G., Mazza, V., Canfora, G.: Web Services Regression Testing, pp. 205\u2013234. Springer, Heidelberg (2007)"},{"key":"7_CR108","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., Di Nitto, E. (eds.) Test and Analysis of Web Services, pp. 307\u2013335. Springer, Heidelberg (2007)"},{"key":"7_CR109","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.datak.2004.03.006","volume":"51","author":"P. Radha Krishna","year":"2004","unstructured":"Radha Krishna, P., Karlapalem, K., Chiu, D.K.W.: An ER EC framework for e-contract modeling, enactment, and monitoring. Data Knowl. Eng.\u00a051, 31\u201358 (2004)","journal-title":"Data Knowl. Eng."},{"key":"7_CR110","doi-asserted-by":"crossref","unstructured":"Ramsokul, P., Sowmya, A., Ramesh, S.: A test bed for web services protocols. In: Second International Conference on Internet and Web Applications and Services, ICIW (2007)","DOI":"10.1109\/ICIW.2007.12"},{"key":"7_CR111","doi-asserted-by":"crossref","unstructured":"Rosario, S., Beneveniste, A., Haar, S., Jard, C.: Probablistic QoS and soft contracts for transaction based web services. In: IEEE ICWS, pp. 126\u2013133 (2007)","DOI":"10.1109\/ICWS.2007.144"},{"key":"7_CR112","doi-asserted-by":"crossref","unstructured":"Roth, H., Schiefer, J., Schatten, A.: Probing and Monitoring of WSBPEL Processes with Web Services. In: CEC-EEE \u201906: Proceedings of the The 8th IEEE International Conference on E-Commerce Technology and The 3rd IEEE International Conference on Enterprise Computing, E-Commerce, and E-Services, p. 30 (2006)","DOI":"10.1109\/CEC-EEE.2006.69"},{"key":"7_CR113","doi-asserted-by":"crossref","unstructured":"Rouached, M., Perrin, O., Godart, C.: Towards formal verification of web service composition. In: Business Process Management, pp. 257\u2013273 (2006)","DOI":"10.1007\/11841760_18"},{"key":"7_CR114","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/11678564_15","volume-title":"Business Process Management Workshops","author":"A. Rozinat","year":"2006","unstructured":"Rozinat, A., van der Aalst, W.M.P.: Conformance testing: Measuring the fit and appropriateness of event logs and process models. In: Bussler, C., Haller, A. (eds.) Business Process Management Workshops, pp. 163\u2013176 (2006)"},{"issue":"1","key":"7_CR115","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1016\/j.is.2007.07.001","volume":"33","author":"A. Rozinatand","year":"2008","unstructured":"Rozinatand, A., van der Aalst, W.M.P.: Conformance Checking of Processes Based on Monitoring Real Behavior. Inf. Syst.\u00a033(1), 64\u201395 (2008)","journal-title":"Inf. Syst."},{"key":"7_CR116","first-page":"140","volume":"0","author":"D. Rud","year":"2006","unstructured":"Rud, D., Schmietendorf, A., Dumke, R.: Performance modeling of WS-BPEL-based web service compositions. scw\u00a00, 140\u2013147 (2006)","journal-title":"scw"},{"key":"7_CR117","doi-asserted-by":"crossref","unstructured":"Ruth, M., Oh, S., Loup, A., Horton, B., Gallet, O., Mata, M., Tu, S.: Towards automatic regression test selection for web services. In: Proceedings of the 31st Annual International Computer Software and Applications Conference (COMPSAC 2007), vol.\u00a02, pp. 729\u2013734 (2007)","DOI":"10.1109\/COMPSAC.2007.219"},{"key":"7_CR118","doi-asserted-by":"crossref","unstructured":"Ruth, M., Tu, S.: A safe regression test selection technique for Web services. In: Second International Conference on Internet and Web Applications and Services, ICIW (2007)","DOI":"10.1109\/ICIW.2007.8"},{"key":"7_CR119","doi-asserted-by":"crossref","unstructured":"Ruth, M.E.: Concurrency in a decentralized automatic regression test selection framework for web services. In: MG \u201908: Proceedings of the 15th ACM Mardi Gras conference, pp. 1\u20138. ACM (2008)","DOI":"10.1145\/1341811.1341820"},{"key":"7_CR120","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":"7_CR121","doi-asserted-by":"crossref","unstructured":"Sala\u00fcn, G., Bordeaux, L., Schaerf, M.: Describing and reasoning on web services using process algebra. In: ICWS \u201904: Proceedings of the IEEE International Conference on Web Services, Washington, DC, USA, IEEE Computer Society (2004)","DOI":"10.1109\/ICWS.2004.1314722"},{"issue":"4","key":"7_CR122","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/s10009-004-0165-6","volume":"7","author":"I. Schieferdecker","year":"2005","unstructured":"Schieferdecker, I., Din, G., Apostolidis, D.: Distributed functional and load tests for Web services. International Journal on Software Tools for Technology Transfer\u00a07(4), 351\u2013360 (2005)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"7_CR123","volume-title":"Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems, vol. 126","author":"B.-H. Schlingloff","year":"2005","unstructured":"Schlingloff, B.-H., Martens, A., Schmidt, K.: Modeling and model checking web services. In: Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems, vol. 126, Elsevier, Amsterdam (2005)"},{"key":"7_CR124","doi-asserted-by":"crossref","unstructured":"Sen, S., Baudry, B., Mottu, J.-M.: On combining mullti-formalism knowledge to select test models for model transformaion testing. In: ACM\/IEEE International Conference on Software Testing, Lillehammer, Norway (April 2008)","DOI":"10.1109\/ICST.2008.62"},{"key":"7_CR125","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":"7_CR126","doi-asserted-by":"crossref","unstructured":"Siblini, R., Mansour, N.: Testing Web services. In: ACS\/IEEE 2005 International Conference on Computer Systems and Applications (AICCSA), p. 135. IEEE Computer Society (2005)","DOI":"10.1109\/AICCSA.2005.1387124"},{"key":"7_CR127","doi-asserted-by":"crossref","unstructured":"Sinha, A., Paradkar, A.: Model-based functional conformance testing of Web services operating on persistent data. In: Proceedings of the 2006 workshop on Testing, analysis, and verification of web services and applications, vol.\u00a02006, pp. 17\u201322 (2006)","DOI":"10.1145\/1145718.1145721"},{"key":"7_CR128","doi-asserted-by":"crossref","unstructured":"Sneed, H.M., Huang, S.: WSDLTest - A tool for testing web services. In: Proceedings of the Eighth IEEE International Symposium on Web Site Evolution (WSE\u201906), pp. 14\u201321 (2006)","DOI":"10.1109\/WSE.2006.24"},{"key":"7_CR129","doi-asserted-by":"crossref","unstructured":"Spanoudakis, G., Kloukinas, C., Androutsopoulos, K.: Towards security monitoring patterns. In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), pp. 1518\u20131525 (2007)","DOI":"10.1145\/1244002.1244327"},{"key":"7_CR130","doi-asserted-by":"crossref","unstructured":"Spanoudakis, G., Mahbub, K.: Requirements Monitoring for Service-Based Systems: Towards a framework based on Event Calculus. In: 19th IEEE International Conference on Automated Software Engineering (ASE 2004), Linz, Austria, 20-25 September 2004, pp. 379\u2013384 (2004)","DOI":"10.1109\/ASE.2004.1342769"},{"key":"7_CR131","doi-asserted-by":"crossref","unstructured":"Tang, Y., Chen, L., He, K.T., Jing, N.: SRN: An Extended Petri-Net-Based Workflow Model for Web Service Composition. In: Proceeding of the International Conference on Web Services (ICWS), pp. 591\u2013599 (2004)","DOI":"10.1109\/ICWS.2004.1314786"},{"key":"7_CR132","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/11749776_12","volume-title":"Innovative Internet Community Systems","author":"A. Tarhini","year":"2006","unstructured":"Tarhini, A., Fouchal, H., Mansour, N.: A simple approach for testing web service based applications. In: Bui, A., Bui, M., B\u00f6hme, T., Unger, H. (eds.) IICS 2005. LNCS, vol.\u00a03908, pp. 134\u2013146. Springer, Heidelberg (2006)"},{"key":"7_CR133","unstructured":"Tierney, B., Aydt, R.A., Gunter, D., Smith, W., Taylor, V., Wolski, R., Swany, M.: A Grid Monitoring Architecture. Informational Document GFD-I.7, Global Grid Forum (January 2002)"},{"issue":"4","key":"7_CR134","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1155\/2004\/543965","volume":"12","author":"H.-L. Truong","year":"2004","unstructured":"Truong, H.-L., Fahringer, T.: SCALEA-G: a Unified Monitoring and Performance Analysis System for the Grid. Scientific Programming (AxGrids 2004 Special Issue)\u00a012(4), 225\u2013237 (2004)","journal-title":"Scientific Programming"},{"key":"7_CR135","doi-asserted-by":"crossref","unstructured":"Tsai, W., Chen, Y., Paul, R., Huang, H., Zhou, X., Wei, X.: Adaptive testing, oracle generation, and test case ranking for web services. In: 29th Annual International Computer Software and Applications Conference (COMPSAC), vol.\u00a01, pp. 101\u2013106 (2005)","DOI":"10.1109\/COMPSAC.2005.40"},{"issue":"12","key":"7_CR136","doi-asserted-by":"publisher","first-page":"2691","DOI":"10.1093\/ietisy\/e88-d.12.2691","volume":"E88-D","author":"W.-T. TSAI","year":"2005","unstructured":"Tsai, W., Wei, X., Chen, Y., Paul, R., Xiao, B.: Swiss cheese test case generation for web services testing. IEICE Transactions on Information and Systems, E88-D(12):2691\u20132698 (2005)","journal-title":"IEICE Transactions on Information and Systems"},{"key":"7_CR137","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1007\/978-3-540-30483-8_38","volume-title":"Content Computing","author":"W.-T. Tsai","year":"2004","unstructured":"Tsai, W.-T., Chen, Y., Cao, Z., Bai, X., Huang, H., Paul, R.: Testing web services using progressive group testing. In: Chi, C.-H., Lam, K.-Y. (eds.) AWCC 2004. LNCS, vol.\u00a03309, pp. 314\u2013322. Springer, Heidelberg (2004)"},{"key":"7_CR138","unstructured":"Tsai, W.T., Paul, R., Yu, L., Saimi, A., Cao, Z.: Scenario-Based Web Services Testing with Distributed Agents. IEICE Transaction on Information and System, E86-D(10):2130\u20132144 (2003)"},{"key":"7_CR139","doi-asserted-by":"crossref","unstructured":"Tsai, W.T., Paul, R., Wang, Y., Fan, C., Wang, D.: Extending WSDL to Facilitate Web Services Testing. In: 7th IEEE International Symposium on High Assurance Systems Engineering (HASE\u201902), vol. 00, p. 171. IEEE Computer Society (2002)","DOI":"10.1109\/HASE.2002.1173119"},{"key":"7_CR140","doi-asserted-by":"crossref","unstructured":"Tsai, W.T., Wei, X., Chen, Y., Paul, R.: A Robust Testing Framework for Verifying Web Services by Completeness and Consistency Analysis. In: SOSE \u201905: Proceedings of the IEEE International Workshop, pp. 159\u2013166. IEEE Computer Society (2005)","DOI":"10.1109\/SOSE.2005.2"},{"key":"7_CR141","doi-asserted-by":"crossref","unstructured":"Tsai, W.T., Wei, X., Chen, Y., Xiao, B., Paul, R., Huang, H.: Developing and assuring trustworthy web services. In: ISADS 2005: Proceedings of the 7th International Symposium on Autonomous Decentralized Systems, Chengdu, China, 2005, pp. 43\u201350. IEEE Computer Society,","DOI":"10.1109\/ISADS.2005.1452016"},{"key":"7_CR142","doi-asserted-by":"crossref","unstructured":"Tsai, W.T., Zhang, D., Paul, R., Chen, Y.: Stochastic Voting Algorithms for Web Services Group Testing. In: QSIC \u201905: Proceedings of the Fifth International Conference on Quality Software, pp. 99\u2013108. IEEE Computer Society (2005)","DOI":"10.1109\/QSIC.2005.58"},{"key":"7_CR143","doi-asserted-by":"crossref","unstructured":"Tsai, W.-T., Paul, R.A., Song, W., Cao, Z.: Coyote: An XML-Based Framework for Web Services Testing. In: Proceedings of the 7th IEEE International Symposium on High Assurance Systems Engineering (HASE), pp. 173\u2013176 (2002)","DOI":"10.1109\/HASE.2002.1173120"},{"key":"7_CR144","doi-asserted-by":"crossref","unstructured":"Tsai, W.T., Bai, X., Chen, Y., Zhou, X.: Web Service Group Testing with Windowing Mechanisms. In: IEEE International Workshop on Service-Oriented System Engineering (SOSE), pp. 213\u2013218 (2005)","DOI":"10.1109\/SOSE.2005.41"},{"key":"7_CR145","doi-asserted-by":"crossref","unstructured":"Tsai, W.T., Chen, Y., Paul, R., Liao, N., Huang, H.: Cooperative and Group Testing in Verification of Dynamic Composite Web Services. In: Workshop on Quality Assurance and Testing of Web-Based Applications, in conjunction with COMPSAC, pp. 170\u2013173 (2004)","DOI":"10.1109\/CMPSAC.2004.1342703"},{"key":"7_CR146","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P.: Workflow verification: Finding control-flow errors using petri-net-based techniques. In: Business Process Management, pp. 161\u2013183 (2000)","DOI":"10.1007\/3-540-45594-9_11"},{"key":"7_CR147","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2004.10.013","volume":"121","author":"W.M.P. Aalst van der","year":"2005","unstructured":"van der Aalst, W.M.P., de Medeiros, A.K.A.: Process Mining and Security: Detecting Anomalous Process Executions and Checking Process Conformance. Electr. Notes Theor. Comput. Sci.\u00a0121, 3\u201321 (2005)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"7_CR148","series-title":"Lecture Notes in Computer Science","volume-title":"Business Process Management","year":"2003","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.): BPM 2003. LNCS, vol.\u00a02678. Springer, Heidelberg (2003)"},{"key":"7_CR149","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1007\/11494744_25","volume-title":"Applications and Theory of Petri Nets 2005","author":"B.F. Dongen van","year":"2005","unstructured":"van Dongen, B.F., de Medeiros, A.K.A., Verbeek, H.M.W(E.), Weijters, A.J.M.M.T., van der Aalst, W.M.P.: The proM framework: A new era in process mining tool support. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol.\u00a03536, pp. 444\u2013454. Springer, Heidelberg (2005)"},{"key":"7_CR150","unstructured":"Verbeek, H.M.W., van der Aalst, W.M.P.: Analyzing BPEL Processes using Petri Nets. In: Proceedings of the 2nd International Workshop on Applications of Petri Nets to Coordination, Workflow and Business Process Management, pp. 59\u201378 (2005)"},{"key":"7_CR151","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1023\/A:1024884626434","volume":"14","author":"J. Vonk","year":"2003","unstructured":"Vonk, J., Grefen, P.: Cross-organizational transaction support for E-services in virtual enterprises. Distrib. Parallel. Dat.\u00a014, 137\u2013172 (2003)","journal-title":"Distrib. Parallel. Dat."},{"key":"7_CR152","doi-asserted-by":"crossref","unstructured":"Wang, Y., Bai, X., Li, J., Huang, R.: Ontology-based test case generation for testing web services. In: Proceedings of the Eighth International Symposium on Autonomous Decentralized Systems, pp. 43\u201350 (2007)","DOI":"10.1109\/ISADS.2007.54"},{"key":"7_CR153","doi-asserted-by":"crossref","unstructured":"Wombacher, A., Fankhauser, P., Neuhold, E.: Transforming BPEL into annotated deterministic finite state automata for service discovery. In: ICWS \u201904: Proceedings of the IEEE International Conference on Web Services, Washington, DC, USA, p. 316. IEEE Computer Society (2004)","DOI":"10.1109\/ICWS.2004.1314753"},{"key":"7_CR154","unstructured":"Xu, W., Offutt, J., Luo, J.: Testing Web services by XML perturbation. In: Proceedings. 16th IEEE International Symposium on Software Reliability Engineering, p. 10 (2006)"},{"key":"7_CR155","doi-asserted-by":"crossref","unstructured":"Yi, X., Kochut, K.J.: A CP-nets-based Design and Verification Framework for Web Services Composition. In: Proceeding of the International Conference on Web Services (ICWS), p. 756 (2004)","DOI":"10.1109\/ICWS.2004.1314810"},{"key":"7_CR156","doi-asserted-by":"crossref","unstructured":"Zannier, C., Melnik, G., Maurer, F.: On the success of empirical studies in the international conference on software engineering. In: ICSE \u201906: Proceedings of the 28th international conference on Software engineering, New York, NY, USA, pp. 341\u2013350. ACM (2006)","DOI":"10.1145\/1134285.1134333"}],"container-title":["Lecture Notes in Computer Science","Service Research Challenges and Solutions for the Future Internet"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17599-2_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,28]],"date-time":"2025-02-28T20:41:28Z","timestamp":1740775288000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17599-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642175985","9783642175992"],"references-count":156,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17599-2_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}