Martin for DAML-S Coalition                                                                                                                                                     DAML PI Meeting 02/12/02                       
AI-inspired Action/Process Metaphor
Input:
• confirmation no.
• ...
Output:
• failure notification
• …
truck available
+
valid credit card
Y
N
?
Preconditions:
• customer name
• origin
• destination
• pickup date
• ...
• knowledge of     
  the input
• ...
• goods at location
     if successful
• credit card debited...
Effect:
Output:
Effect:
 <no effect> 
Acme Book
Truck Shipment