loading...
Verification Framework for Dynamic Collaborative Services in Service-Oriented Architecture
Beijing, China October 27-October 28
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/QSIC.2006.66Sixth International Conference on Qua ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
W.T. Tsai, Arizona State University, USA
Qian Huang, Arizona State University, USA
Bingnan Xiao, Arizona State University, USA
Yinong Chen, Arizona State University, USA
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.
Citation:
W.T. Tsai, Qian Huang, Bingnan Xiao, Yinong Chen, "Verification Framework for Dynamic Collaborative Services in Service-Oriented Architecture," qsic, pp.313-320, Sixth International Conference on Quality Software (QSIC'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.