How to apply DAML-S

I am trying to model atomic services in DAML-S (for the moment). I would
appreciate a bit of help to understand how DAML-S is to be applied. A simple
service like P (which corresponds to an action in FIPA SL) with input x, and
output y if execution of P is successful and z if execution of P is
un-successful (a kind of error message). Would I be correct to model it as
follows :

P is an atomic process,
P has an input x
P has a conditional output y with the condition (execution-successful)
P has a conditional output z with the condition (not execution-successful).

Also a related issue: how does this process description map into a service
profile? Will the service profile have one input and two outputs? Do we need
to have conditional outputs in the profile models? Currently, the profile
model only has output parameters and not conditional outputs, while the
process model only allows conditional outputs. As I understand, once a
process model exist, service profiles can be derived automatically. How do
the conditional outputs map into output parameters in the profile model.

With many thanks

Manooch Azmoodeh


Intelligent Systems Lab,
BT Exact Technologies, 
Adastral Park.	

01473 630594/605484 (phone)
01473 642459 (fax) 

British Telecommunications plc 
Registered office: 81 Newgate Street London EC1A 7AJ 
Registered in England no. 1800000 

This electronic message contains information from British Telecommunications
plc which may be privileged or confidential. The information is intended to
be for the use of the individual(s) or entity named above. If you are not
the intended recipient be aware that any disclosure, copying, distribution
or use of the contents of this information is prohibited. If you have
received this electronic message in error, please notify us by telephone or
email (to the numbers or address above) immediately.

BT Exact Technologies is a trademark of British Telecommunications plc.

Received on Wednesday, 10 April 2002 12:49:46 UTC