Safe substitution for service-based applications

In order to have desired levels of flexibility, service-based applications (SBAs) are dynamically adapted to replace constituent software services at runtime. These services are owned, provided, and developed by third parties, which makes it difficult to know whether such service components introduce undesirable features into the SBA. It requires a new method to ensure that the replacement or substitution is safe. This paper proposes an integrity-based substitution checking method and uses an adaptive Web application as an example for demonstrating the effectiveness of the proposed approach.

[1]  Cliff B. Jones,et al.  Systematic software development using VDM (2. ed.) , 1990, Prentice Hall International Series in Computer Science.

[2]  Benjamin Goldberg,et al.  From requirements to specifications , 2005, 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05).

[3]  Matt Bishop,et al.  What Is Computer Security? , 2003, IEEE Secur. Priv..

[4]  Fabio Casati,et al.  Supporting the dynamic evolution of Web service protocols in service-oriented architectures , 2008, TWEB.

[5]  Michael J. Muller,et al.  Requirements specification , 2002 .

[6]  Shin Nakajima An Architecture of Dynamically Adaptive PHP-based Web Applications , 2011, 2011 18th Asia-Pacific Software Engineering Conference.

[7]  Shin Nakajima,et al.  Lightweight formal analysis of Web service flows , 2005 .

[8]  Jeannette M. Wing,et al.  A behavioral notion of subtyping , 1994, TOPL.