]> $Id: Congo.daml,v 1.5 2001/07/20 02:43:38 mdean Exp $ A B2C bookbuying example for DAML-S, illustrating a simple use of the process model. This is a sketch; not a complete example. The basic service is a buybook service from www.congo.com. The service can be treated as ATOMIC; i.e., given certain inputs and parameters, the service provides certain outputs and has specific effects. The service can also be expanded to specify it as a composition of other component services. The atomic service is the CongoBuy Service which has preconditions, inputs, outputs and effects. The expanded version of the service, ExpandedCongoBuy, includes an arrangement of processes LocateBook, PutInCart, SignIn, CreateAcct, CreateProfile, LoadProfile, SpecifyDeliveryDetails, FinalizeBuy each with its own i/o spec. Created by Srini Narayanan (srini@ai.sri.com). Modifications by David Martin, Terri Payne, Mark Burstein, Srini Narayanan. NOTE:---INTEGER IS NOT SUPPORTED YET IN DAML-L