]>
$Id: Congo.daml,v 1.7 2002/01/15 08:05:06 martin Exp $
A B2C bookbuying example of DAML-S (DARPA Agent Markup Language
for Services; see http://www.daml.org/services/) usage, illustrating a
simple use of the process model. This is a sketch; not a complete example.
The service described here is a book buying (or selling, depending
on your perspective) service from www.congo.com. We
present two forms of the service. First, there's a one-step form,
with the service treated as ATOMIC; i.e., no interactions between
buying and selling agents are required, apart from invocation of the
service and receipt of its outputs by the buyer. Given certain inputs
and parameters, the service provides certain outputs and has specific
effects. Second, a full-fledged version of the service is specified,
showing its composition from its component services. The atomic service
is CongoBuy, which has specified inputs, outputs, preconditions and
effects (IOPEs). The full-fledged version of the service, ExpandedCongoBuy,
includes an arrangement of subprocesses LocateBook, PutInCart, SignIn,
CreateAcct, CreateProfile, LoadProfile, SpecifyDeliveryDetails,
FinalizeBuy each with its own IOPE spec.
Created by Srini Narayanan (srini@ai.sri.com).
Modifications by Mark Burstein, David Martin, Sheila McIlraith,
Srini Narayanan, Terri Payne.
NOTE: INTEGER IS NOT SUPPORTED YET IN DAML-L NOTE: INTEGER IS NOT SUPPORTED YET IN DAML-L NOTE: INTEGER IS NOT SUPPORTED YET IN DAML-L