{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T05:04:38Z","timestamp":1743138278669,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":42,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540897613"},{"type":"electronic","value":"9783540897620"}],"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-89762-0_5","type":"book-chapter","created":{"date-parts":[[2008,11,26]],"date-time":"2008-11-26T18:21:02Z","timestamp":1227723662000},"page":"131-160","source":"Crossref","is-referenced-by-count":6,"title":["A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions"],"prefix":"10.1007","author":[{"given":"Domenico","family":"Bianculli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlo","family":"Ghezzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Spoletini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luciano","family":"Baresi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sam","family":"Guinea","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1109\/MC.2006.362","volume":"39","author":"L. Baresi","year":"2006","unstructured":"Baresi, L., Di Nitto, E., Ghezzi, C.: Towards Open-World Software. IEEE Computer\u00a039, 36\u201343 (2006)","journal-title":"IEEE Computer"},{"key":"5_CR2","unstructured":"ICSOC: International Conference on Service-Oriented Computing series (2003\u20132008), http:\/\/www.icsoc.org"},{"key":"5_CR3","unstructured":"SeCSE Project: Description of Work (2004), http:\/\/secse.eng.it\/"},{"key":"5_CR4","unstructured":"PLASTIC Project: Description of Work (2005), http:\/\/www.ist-plastic.org"},{"key":"5_CR5","unstructured":"S-CUBE: S-CUBE network (2008), http:\/\/www.s-cube-network.eu\/"},{"key":"5_CR6","unstructured":"NESSI: Networked European Software and Services Initiative (2005), http:\/\/www.nessi-europe.com"},{"key":"5_CR7","volume-title":"Web Services: Principles and Technology","author":"M. Papazoglou","year":"2008","unstructured":"Papazoglou, M.: Web Services: Principles and Technology. Prentice-Hall, Englewood Cliffs (2008)"},{"key":"5_CR8","volume-title":"Web services: Concepts, Architectures, and Applications","author":"G. Alonso","year":"2003","unstructured":"Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web services: Concepts, Architectures, and Applications. Springer, Heidelberg (2003)"},{"key":"5_CR9","unstructured":"The SeCSE Team: Designing and deploying service-centric systems: The SeCSE way. In: Proceedings of Service-Oriented Computing: a look at the Inside (SOC@Inside 2007), workshop co-located with ICSOC 2007 (2007)"},{"key":"5_CR10","unstructured":"ART DECO Project: Description of Work (2005), http:\/\/artdeco.elet.polimi.it\/Artdeco"},{"key":"5_CR11","unstructured":"DISCoRSO project: Project vision (2006), http:\/\/www.discorso.eng.it"},{"issue":"6","key":"5_CR12","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1049\/iet-sen:20070027","volume":"1","author":"L. Baresi","year":"2007","unstructured":"Baresi, L., Bianculli, D., Ghezzi, C., Guinea, S., Spoletini, P.: Validation of web service compositions. IET Softw\u00a01(6), 219\u2013232 (2007)","journal-title":"IET Softw"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1007\/978-3-540-68679-8_21","volume-title":"Concurrency, Graphs and Models","author":"C. Ghezzi","year":"2008","unstructured":"Ghezzi, C., Inverardi, P., Montangero, C.: Dynamically evolvable dependable software: From oxymoron to reality. In: Degano, P., De Nicola, R., Meseguer, J. (eds.) Concurrency, Graphs and Models. LNCS, vol.\u00a05065, pp. 330\u2013353. Springer, Heidelberg (2008)"},{"key":"5_CR14","volume-title":"Proceedings of the 1st International Workshop on Automated engineeRing of Autonomous and run-tiMe evolvIng Systems (ARAMIS 2008)","author":"D. Bianculli","year":"2008","unstructured":"Bianculli, D., Ghezzi, C.: SAVVY-WS at a glance: supporting verifiable dynamic service compositions. In: Proceedings of the 1st International Workshop on Automated engineeRing of Autonomous and run-tiMe evolvIng Systems (ARAMIS 2008). IEEE Computer Society Press, Los Alamitos (2008)"},{"key":"5_CR15","unstructured":"Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: Business Process Execution Language for Web Services, Version 1.1 (2003)"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"OMG: Business process modeling notation, v.1.1. OMG Available Specification (2008), http:\/\/www.omg.org\/spec\/BPMN\/1.1\/PDF","DOI":"10.1299\/jsmermd.2008._1P1-E23_1"},{"key":"5_CR17","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/11513988_15","volume-title":"Computer Aided Verification","author":"M.B. Dwyer","year":"2005","unstructured":"Dwyer, M.B., Hatcliff, J., Hoosier, M., Robby: Building your own software model checker using the Bogor extensible model checking framework. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005, vol.\u00a03576, pp. 148\u2013152. Springer, Heidelberg (2005)"},{"key":"5_CR18","unstructured":"Wirsing, M., Carizzoni, G., Gilmore, S., Gonczy, L., Koch, N., Mayer, P., Palasciano, C.: SENSORIA: Software engineering for service-oriented overlay computers (2007), http:\/\/www.sensoria-ist.eu\/files\/whitePaper.pdf"},{"key":"5_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/11841760_18","volume-title":"Business Process Management","author":"M. Rouached","year":"2006","unstructured":"Rouached, M., Perrin, O., Godart, C.: Towards formal verification of web service composition. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol.\u00a04102, pp. 257\u2013273. Springer, Heidelberg (2006)"},{"key":"5_CR20","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 Press, New York (2004)"},{"key":"5_CR21","first-page":"372","volume-title":"Proceedings of the 27th International Conference on Software engineering (ICSE 2005)","author":"S. Konrad","year":"2006","unstructured":"Konrad, S., Cheng, B.H.C.: Real-time specification patterns. In: Proceedings of the 27th International Conference on Software engineering (ICSE 2005), pp. 372\u2013381. ACM, New York (2006)"},{"key":"5_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1007\/978-3-540-75698-9_26","volume-title":"International Symposium on Fundamentals of Software Engineering","author":"D. Bianculli","year":"2007","unstructured":"Bianculli, D., Spoletini, P., Morzenti, A., Pradella, M., San Pietro, P.: Model checking temporal metric specifications with trio2Promela. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol.\u00a04767, pp. 388\u2013395. Springer, Heidelberg (2007)"},{"key":"5_CR23","unstructured":"Active Endpoints: ActiveBPEL Engine Architecture (2006), http:\/\/www.activebpel.org\/docs\/architecture.html"},{"key":"5_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"G. Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C.V., Loingtier, J.-M., Irwin, J.: Aspect-oriented programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 220\u2013242. Springer, Heidelberg (1997)"},{"key":"5_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"238","DOI":"10.1007\/3-540-60915-6_6","volume-title":"Proceedings of the VIII Banff Higher order workshop conference on Logics for concurrency: structure versus automata","author":"M.Y. Vardi","year":"1996","unstructured":"Vardi, M.Y.: An automata-theoretic approach to linear temporal logic. In: Moller, F., Birtwistle, G. (eds.) Logics for Concurrency. LNCS, vol.\u00a01043, pp. 238\u2013266. Springer, Heidelberg (1996)"},{"issue":"1","key":"5_CR26","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. Kowalski","year":"1986","unstructured":"Kowalski, R., Sergot, M.: A logic-based calculus of events. New Gen. Comput.\u00a04(1), 67\u201395 (1986)","journal-title":"New Gen. Comput."},{"key":"5_CR27","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1145\/988672.988756","volume-title":"Proceedings of the 13th International Conference on World Wide Web (WWW 2004)","author":"X. Fu","year":"2004","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. ACM Press, New York (2004)"},{"key":"5_CR28","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1109\/ASE.2003.1240303","volume-title":"Proceedings of the 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 the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), pp. 152\u2013163. IEEE Computer Society Press, Los Alamitos (2003)"},{"issue":"2-3","key":"5_CR29","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. Sci. Comput. Program.\u00a067(2-3), 162\u2013198 (2007)","journal-title":"Sci. Comput. Program."},{"key":"5_CR30","unstructured":"Dijkman, R.M., Dumas, M., Ouyang, C.: Formal semantics and analysis of BPMN process models using Petri Nets (2007), http:\/\/eprints.qut.edu.au\/archive\/00007115\/"},{"key":"5_CR31","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: Proceedings of the International Conference on Web Services (ICWS 2006), Washington, pp. 63\u201371 (2006)","DOI":"10.1109\/ICWS.2006.113"},{"key":"5_CR32","doi-asserted-by":"crossref","first-page":"815","DOI":"10.1145\/1367497.1367607","volume-title":"Proceedings of the 17th International Conference on World Wide Web (WWW 2008)","author":"O. Moser","year":"2008","unstructured":"Moser, O., Rosenberg, F., Dustdar, S.: Non-intrusive monitoring and service adaptation for WS-BPEL. In: Proceedings of the 17th International Conference on World Wide Web (WWW 2008), pp. 815\u2013824. ACM, New York (2008)"},{"key":"5_CR33","volume-title":"Proceedings of the 16th International Symposium on the Foundations of Software Engineering (SIGSOFT 2008 - FSE 16)","author":"F. Raimondi","year":"2008","unstructured":"Raimondi, F., Skene, J., Emmerich, W.: Efficient monitoring of web service SLAs. In: Proceedings of the 16th International Symposium on the Foundations of Software Engineering (SIGSOFT 2008 - FSE 16). ACM Press, New York (2008)"},{"key":"5_CR34","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., Jin, L.J., Casati, F.: Automated SLA monitoring for web services. In: Feridun, M., Kropf, P.G., Babin, G. (eds.) DSOM 2002, vol.\u00a02506, pp. 28\u201341. Springer, Heidelberg (2002)"},{"key":"5_CR35","doi-asserted-by":"crossref","unstructured":"Erradi, A., Maheshwari, P., Tosic, V.: WS-Policy based monitoring of composite web services. In: Proceedings of the 5th European Conference on Web Services (ECOWS 2007). IEEE Computer Society, pp. 99\u2013108 (2007)","DOI":"10.1109\/ECOWS.2007.31"},{"key":"5_CR36","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":"5_CR37","doi-asserted-by":"crossref","unstructured":"Keller, A., Ludwig, H.: The WSLA framework: specifying and monitoring service level agreement for web services. Journal of Network and System Management\u00a011(1) (2003)","DOI":"10.1023\/A:1022445108617"},{"key":"5_CR38","unstructured":"Andrieux, A., Czajkowski, K., Dan, A., Keahey, K., Ludwig, H., Nakata, T., Pruyne, J., Rofrano, J., Tuecke, S., Xu, M.: Web Services Agreement Specification, WS-Agreement (2007), http:\/\/www.ogf.org\/documents\/GFD.107.pdf"},{"key":"5_CR39","doi-asserted-by":"crossref","unstructured":"Skene, J., Lamanna, D.D., Emmerich, W.: Precise service level agreements. In: Proceedings of the 26th International Conference on Software Engineering (ICSE 2004). IEEE Computer Society, pp. 179\u2013188 (2004)","DOI":"10.1109\/ICSE.2004.1317440"},{"key":"5_CR40","unstructured":"W3C Web Services Policy Working Group: WS-Policy 1.5 (2007), http:\/\/www.w3.org\/2002\/ws\/policy\/"},{"key":"5_CR41","unstructured":"Gorton, S., Montangero, C., Reiff-Marganiec, S., Semini, L.: StPowla: SOA, Policies and Workflows. In: Proceedings of the 3rd International Workshop on Engineering Service-Oriented Applications: Analysis, Design, and Composition (WESOA 2007) (2007)"},{"key":"5_CR42","first-page":"7","volume-title":"Proceedings of the 2nd International Workshop on Systems Development in SOA Environments (SDSOA 2008), co-located with ICSE 2008","author":"D. Bianculli","year":"2008","unstructured":"Bianculli, D., Ghezzi, C.: Towards a methodology for lifelong validation of service compositions. In: Proceedings of the 2nd International Workshop on Systems Development in SOA Environments (SDSOA 2008), co-located with ICSE 2008, Leipzig, Germany, pp. 7\u201312. ACM, New York (2008)"}],"container-title":["Lecture Notes in Computer Science","Advances in Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-89762-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,21]],"date-time":"2023-05-21T14:14:51Z","timestamp":1684678491000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89762-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540897613","9783540897620"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89762-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}