Jeff Dalton

Applying KAoS services to ensure policy compliance for semantic web services workflow composition and enactment

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.

Collaboration in the Semantic Grid: A Basis for e-Learning

The CoAKTinG project aims to advance the state of the art in collaborative mediated spaces for the Semantic Grid. This paper presents an overview of the hypertext and knowledge-based tools that have been deployed to augment exiting collaborative environments, and the ontology that is used to exchange structure, promote enhanced process tracking, and aid navigation of resources before, after, and during a collaboration. While the primary focus of the project has been supporting e-Science, this paper also explores the similarities and application of CoAKTinG technologies as part of a human-centered design approach to e-Learning.

I-Room: A Virtual Space for Intelligent Interaction

The I-Room is a virtual environment intended to support a range of collaborative activities, especially those that involve sense making, deliberation, and decision making. The I-Room case studies described in this paper all employ virtual worlds technology to provide this interaction space and show how this can be augmented with external knowledge-based and intelligent systems.

O-P/sup 3/: Supporting the planning process using open planning process panels

This paper introduces Open Planning Process Panels (O-p3). These panels are based on explicit models of the planning process and axe used to coordinate the development and evaluation of multiple courses of action. We describe the generic ideas behind O-P3 technology, a general methodology for building O-P3 interfaces and two applications based on O-P3 technology the Air Campaign Planning Process Panel (ACP3) and the O-Plan two-user mixedinitiative planning Web demonstration. This work has an impact on a number of important research areas outside planning, including Computer Supported Cooperative Work (CSCW) and workflow support.

Desiderata for the standardization of LISP

Trabajo presentado a la ACM Conference on LISP and Functional Programming, celebrada en Cambridge-Massachusetts (US) en 1986.-- et al.