A policy enforcement framework for verification and control of service collaboration

W. T. Tsai, Xinyu Zhou, Xiao Wei

Research output: Contribution to journalArticle

15 Citations (Scopus)

Abstract

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.

Original languageEnglish (US)
Pages (from-to)83-107
Number of pages25
JournalInformation Systems and e-Business Management
Volume6
Issue number1
DOIs
StatePublished - Jan 2008

Fingerprint

Service oriented architecture (SOA)
Specification languages
Enforcement
Service-oriented architecture

Keywords

  • Dynamic collaboration
  • Policy enforcement
  • Runtime verification
  • Service-Oriented Architecture

ASJC Scopus subject areas

  • Business, Management and Accounting(all)

Cite this

A policy enforcement framework for verification and control of service collaboration. / Tsai, W. T.; Zhou, Xinyu; Wei, Xiao.

In: Information Systems and e-Business Management, Vol. 6, No. 1, 01.2008, p. 83-107.

Research output: Contribution to journalArticle

@article{0aada9c02c5f474a936c988977a8c28c,
title = "A policy enforcement framework for verification and control of service collaboration",
abstract = "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.",
keywords = "Dynamic collaboration, Policy enforcement, Runtime verification, Service-Oriented Architecture",
author = "Tsai, {W. T.} and Xinyu Zhou and Xiao Wei",
year = "2008",
month = "1",
doi = "10.1007/s10257-007-0059-8",
language = "English (US)",
volume = "6",
pages = "83--107",
journal = "Information Systems and e-Business Management",
issn = "1617-9846",
publisher = "Springer Verlag",
number = "1",

}

TY - JOUR

T1 - A policy enforcement framework for verification and control of service collaboration

AU - Tsai, W. T.

AU - Zhou, Xinyu

AU - Wei, Xiao

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

VL - 6

SP - 83

EP - 107

JO - Information Systems and e-Business Management

JF - Information Systems and e-Business Management

SN - 1617-9846

IS - 1

ER -