作者: Diego Calvanese , Massimo Mecella , Daniela Berardi , Giuseppe De Giacomo , Richard Hull
DOI:
关键词:
摘要: In this paper we present Colombo, a framework in which web services are characterized terms of (i) the atomic processes (i.e., operations) they can perform; (ii) their impact on "real world" (modeled as relational database); (iii) transition-based behavior; and (iv) messages send receive (from/to other "human" clients). As such, Colombo combines key elements from standards research literature (semantic) services. Using study problem automatic service composition (synthesis) devise sound, complete terminating algorithm for building composite service. Specifically, develops technique handling data, ranges over an infinite domain, finite, symbolic way, to automatically synthesize services, based Propositional Dynamic Logic.