Verification Framework for Dynamic Collaborative Services in SOA

Verification Framework for Dynamic Collaborative Services in SOA

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
Verification Framework for Dynamic Collaborative Services in Service- Oriented Architecture W. T. Tsai, Qian Huang, Bingnan Xiao, and Yinong Chen Arizona State University, Tempe, AZ 85287-8809, USA {wtsai, qhuang, bnxiao, [email protected] Abstract This paper introduces a dynamic verification framework for collaborative services in Service- Oriented Architecture (SOA). Collaboration plays a critical role in SOA, an effective verification framework for collaboration will greatly reduce the effort for rapid and adaptive service composition and evaluation of applications based on collaborative services. The verification framework provides a service-oriented infrastructure for completeness and consistency analyses, model-checking, simulation, and policy enforcement of process specification based on collaborative services in SOA. The paper presents the concepts, architecture, profiling techniques and illustrative examples that demonstrate the concepts and the techniques. 1. Introduction Service-Oriented Architecture (SOA) is a new paradigm for software development [7][10]. Service collaboration is essential in SOA because a complex service is always composed of several constituent services. Recently, ebXML has introduced a set of dynamic collaboration protocols (DCP) such as CPP (Collaboration Protocol Profile) and CPA (Collaboration Protocol Agreement), the key concept of DCP is that services will determine their collaboration at runtime. This new dynamism also introduces new challenges in verification and validation (V&V) of SOA applications. This paper introduces a dynamic collaboration verification framework for dynamic process collaboration in SOA. The framework provides support for static and dynamic analyses including consistency analysis, use scenario compatibility analysis, model checking, simulation, dynamic testing, and policy enforcement to evaluate large scale distributed service- oriented systems. The rest of this paper is organized as follows. Section 2 outlines the dynamic collaboration framework. Section 3 presents the collaboration verification framework in detail. Section 4 illustrates the verification process in the dynamic collaboration framework using an example. Section 5 concludes the paper and discusses future work. 2. Dynamic Service Collaboration 2.1. Evolution of Process Collaboration Process collaboration requires more than data collaborations. It requires not only interoperability, but also collaboration among participating parties to achieve the designated mission. Procedural Paradigm : Collaboration is often achieved statically via procedure calls, and most procedure calls must be explicitly specified in the code. Object-Oriented paradigm : data and its processing are bound together. Collaboration can be achieved through message passing. Furthermore, polymorphism and dynamic binding allow actual methods called to be determined at runtime. However, the methods selected are still limited to the methods pre-implemented in the inheritance hierarchy. SOA paradigm
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 03/23/2011 for the course COMPUTER S DIT09M1-10 taught by Professor Saman during the Spring '10 term at Sheffield Hallam.

Page1 / 8

Verification Framework for Dynamic Collaborative Services in SOA

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online