On-line Appendix to the Paper “Automatic Composition of Transition-based Semantic Web Services with Messaging”

Abstract

Remark 1.1: Unlike OWL-S atomic processes, we do not use a “pre-condition”, or equivalently, we assume that the pre-condition is uniformly true. We do this to enable a more uniform treatment of atomic process executions: when a web service invokes an atomic process in Colombo, the invoking service will transition to a new state whether or not the atomic process “succeeds”. Optionally, the designer of the atomic process can include an output boolean variable ‘flag’, which is set to true if the execution “succeeded” and is set to false if the execution “failed”. These are conveniences that simplifies bookkeeping, with no real impact on expressive power. 2

Extracted Key Phrases

Cite this paper

@inproceedings{Berardi2005OnlineAT, title={On-line Appendix to the Paper “Automatic Composition of Transition-based Semantic Web Services with Messaging”}, author={Daniela Berardi and Diego Calvanese and Giuseppe De Giacomo and Richard Hull and Massimo Mecella}, year={2005} }