TY - JOUR
T1 - A policy enforcement framework for verification and control of service collaboration
AU - Tsai, W. T.
AU - Zhou, Xinyu
AU - Wei, Xiao
N1 - Copyright:
Copyright 2007 Elsevier B.V., All rights reserved.
PY - 2008/1
Y1 - 2008/1
N2 - This paper proposes a policy enforcement framework to dynamically verify and control the collaboration process in Service-Oriented Architecture (SOA). Dynamic SOA collaboration is different from traditional service collaboration where the workflow is pre-defined at design time while the services used can be discovered at runtime. In dynamic collaboration, both the workflows and services can be determined at runtime. As they will be determined at runtime, many verification activities can be performed at runtime. This paper proposes a dynamic policy enforcement framework that follows the dynamic SOA collaboration process to ensure that various system constraints can be enforced at runtime. The framework includes a policy specification language, a policy completeness and consistency checking, and distributed policy enforcement. Finally, this paper presents the construction of a sample example to illustrate these features with quantitative performance data.
AB - This paper proposes a policy enforcement framework to dynamically verify and control the collaboration process in Service-Oriented Architecture (SOA). Dynamic SOA collaboration is different from traditional service collaboration where the workflow is pre-defined at design time while the services used can be discovered at runtime. In dynamic collaboration, both the workflows and services can be determined at runtime. As they will be determined at runtime, many verification activities can be performed at runtime. This paper proposes a dynamic policy enforcement framework that follows the dynamic SOA collaboration process to ensure that various system constraints can be enforced at runtime. The framework includes a policy specification language, a policy completeness and consistency checking, and distributed policy enforcement. Finally, this paper presents the construction of a sample example to illustrate these features with quantitative performance data.
KW - Dynamic collaboration
KW - Policy enforcement
KW - Runtime verification
KW - Service-Oriented Architecture
UR - http://www.scopus.com/inward/record.url?scp=36749019202&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=36749019202&partnerID=8YFLogxK
U2 - 10.1007/s10257-007-0059-8
DO - 10.1007/s10257-007-0059-8
M3 - Article
AN - SCOPUS:36749019202
SN - 1617-9846
VL - 6
SP - 83
EP - 107
JO - Information Systems and e-Business Management
JF - Information Systems and e-Business Management
IS - 1
ER -