Embedding continuous lifelong verification in service life cycles

Service-oriented systems are an instantiation of open world software, which is characterized by high dynamism and decentralization. These properties strongly impact on how service-oriented systems are engineered, built, and operated, as well as verified. To address the challenges of applying verification to open service-oriented systems, in this position paper we propose to apply verification across the entire life cycle of a service and introduce a verification-oriented service life cycle.

[1]  Carlo Ghezzi,et al.  A journey to highly dynamic, self-adaptive service-based applications , 2008, Automated Software Engineering.

[2]  M. Brian Blake,et al.  Decomposing Composition: Service-Oriented Software Engineers , 2007, IEEE Software.

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

[4]  Isabelle Simplot-Ryl,et al.  Integrating Contract-based Security Monitors in the Software Development Life Cycle , 2007 .

[5]  Luciano Baresi,et al.  Test and Analysis of Web Services , 2007, Test and Analysis of Web Services.

[6]  Mike P. Papazoglou,et al.  The Challenges of Service Evolution , 2008, CAiSE.

[7]  Carlo Ghezzi,et al.  Towards a methodology for lifelong validation of service compositions , 2008, SDSOA '08.

[8]  Carlo Ghezzi,et al.  Rethinking the Use of Models in Software Architecture , 2008, QoSA.

[9]  Mike P. Papazoglou,et al.  Service-oriented design and development methodology , 2006, Int. J. Web Eng. Technol..

[10]  Patricia Lago,et al.  A stakeholder-driven service life cycle model for SOA , 2007, IW-SOSWE '07.

[11]  Brian Henderson-Sellers,et al.  ASOP: An Agile Service-Oriented Process , 2007, SoMeT.

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

[13]  Kent L. Beck,et al.  Test-driven Development - by example , 2002, The Addison-Wesley signature series.

[14]  Carlo Ghezzi,et al.  Model evolution by run-time parameter adaptation , 2009, 2009 IEEE 31st International Conference on Software Engineering.