Validation and Verification Policies for Governance of Service Choreographies

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.

[1]  Márcio Eduardo Delamaro,et al.  Built-In Structural Testing of Web Services , 2010, 2010 Brazilian Symposium on Software Engineering.

[2]  Arie van Deursen,et al.  Evaluation of online testing for services: a case study , 2010, PESOS '10.

[3]  Carlo Ghezzi,et al.  The Fading Boundary between Development Time and Run Time , 2011, 2011 IEEE Ninth European Conference on Web Services.

[4]  Andrea Polini,et al.  SOA Test Governance: Enabling Service Integration Testing across Organization and Technology Borders , 2009, 2009 International Conference on Software Testing, Verification, and Validation Workshops.

[5]  P. Verhulst.  Notice sur la loi que la population pursuit dans son accroissement , 1838 .

[6]  Rajeev Motwani,et al.  The PageRank Citation Ranking : Bringing Order to the Web , 1999, WWW 1999.

[7]  Andrea Polini,et al.  Audition of Web Services for Testing Conformance to Open Specified Protocols , 2004, Architecting Systems with Trustworthy Components.

[8]  Miguel-Ángel Sicilia,et al.  SOPHIE: Use case and evaluation , 2008, Inf. Softw. Technol..

[9]  Andrea Polini,et al.  A Counter-Example Testing Approach for Orchestrated Services , 2010, 2010 Third International Conference on Software Testing, Verification and Validation.

[10]  Luciano Baresi,et al.  Toward Open-World Software: Issue and Challenges , 2006, Computer.

[11]  Andrea Polini,et al.  Enhancing Service Federation Trustworthiness through Online Testing , 2012, Computer.

[12]  Audun Jøsang,et al.  A survey of trust and reputation systems for online service provision , 2007, Decis. Support Syst..

[13]  David Stuart Robertson,et al.  Choreographing Web Services , 2009, IEEE Transactions on Services Computing.

[14]  Gene H. Golub,et al.  Exploiting the Block Structure of the Web for Computing , 2003 .

[15]  Antonia Bertolino,et al.  More testable service compositions by test metadata , 2011, Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE).

[16]  Wei-Tek Tsai,et al.  Scenario-Based Web Services Testing with Distributed Agents , 2003 .

[17]  Eda Marchetti,et al.  Bringing white-box testing to Service Oriented Architectures through a Service Oriented Approach , 2011, J. Syst. Softw..

[18]  Douglas C. Schmidt,et al.  Ultra-Large-Scale Systems: The Software Challenge of the Future , 2006 .

[19]  Raj Jain,et al.  A survey of the research on future internet architectures , 2011, IEEE Communications Magazine.

[20]  Audun Jøsang,et al.  AIS Electronic Library (AISeL) , 2017 .