Verification framework for dynamic collaborative services in service-oriented architecture

W. T. Tsai, Qian Huang, Bingnan Xiao, Yinong Chen

Research output: Chapter in Book/Report/Conference proceedingConference contribution

10 Scopus citations

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.

Original languageEnglish (US)
Title of host publicationProceedings - Sixth International Conference on Quality Software, QSIC 2006
Pages313-320
Number of pages8
DOIs
StatePublished - 2006
Event6th International Conference on Quality Software, QSIC 2006 - Beijing, China
Duration: Oct 27 2006Oct 28 2006

Publication series

NameProceedings - International Conference on Quality Software
ISSN (Print)1550-6002

Other

Other6th International Conference on Quality Software, QSIC 2006
CountryChina
CityBeijing
Period10/27/0610/28/06

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'Verification framework for dynamic collaborative services in service-oriented architecture'. Together they form a unique fingerprint.

Cite this