Index of Slides

• Index of Slides
• Workflows Require Verification
• Back to Model Checking
• Calculii Used for Process Selection
• WS-BPEL
• BPEL is Message Oriented
• BPEL Constructs
• Unsafe Message Exchange
• Enterprises use Precedence Relationships
• Advantages of Precedence Composition
• Some Disadvantages of Precedence Composition
• Industrial Indexing on Categories
• Routine Processes Do Not Require Advanced Service Compositon
• Why Do We Need Dynamic Workflow Generation?
• Companies Are Becoming More Connected
• Dynamic Message Matching Doesn't Help Much
• A Simple Supply Chain
• Supply Chain Workflow
• Making a Workflow Change
• Revised Workflow
• What Went Wrong
• A Correct Workflow
• Planning with Preconditions and Effects
• Definitions and Assumptions
• Planning Assumptions
• Planning Is More Than Simple Regression
• Conjunctive Goals are Problematic
• Goal Regression
• Planning by Model Checking
• Web Service Planning by Model Checking
• OWL-S Models Services as Processes
• OWL-S Purchasing/Shipping Example
• Labled Transition System Transformation
• Planing as Model Checking / Verification
• Situational Calculus
• A Plan is a Proof in Sit Calc
• Golog Adds Workflow Constructs
• Wide Variety of Planners for Web Service Composition
• The Universe Doesn't Run on Workflow
• The Travel Reimbursement Problem Doesn't Need Workflow
• The Travel Reimbursement Problem Requires More
• Hopeful Thinking
• No Wishful Thinking
• Redux Goal-Oriented Operator Programming (GOOP)
• GOOP is Good for Defeasible Planning
• Planning Services
• Collective Work
• Not Only is SOA Possible