An Approach for Verification in Service-Oriented Computing

Verification is an essential engineering activity to enhance software quality by checking the conformance of an artifact to its given specification, typically in criteria of completeness and correctness. Service-Oriented Computing (SOC) incorporates a new computing paradigm of publish-discover-compose, in which service providers publish services, service dynamically consumers discover right service and aggregate them into a service composition. Since this paradigm is not presented in conventional computing paradigm such as object-oriented paradigm, conventional verification methods do not effectively apply to SOC. Rather, verification in SOC requires a new conceptual framework on verification criteria, verification paths, and verification methods. In this paper, we present a formal framework for verifying various artifacts of service-oriented development. We first present a generic SOC process model and its key artifacts. And, we provide representations of key artifacts, and propose methods for checking completeness and correctness of key artifacts. We present a case study to show the applicability of the verification framework in practice.