]> $Id: CongoProcess.daml,v 1.32 2003/07/29 22:35:24 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. NOTE: This is a sketch; not a complete example. It is designed to illustrate the usage of the process model ontology. 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, CongoBuy, 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 preconditions, 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 full-fledged version of the service, FullCongoBuy, includes an arrangement of subprocesses LocateBook, PutInCart, SignIn, CreateAcct, CreateProfile, LoadProfile, SpecifyDeliveryDetails, FinalizeBuy each with its own specification of inputs and outputs. Note: Input, output, precondition, and effect properties of *composite* processes can, in principle, be automatically generated by tools. Since such tools don't yet exist, they have been manually generated for this example. Original Congo example created by Srini Narayanan (srini@ai.sri.com). Major modifications by Mark Burstein, David Martin, Sheila McIlraith, Srini Narayanan, Terri Payne. NOTE: INTEGER IS NOT SUPPORTED YET IN DAML+OIL NOTE: INTEGER IS NOT SUPPORTED YET IN DAML+OIL