A policy enforcement framework for verification and control of service collaboration

W. T. Tsai, Xinyu Zhou, Xiao Wei

Research output: Contribution to journalArticlepeer-review

16 Scopus citations


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
Issue number1
StatePublished - Jan 2008


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

ASJC Scopus subject areas

  • Information Systems


Dive into the research topics of 'A policy enforcement framework for verification and control of service collaboration'. Together they form a unique fingerprint.

Cite this