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.
[1]
C. C. Calhoun,et al.
Applying independent verification & validation to ATE
,
1997,
1997 IEEE Autotestcon Proceedings AUTOTESTCON '97. IEEE Systems Readiness Technology Conference. Systems Readiness Supporting Global Needs and Awareness in the 21st Century.
[2]
Soo Dong Kim,et al.
A Service-Oriented Analysis and Design Approach to Developing Adaptable Services
,
2007,
IEEE International Conference on Services Computing (SCC 2007).
[3]
Yushun Fan,et al.
TOWARDS FORMAL VERIFICATION OF WEB SERVICE COMPOSITION
,
2005
.
[4]
Yong Xiao,et al.
Verifying web services composition based on hierarchical colored petri nets
,
2005,
IHIS '05.
[5]
Abdelkarim Erradi,et al.
SOAF: An Architectural Framework for Service Definition and Realization
,
2006,
2006 IEEE International Conference on Services Computing (SCC'06).
[6]
Qian Huang,et al.
Verification Framework for Dynamic Collaborative Services in Service-Oriented Architecture
,
2006,
2006 Sixth International Conference on Quality Software (QSIC'06).