Verification framework for dynamic collaborative services in service-oriented architecture

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

doi:10.1109/QSIC.2006.66

Verification framework for dynamic collaborative services in service-oriented architecture

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

Computing and Augmented Intelligence, School of (IAFSE-SCAI)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

11 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 language	English (US)
Title of host publication	Proceedings - Sixth International Conference on Quality Software, QSIC 2006
Pages	313-320
Number of pages	8
DOIs	https://doi.org/10.1109/QSIC.2006.66
State	Published - 2006
Event	6th International Conference on Quality Software, QSIC 2006 - Beijing, China Duration: Oct 27 2006 → Oct 28 2006

Publication series

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

Other

Other	6th International Conference on Quality Software, QSIC 2006
Country/Territory	China
City	Beijing
Period	10/27/06 → 10/28/06

ASJC Scopus subject areas

General Engineering

Access to Document

10.1109/QSIC.2006.66

Cite this

Verification framework for dynamic collaborative services in service-oriented architecture. / Tsai, W. T.; Huang, Qian; Xiao, Bingnan et al.
Proceedings - Sixth International Conference on Quality Software, QSIC 2006. 2006. p. 313-320 4032300 (Proceedings - International Conference on Quality Software).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Tsai, WT, Huang, Q, Xiao, B & Chen, Y 2006, Verification framework for dynamic collaborative services in service-oriented architecture. in Proceedings - Sixth International Conference on Quality Software, QSIC 2006., 4032300, Proceedings - International Conference on Quality Software, pp. 313-320, 6th International Conference on Quality Software, QSIC 2006, Beijing, China, 10/27/06. https://doi.org/10.1109/QSIC.2006.66

@inproceedings{882d7c625b9c4c70a844e3824e51a2b7,

title = "Verification framework for dynamic collaborative services in service-oriented architecture",

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.",

author = "Tsai, {W. T.} and Qian Huang and Bingnan Xiao and Yinong Chen",

year = "2006",

doi = "10.1109/QSIC.2006.66",

language = "English (US)",

isbn = "0769527183",

series = "Proceedings - International Conference on Quality Software",

pages = "313--320",

booktitle = "Proceedings - Sixth International Conference on Quality Software, QSIC 2006",

note = "6th International Conference on Quality Software, QSIC 2006 ; Conference date: 27-10-2006 Through 28-10-2006",

}

TY - GEN

T1 - Verification framework for dynamic collaborative services in service-oriented architecture

AU - Tsai, W. T.

AU - Huang, Qian

AU - Xiao, Bingnan

AU - Chen, Yinong

PY - 2006

Y1 - 2006

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=34250750693&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=34250750693&partnerID=8YFLogxK

U2 - 10.1109/QSIC.2006.66

DO - 10.1109/QSIC.2006.66

M3 - Conference contribution

AN - SCOPUS:34250750693

SN - 0769527183

SN - 9780769527185

T3 - Proceedings - International Conference on Quality Software

SP - 313

EP - 320

BT - Proceedings - Sixth International Conference on Quality Software, QSIC 2006

T2 - 6th International Conference on Quality Software, QSIC 2006

Y2 - 27 October 2006 through 28 October 2006

ER -

Verification framework for dynamic collaborative services in service-oriented architecture

Abstract

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this