A Knowledge-Based Approach to Interactive Workflow Composition

Complex applications in many areas, including scientific computations and business-related web services, are created from collections of components to form computational workflows. In many cases end users have requirements and preferences that depend on how the workflow unfolds, and that cannot be specified beforehand. Workflow editors therefore need to be augmented with intelligent assistance in order to help users in several key aspects of the task, namely: 1) keeping track of detailed constraints across selected components and their connections; 2) accommodating flexibly different strategies to construct workflows; e.g., from general knowledge of necessary tasks, from desired results, or from available data; and 3) taking partial or incomplete descriptions of workflows and understanding the steps needed for their completion. We have developed a system called CAT (Composition Analysis Tool) that analyzes workflows and generates error messages and suggestions in order to help users compose complete and consistent workflows. Our approach combines knowledge bases, which have rich representations of components and constraints, together with planning techniques that can track the relations and constraints among individual components. We have formalized our approach based on planning techniques, allowing us to formulate claims about the underlying algorithms as well as the resulting workflows.

[1]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[2]  Richard Alterman,et al.  An Adaptive Planner , 1986, AAAI.

[3]  Michael P. Wellman.  Formulation of tradeoffs in planning under uncertainty , 1988 .

[4]  Robert Mac Gregor,et al.  THE EVOLVING TECHNOLOGY OF CLASSIFICATION-BASED KNOWLEDGE REPRESENTATION SYSTEMS , 1991 .

[5]  John F. Sowa,et al.  Principles of semantic networks , 1991 .

[6]  Amy L. Lansky,et al.  The COLLAGE/KHOROS Link: Planning for Image Processing Tasks , 1995 .

[7]  Eugene Fink,et al.  Integrating planning and learning: the PRODIGY architecture , 1995, J. Exp. Theor. Artif. Intell..

[8]  Chung Hee Hwang,et al.  The TRAINS project: a case study in building a conversational planning agent , 1994, J. Exp. Theor. Artif. Intell..

[9]  Andre Valente,et al.  Constructing Planners through Problem-Solving Methods , 1996 .

[10]  Steve A. Chien,et al.  Automating Image Processing for Scientific Data Analysis of a Large Image Database , 1996, IEEE Trans. Pattern Anal. Mach. Intell..

[11]  Karen L. Myers.  Abductive Completion of Plan Sketches , 1997, AAAI/IAAI.

[12]  Matthias Klusch,et al.  Dynamic service matchmaking among agents in open information environments , 1999, SGMD.

[13]  Karen L. Myers.  Domain Metatheories: Enabling User-Centric Planning , 2000 .

[14]  Joe Marks,et al.  Human-Guided Simple Search , 2000, AAAI/IAAI.

[15]  Drew McDermott,et al.  Derivation of Glue Code for Agent Interoperation , 2000, AGENTS '00.

[16]  Tran Cao Son,et al.  Adapting Golog for Programming the Semantic Web , 2001 .

[17]  Yolanda Gil,et al.  Knowledge Analysis on Process Models , 2001, IJCAI.

[18]  Drew McDermott,et al.  Estimated-Regression Planning for Interactions with Web Services , 2002, AIPS.

[19]  Peter A. Jarvis,et al.  PASSAT: A User-centric Planning Framework , 2002 .

[20]  Ricardo Aler,et al.  On Control Knowledge Acquisition by Exploiting Human-Computer Interaction , 2002, AIPS.

[21]  T. L. McCluskey,et al.  GIPO II: HTN Planning in a Tool-supported Knowledge Engineering Environment , 2003, ICAPS.

[22]  Mabry Tyson,et al.  A Mixed-initiative Framework for Robust Plan Sketching , 2003, ICAPS.

[23]  Jihie Kim,et al.  Supporting plan authoring and analysis , 2003, IUI '03.

[24]  Simon J. Cox,et al.  Towards a Knowledge-Based Approach to Semantic Service Composition , 2003, SEMWEB.

[25]  Yolanda Gil,et al.  The Role of Planning in Grid Computing , 2003, ICAPS.

[26]  King-Sun Fu,et al.  IEEE Transactions on Pattern Analysis and Machine Intelligence Publication Information , 2004, IEEE Transactions on Pattern Analysis and Machine Intelligence.