VALIDATION AND VERIFICATION POLICIES FOR GOVERNANCE OF SERVICE CHOREOGRAPHIES

Guglielmo De Angelis, Antonia Bertolino, Andrea Polini

2012

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.

References

  1. Arroyo, S. and Sicilia, M.-Á. (2008). Sophie: Use case and evaluation. Information & Software Technology, 50(12):1266-1280.
  2. Baresi, L., Nitto, E. D., and Ghezzi, C. (2006). Toward open-world software: Issue and challenges. Computer, 39:36-43.
  3. Barker, A., Walton, C. D., and Robertson, D. (2009). Choreographing web services. IEEE T. Services Computing, 2(2):152-166.
  4. Bartolini, C., Bertolino, A., Elbaum, S. G., and Marchetti, E. (2011). Bringing white-box testing to service oriented architectures through a service oriented approach. Journal of Systems and Software, 84(4):655- 668.
  5. Bertolino, A., De Angelis, G., Kellomäki, S., and Polini, A. (2012). Enhancing service federation trustworthiness through online testing. IEEE Computer, 45(1):66-72.
  6. Bertolino, A., Frantzen, L., Polini, A., and Tretmans, J. (2006). Audition of Web Services for Testing Conformance to Open Specified Protocols. In Architecting Systems with Trustworthy Components, number 3938 in LNCS, pages 1-25. Springer.
  7. Bertolino, A. and Polini, A. (2009). Soa test governance: Enabling service integration testing across organization and technology borders. In Proc. of ICSTW, pages 277-286.
  8. De Angelis, F., De Angelis, G., and Polini, A. (2010). A counter-example testing approach for orchestrated services. In Proc. of ICST 2010, pages 373-382, Paris, France. IEEE Computer Society.
  9. Eler, M., Delamaro, M., Maldonado, J., and Masiero, P. (2010). Built-in structural testing of web services. In Proc. of Brazilian Symp. on Soft. Engineering, pages 70-79.
  10. Eler, M. M., Bertolino, A., and Masiero, P. (2011). More testable service compositions by test metadata. In Proc. of SOSE, Washington, DC, USA. IEEE Computer Society.
  11. Fiedler, M., Gavras, A., Papanikolaou, N., Schaffers, H., and Wainwright, N. (2011). Future Internet Assembly Research Roadmap - Towards Framework 8: Research Priorities for the Future Internet. Technical report, Future Internet Assembly Working Group.
  12. Ghezzi, C. (2011). The fading boundary between development time and run time. In Keynote at ECOWS, page 11. IEEE.
  13. Greiler, M., Gross, H., and van Deursen, A. (2010). Evaluation of online testing for services: a case study. In Proc. of PESOS, pages 36-42, New York, NY, USA. ACM.
  14. Jøsang, A. and Ismail, R. (2002). The Beta Reputation System. In Proc. of the Bled Electronic Commerce Conference.
  15. Jøsang, A., Ismail, R., and Boyd, C. (2007). A survey of trust and reputation systems for online service provision. Decision Support Systems, 43(2):618-644.
  16. Kamvar, S. D., Haveliwala, T. H., Manning, C. D., and Golub, G. H. (2003). Exploiting the block structure of the web for computing pagerank. Technical report, Stanford University.
  17. MacKenzie, C., Laskey, K., McCabe, F., Brown, P., and Metz, R. (2006). Reference model for serviceoriented architecture, version 1.0. Technical report, OASIS.
  18. Page, L., Brin, S., Motwani, R., and Winograd, T. (1999). The pagerank citation ranking: Bringing order to the web. Technical Report SIDL-WP-1999-0120, Stanford University.
  19. Pan, J., Paul, S., and Jain, R. (2011). A survey of the research on future internet architectures. Communications Magazine, IEEE, 49(7):26 -36.
  20. Pollak, B., editor (2006). Ultra-Large-Scale Systems - The Software Challenge of the Future. Software Engineering Institute - Carnegie Mellon.
  21. Trossen, D., Briscoe, B., Mahonen, P., Sollins, K., Zhang, L., Mendes, P., Hailes, S., Jerman-Blaciz, B., and Papadimitrou, D. (2009). Starting the Discussions: A white paper from the EIFFEL Think-Tank. Technical report, Eiffel TT.
  22. Tsai, W. T. et al. (2003). Scenario-based web service testing with distributed agents. IEICE Transaction on Information and System, E86-D(10):2130-2144.
  23. Verhulst, P.-F. (1838). Notice sur la loi que la population poursuit dans son accroissement. Correspondance mathématique et physique, 10.
  24. Woolf, B. (2007). Introduction to soa governance. Accessed on 15 Jun 2011.
Download


Paper Citation


in Harvard Style

Angelis G., Bertolino A. and Polini A. (2012). VALIDATION AND VERIFICATION POLICIES FOR GOVERNANCE OF SERVICE CHOREOGRAPHIES . In Proceedings of the 8th International Conference on Web Information Systems and Technologies - Volume 1: WEBIST, ISBN 978-989-8565-08-2, pages 58-70. DOI: 10.5220/0003936200580070


in Bibtex Style

@conference{webist12,
author={Guglielmo De Angelis and Antonia Bertolino and Andrea Polini},
title={VALIDATION AND VERIFICATION POLICIES FOR GOVERNANCE OF SERVICE CHOREOGRAPHIES},
booktitle={Proceedings of the 8th International Conference on Web Information Systems and Technologies - Volume 1: WEBIST,},
year={2012},
pages={58-70},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003936200580070},
isbn={978-989-8565-08-2},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 8th International Conference on Web Information Systems and Technologies - Volume 1: WEBIST,
TI - VALIDATION AND VERIFICATION POLICIES FOR GOVERNANCE OF SERVICE CHOREOGRAPHIES
SN - 978-989-8565-08-2
AU - Angelis G.
AU - Bertolino A.
AU - Polini A.
PY - 2012
SP - 58
EP - 70
DO - 10.5220/0003936200580070