Skip to main content
SpringerLink
Log in

A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions

  • Chapter
Book cover Advances in Software Engineering

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 5316))

Abstract

Service-Oriented Architectures are emerging as a promising solution to the problem of developing distributed and evolvable applications that live in an open world. We contend that developing these applications not only requires adopting a new architectural style, but more generally requires re-thinking the whole life-cycle of an application, from development time through deployment to run time. In particular, the traditional boundary between development time and run time is blurring. Validation, which traditionally pertains to development time, must now extend to run time. In this paper, we provide a tutorial introduction to SAVVY-WS, a methodology that aims at providing a novel integrated approach for design-time and run-time validation. SAVVY-WS has been developed in the context of Web service-based applications, composed via the BPEL workflow language.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Baresi, L., Di Nitto, E., Ghezzi, C.: Towards Open-World Software. IEEE Computer 39, 36–43 (2006)

    Article  Google Scholar 

  2. ICSOC: International Conference on Service-Oriented Computing series (2003–2008), http://www.icsoc.org

  3. SeCSE Project: Description of Work (2004), http://secse.eng.it/

  4. PLASTIC Project: Description of Work (2005), http://www.ist-plastic.org

  5. S-CUBE: S-CUBE network (2008), http://www.s-cube-network.eu/

  6. NESSI: Networked European Software and Services Initiative (2005), http://www.nessi-europe.com

  7. Papazoglou, M.: Web Services: Principles and Technology. Prentice-Hall, Englewood Cliffs (2008)

    Google Scholar 

  8. Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web services: Concepts, Architectures, and Applications. Springer, Heidelberg (2003)

    MATH  Google Scholar 

  9. 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)

    Google Scholar 

  10. ART DECO Project: Description of Work (2005), http://artdeco.elet.polimi.it/Artdeco

  11. DISCoRSO project: Project vision (2006), http://www.discorso.eng.it

  12. Baresi, L., Bianculli, D., Ghezzi, C., Guinea, S., Spoletini, P.: Validation of web service compositions. IET Softw 1(6), 219–232 (2007)

    Article  Google Scholar 

  13. 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. 5065, pp. 330–353. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  14. 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)

    Google Scholar 

  15. 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)

    Google Scholar 

  16. OMG: Business process modeling notation, v.1.1. OMG Available Specification (2008), http://www.omg.org/spec/BPMN/1.1/PDF

  17. 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. 3576, pp. 148–152. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  18. 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

  19. 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. 4102, pp. 257–273. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  20. 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–93. ACM Press, New York (2004)

    Chapter  Google Scholar 

  21. Konrad, S., Cheng, B.H.C.: Real-time specification patterns. In: Proceedings of the 27th International Conference on Software engineering (ICSE 2005), pp. 372–381. ACM, New York (2006)

    Google Scholar 

  22. 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. 4767, pp. 388–395. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  23. Active Endpoints: ActiveBPEL Engine Architecture (2006), http://www.activebpel.org/docs/architecture.html

  24. 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. 1241, pp. 220–242. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  25. Vardi, M.Y.: An automata-theoretic approach to linear temporal logic. In: Moller, F., Birtwistle, G. (eds.) Logics for Concurrency. LNCS, vol. 1043, pp. 238–266. Springer, Heidelberg (1996)

    Google Scholar 

  26. Kowalski, R., Sergot, M.: A logic-based calculus of events. New Gen. Comput. 4(1), 67–95 (1986)

    Article  MATH  Google Scholar 

  27. 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–630. ACM Press, New York (2004)

    Google Scholar 

  28. 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–163. IEEE Computer Society Press, Los Alamitos (2003)

    Chapter  Google Scholar 

  29. 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. 67(2-3), 162–198 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  30. 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/

  31. 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–71 (2006)

    Google Scholar 

  32. 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–824. ACM, New York (2008)

    Google Scholar 

  33. 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)

    Google Scholar 

  34. 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. 2506, pp. 28–41. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  35. 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–108 (2007)

    Google Scholar 

  36. Baresi, L., Guinea, S.: Towards dynamic monitoring of WS-BPEL processes. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 269–282. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  37. Keller, A., Ludwig, H.: The WSLA framework: specifying and monitoring service level agreement for web services. Journal of Network and System Management 11(1) (2003)

    Google Scholar 

  38. 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

  39. 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–188 (2004)

    Google Scholar 

  40. W3C Web Services Policy Working Group: WS-Policy 1.5 (2007), http://www.w3.org/2002/ws/policy/

  41. 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)

    Google Scholar 

  42. 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–12. ACM, New York (2008)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Informatics, University of Lugano, via G. Buffi 13, CH-6900, Lugano, Switzerland

    Domenico Bianculli

  2. Politecnico di Milano, DEEP-SE Group - Dipartimento di Elettronica e Informazione, piazza L. da Vinci, I-20133, Milano, Italy

    Carlo Ghezzi, Luciano Baresi & Sam Guinea

  3. Dipartimento di Scienze della Cultura, Politiche e dell’Informazione, Università dell’Insubria, via Carloni 78, I-22100, Como, Italy

    Paola Spoletini

Authors
  1. Domenico Bianculli
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Carlo Ghezzi
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Paola Spoletini
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Luciano Baresi
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Sam Guinea
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dipartimento di Informatica, Università di Pisa, Largo Bruno Pontecorvo, 3, 56127, Pisa, Italy

    Egon Börger

  2. Dipartimento di Informatica, Università di Pisa, Largo Bruno Pontecorvo 3, 56127, Pisa, Italy

    Antonio Cisternino

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Bianculli, D., Ghezzi, C., Spoletini, P., Baresi, L., Guinea, S. (2008). A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions. In: Börger, E., Cisternino, A. (eds) Advances in Software Engineering. Lecture Notes in Computer Science, vol 5316. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89762-0_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-89762-0_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-89761-3

  • Online ISBN: 978-3-540-89762-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation