Safe substitution for service-based applications

Authors:
Shin Nakajima
Affiliations:
NII, Japan
Venue:
Proceedings of the 2013 International Workshop on Quality Assurance for Service-based Applications
Year:
2013

Citing 4
Cited 0

Systematic software development using VDM (2nd ed.)

Systematic software development using VDM (2nd ed.)
A behavioral notion of subtyping

ACM Transactions on Programming Languages and Systems (TOPLAS)
Supporting the dynamic evolution of Web service protocols in service-oriented architectures

ACM Transactions on the Web (TWEB)
An Architecture of Dynamically Adaptive PHP-based Web Applications

APSEC '11 Proceedings of the 2011 18th Asia-Pacific Software Engineering Conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.