Applying KAoS services to ensure policy compliance for semantic web services workflow composition and enactment
作者： Andrzej Uszok , Jeffrey M. Bradshaw , Renia Jeffers , Austin Tate , Jeff Dalton
DOI: 10.1007/978-3-540-30475-3_30
关键词: Semantic Web 、 Computer science 、 Workflow management system 、 Software engineering 、 Workflow 、 Web service 、 Workflow technology 、 Inference engine 、 KAOS 、 World Wide Web 、 Collaborative software 、 Description logic 、 Workflow engine
摘要: 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 Rescue (CoSAR-TS) Firewall (SFW). how work has uncovered requirements increasing expressivity beyond what can be done with description logic (e.g., role-value-maps), extending representation reasoning mechanisms a carefully controlled manner that end. Since employs OWL representation, it fits naturally use OWL-S descriptions generated by AIAI I-X planning system CoSAR-TS application. The advanced based on JTP inference engine enable analysis classes instances processes from perspective. As result analysis, concludes whether particular step is allowed performance would incur additional policy-generated obligations. Issues described. Besides during composition, aspects checked at runtime when enacted. illustrate through application examples. Finally, outline plans future work.
ed.ac.uk
springer.com
core.ac.uk
jeffreymbradshaw.net 参考文章(26)
Laurent Vercouter, Gauthier Picard, Alexander Artikis, Engineering Societies in the Agents World V ,(2008)
Gianluca Tonti, Jeffrey M. Bradshaw, Renia Jeffers, Rebecca Montanari, Niranjan Suri, Andrzej Uszok, Semantic web languages for policy representation and reasoning: a comparison of KAoS, Rei, and Ponder international semantic web conference. pp. 419- 437 ,(2003) , 10.1007/978-3-540-39718-2_27
Austin Tate, Coalition task support using I-X and Lecture Notes in Computer Science. pp. 7- 16 ,(2003)
Jeff Dalton, Austin Tate, Stephen Potter, Intelligible Messaging – Activity-oriented Instant Messaging ,(2004)
N Damianou, EC Lupu, N Dulay, Sloman, Ponder: A Language for Specifying Security and Management Policies for Distributed Systems Imperial College, Department of Computing. ,(2000) , 10.25561/5966
J Dalton, Austin Tate, S Potter, I-X: Task Support on the Semantic Web Springer. ,(2003)
Craig Schlenoff, Craig Schlenoff, Florence Tissot, John Valois, Jintae Lee, None, The Process Specification Language (PSL) Overview and Version 1.0 Specification NIST Interagency/Internal Report (NISTIR) - 6459. ,(2000) , 10.1002/HTTPS://DX.DOI.ORG/10.6028/NIST.IR.6459
Austin Tate, Coalition Task Support Using I-X and 〈I-N-C-A〉 International Central and Eastern European Conference on Multi-Agent Systems. pp. 7- 16 ,(2003) , 10.1007/3-540-45023-8_3
Dan Wu, Bijan Parsia, Evren Sirin, James Hendler, Dana Nau, Automating DAML-S web services composition using SHOP2 international semantic web conference. pp. 195- 210 ,(2003) , 10.1007/978-3-540-39718-2_13
Lalana Kagal, Tim Finin, Anupam Joshi, A policy based approach to security for the semantic web international semantic web conference. pp. 402- 418 ,(2003) , 10.1007/978-3-540-39718-2_26