Stepwise Refinable Service Descriptions: Adapting DAML-S to Staged Service Trading

@INPROCEEDINGS{KKO03d,
  author = {Michael Klein and Birgitta K{"o}nig-Ries and Philipp Obreiter},
  month = {December},
  year = 2003,
  title = {Stepwise Refinable Service Descriptions: Adapting {DAML}-S to
          Staged Service Trading},
  booktitle = {First International Conference on Service Oriented Computing},
  address = {Trento, Italy},
  abstract = {In order for service-oriented architectures to become
             successful, powerful mechanisms are needed that allow service
             requestors to find service offerers that are able to provide the
             services they need. Typically, this service trading needs to be
             executed in several stages as the offer descriptions are not
             complete in most cases and different parameters have to be
             supplemented by the service requestor and offerer alternately.
             Unfortunately, existing service description languages (like
             DAML-S) treat service discovery as a one shot activity rather
             than as a process and accordingly do not support this stepwise
             refinement. Therefore, in this paper, we introduce the concept of
             partially instantiated service descriptions containing different
             types of variables which are instantiated successively, thereby
             mirroring the progress in a trading process. Moreover, we present
             possibilities how to integrate these concepts into DAML-S
             syntactically.}
}