- Abstract:
-
In this paper we describe our experience in applying KAoS services to ensure policy compliance for Semantic Web Services workflow composition and enactment. We are developing these capabilities within the context of two applications: Coalition Search and Rescue (CoSAR-TS) and Semantic Firewall (SFW). We describe how this work has uncovered requirements for increasing the expressivity of policy beyond what can be done with description logic (e.g., role-value-maps), and how we are extending our representation and reasoning mechanisms in a carefully controlled manner to that end. Since KAoS employs OWL for policy representation, it fits naturally with the use of OWL-S workflow descriptions generated by the AIAI I-X planning system in the CoSARTS application. The advanced reasoning mechanisms of KAoS are based on the JTP inference engine and enable the analysis of classes and instances of processes from a policy perspective. As the result of analysis, KAoS concludes whether a particular workflow step is allowed by policy and whether the performance of this step would incur additional policy-generated obligations. Issues in the representation of processes within OWL-S are described. Besides what is done during workflow composition, aspects of policy compliance can be checked at runtime when a workflow is enacted. We illustrate these capabilities through two application examples. Finally, we outline plans for future work.
- Links To Paper
- At Springer
- At the University of Edinburgh
- Bibtex format
- @InProceedings{EDI-INF-RR-1056,
- author = {
Andrzej Uszok
and Jeffrey M. Bradshaw
and Renia Jeffers
and Austin Tate
and Jeffrey Dalton
},
- title = {Applying KAoS Services to Ensure Policy Compliance for Semantic Web Services Workflow Composition and Enactment},
- book title = {The Semantic Web - ISWC 2004, Proceedings of the Third International Semantic Web Conference, Hiroshima, Japan, November 7-11, 2004.},
- publisher = {Springer},
- year = 2004,
- month = {Nov},
- pages = {425-440},
- doi = {10.1007/b102467},
- url = {http://www.springerlink.com/content/pubdxq2vj19l1802/fulltext.pdf},
- }
|
