]> $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