Skip to main content

Governance Policies for Verification and Validation of Service Choreographies

  • Conference paper

Part of the book series: Lecture Notes in Business Information Processing ((LNBIP,volume 140))

Abstract

The Future Internet (FI) sustains the emerging vision of a software ecosystem in which pieces of software, developed, owned and run by different organizations, can be dynamically discovered and bound to each other so to readily start to interact. Nevertheless, without suitable mechanisms, paradigms and tools, this ecosystem is at risk of tending towards chaos. Indeed the take off of FI passes through the introduction of paradigms and tools permitting to establish some discipline. Choreography specifications and Governance are two different proposals which can contribute to such a vision, by permitting to define rules and functioning agreements both at the technical level and at the social (among organizations) level. In this paper we discuss such aspects and introduce a policy framework so to support a FI ecosystem in which V&V activities are controlled and perpetually run so to contribute to the quality and trustworthiness perceived by all the involved stakeholders.

This paper is supported by the European Project FP7 IP 257178: CHOReOS, and partially by the European Project FP7 NoE 256980: NESSoS.

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

Buying options

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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Pan, J., Paul, S., Jain, R.: A survey of the research on future internet architectures. IEEE Communications Magazine 49, 26–36 (2011)

    Article  Google Scholar 

  2. Fiedler, M., Gavras, A., Papanikolaou, N., Schaffers, H., Wainwright, N.: FIA Research Roadmap - Towards Framework 8: Research Priorities for the Future Internet. Technical report, The Future Internet Assembly Working Group (2011)

    Google Scholar 

  3. Barker, A., Walton, C.D., Robertson, D.: Choreographing web services. IEEE T. Services Computing 2, 152–166 (2009)

    Article  Google Scholar 

  4. Woolf, B.: Introduction to soa governance (2007) (accessed on June 15, 2011)

    Google Scholar 

  5. Trossen, D., Briscoe, B., Mahonen, P., Sollins, K., Zhang, L., Mendes, P., Hailes, S., Jerman-Blaciz, B., Papadimitrou, D.: Starting the Discussions: A white paper from the EIFFEL Think-Tank. Technical report, Eiffel TT (2009)

    Google Scholar 

  6. Greiler, M., Gross, H., van Deursen, A.: Evaluation of online testing for services: a case study. In: Proc. of PESOS, pp. 36–42. ACM (2010)

    Google Scholar 

  7. Bertolino, A., De Angelis, G., Kellomäki, S., Polini, A.: Enhancing service federation trustworthiness through online testing. IEEE Computer 45, 66–72 (2012)

    Article  Google Scholar 

  8. Ghezzi, C.: The fading boundary between development time and run time. Keynote at ECOWS, p. 11. IEEE (2011)

    Google Scholar 

  9. MacKenzie, C., Laskey, K., McCabe, F., Brown, P., Metz, R.: Reference model for service-oriented architecture. Technical report, OASIS (2006)

    Google Scholar 

  10. Bertolino, A., Polini, A.: Soa test governance: Enabling service integration testing across organization and technology borders. In: Proc. of ICSTW, pp. 277–286 (2009)

    Google Scholar 

  11. Bertolino, A., Frantzen, L., Polini, A., Tretmans, J.: Audition of Web Services for Testing Conformance to Open Specified Protocols. In: Reussner, R., Stafford, J.A., Ren, X.-M. (eds.) Architecting Systems. LNCS, vol. 3938, pp. 1–25. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  12. Jøsang, A., Ismail, R., Boyd, C.: A survey of trust and reputation systems for online service provision. Decision Support Systems 43, 618–644 (2007)

    Article  Google Scholar 

  13. Arroyo, S., Sicilia, M.Á.: Sophie: Use case and evaluation. Information & Software Technology 50, 1266–1280 (2008)

    Article  Google Scholar 

  14. Page, L., Brin, S., Motwani, R., Winograd, T.: The pagerank citation ranking: Bringing order to the web. Technical report, Stanford University (1999)

    Google Scholar 

  15. Kamvar, S.D., Haveliwala, T.H., Manning, C.D., Golub, G.H.: Exploiting the block structure of the web for computing pagerank. Technical report, Stanford University (2003)

    Google Scholar 

  16. Verhulst, P.F.: Notice sur la loi que la population poursuit dans son accroissement. Correspondance Mathématique et Physique 10 (1838)

    Google Scholar 

  17. Jøsang, A., Ismail, R.: The Beta Reputation System. In: Proc. of the Bled Electronic Commerce Conference (2002)

    Google Scholar 

  18. Tsai, W.T., et al.: Scenario-based web service testing with distributed agents. IEICE Transaction on Information and System E86-D (2003)

    Google Scholar 

  19. Eler, M., Delamaro, M., Maldonado, J., Masiero, P.: Built-in structural testing of web services. In: Proc. of Brazilian Symp. on Soft. Engineering, pp. 70–79 (2010)

    Google Scholar 

  20. Bartolini, C., Bertolino, A., Elbaum, S.G., Marchetti, E.: Bringing white-box testing to service oriented architectures through a service oriented approach. Journal of Systems and Software 84, 655–668 (2011)

    Article  Google Scholar 

  21. Eler, M.M., Bertolino, A., Masiero, P.: More testable service compositions by test metadata. In: Proc. of SOSE. IEEE CS (2011)

    Google Scholar 

  22. De Angelis, F., De Angelis, G., Polini, A.: A counter-example testing approach for orchestrated services. In: Proc. of ICST 2010, pp. 373–382. IEEE CS (2010)

    Google Scholar 

  23. Pollak, B. (ed.): Ultra-Large-Scale Systems - The Software Challenge of the Future. Software Engineering Institute - Carnegie Mellon (2006)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bertolino, A., De Angelis, G., Polini, A. (2013). Governance Policies for Verification and Validation of Service Choreographies. In: Cordeiro, J., Krempels, KH. (eds) Web Information Systems and Technologies. WEBIST 2012. Lecture Notes in Business Information Processing, vol 140. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-36608-6_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-36608-6_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-36607-9

  • Online ISBN: 978-3-642-36608-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics