Martin for DAML-S Coalition
DAML PI Meeting 02/12/02
AI-inspired Action/Process Metaphor
Input:
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>