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 CoSAR-TS 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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Ashri, R., Payne, T.R., Surridge, M.: Towards a Semantic Web Security Infrastructure. In: AAAI Spring Symposium on Semantic Web Services, Stanford University (2004)
Bradshaw, J.M., Beautement, M., Breedy, L., Bunch, S., Drakunov, P., Feltovich, P., Raj, A., Johnson, M., Kulkarni, S., Suri, N., Uszok, A.: Making agents acceptable to people. In: Zhong, N., Liu, J. (eds.) Intelligent Technologies for Information Analysis: Advances in Agents, Data Mining, and Statistical Learning, pp. 361–400. Springer, Berlin (2004)
Bradshaw, J.M., Uszok, A., Jeffers, R., Suri, N., Hayes, P., Burstein, M.H., Acquisti, A., Benyo, B., Breedy, M.R., Carvalho, M., Diller, D., Johnson, M., Kulkarni, S., Lott, J., Sierhuis, M., Van Hoof, R.: Representation and reasoning for DAML-based policy and domain services in KAoS and Nomads. In: Proceedings of the Autonomous Agents and Multi-Agent Systems Conference (AAMAS 2003), Melbourne, Australia, ACM Press, New York (2003)
Damianou, N., Dulay, N., Lupu, E.C., Sloman, M.S.: Ponder: A Language for Specifying Security and Management Policies for Distributed Systems, Version 2.3. Imperial College of Science, Technology and Medicine, Department of Computing, October 20 (2000)
Denker, G., Kagal, L., Finin, T., Paolucci, M., Sycara, K.: Security for DAML Web Services: Annotation and Matchmaking. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 335–350. Springer, Heidelberg (2003)
Feltovich, P., Bradshaw, J.M., Jeffers, R., Suri, N., Uszok, A.: Social order and adaptability in animal and human cultures as an analogue for agent communities: Toward a policy-based approach. In: Engineering Societies in the Agents World IV, pp. 21–48. Springer, Berlin (2004)
Fensel, D., Hendler, J., Lieberman, H., Wahlster, W. (eds.): Spinning the Semantic Web. The MIT Press, Cambridge (2003)
Kagal, L., Finin, T., Joshi, A.: A policy-based approach to security for the Semantic Web. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 402–418. Springer, Heidelberg (2003)
Li, N., Grosof, B.N., Feigenbaum, J.: Delegation logic: A logic-based approach to distributed authorization. ACM Transactions on Information Systems Security (TISSEC), 1-42 (2003)
McIlraith, S.A., Son, T.C., Zeng, H.: Semantic Web Services. IEEE Intelligent Systems, 46–53 (2001)
Potter, S., Tate, A., Dalton, J.: I-X Task support on the Semantic Web. In: Poster and Demonstration Proceedings for the Second International Semantic Web Conference (ISWC 2003), Sanibel Island, FL (2003)
Seamons, K.E., Winslett, M., Yu, T., Smith, B., Child, E., Jacobson, J., Mills, H., Yu, L.: Requirements for policy languages for trust negotiation. In: Proceedings of the Third International Workshop on Policies for Distributed Systems and Networks (POLICY 2002), Monterey, CA (2002)
Tate, A.: Coalition task support using I-X and <I-N-C-A>. In: Mařík, V., Müller, J.P., Pěchouček, M. (eds.) CEEMAS 2003. LNCS (LNAI), vol. 2691, pp. 7–16. Springer, Heidelberg (2003)
Tate, A., Dalton, J., Siebra, C., Aitken, S., Bradshaw, J.M., Uszok, A.: Intelligent Agents for Coalition Search and Rescue Task Support, AAAI-2004 Intelligent Systems Demonstrator. In: Proceedings of the Nineteenth National Conference of the American Association of Artificial Intelligence (AAAI-2004), San Jose, California, USA (July 2004)
Tonti, G., Bradshaw, J.M., Jeffers, R., Montanari, R., Suri, N., Uszok, A.: Semantic Web languages for policy representation and reasoning: A comparison of KAoS, Rei, and Ponder. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 419–437. Springer, Heidelberg (2003)
Uszok, A., Bradshaw, J.M., Hayes, P., Jeffers, R., Johnson, M., Kulkarni, S., Breedy, M.R., Lott, J., Bunch, L.: DAML reality check: A case study of KAoS domain and policy services. In: Submitted to the International Semantic Web Conference (ISWC 2003), Sanibel Island, Florida (2003)
Uszok, A., Bradshaw, J.M., Jeffers, R., Suri, N., Hayes, P., Breedy, M.R., Bunch, L., Johnson, M., Kulkarni, S., Lott, J.: KAoS policy and domain services: Toward a description-logic approach to policy representation, deconfliction, and enforcement. In: Proceedings of Policy 2003, Como, Italy (2003)
Wright, S., Chadha, R., Lapiotis, G.: Special Issue on Policy-Based Networking. IEEE Network 16(2), 8–56 (2002)
Wu, D., Parsia, B., Sirin, E., Hendler, J., Nau, D.: Automating DAML-S Web Services composition using SHOP2. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 195–210. Springer, Heidelberg (2003)
Schlenoff, C., Gruninger, M., Tissot, F., Valois, J., Lubell, J., Lee, J.: The Process Specification Language (PSL): Overview and Version 1.0 Specification, NISTIR 6459, National Institute of Standards and Technology, Gaithersburg, MD (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Uszok, A., Bradshaw, J.M., Jeffers, R., Tate, A., Dalton, J. (2004). Applying KAoS Services to Ensure Policy Compliance for Semantic Web Services Workflow Composition and Enactment. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds) The Semantic Web – ISWC 2004. ISWC 2004. Lecture Notes in Computer Science, vol 3298. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30475-3_30
Download citation
DOI: https://doi.org/10.1007/978-3-540-30475-3_30
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23798-3
Online ISBN: 978-3-540-30475-3
eBook Packages: Springer Book Archive