Automated Two-Phase Composition of Timed Web Services

The paper extends PlanICS web services composition system by augumenting services with an explicit notion of time, and evolution of variables as a function of time. Its distinguishing feature is focusing not only on time constraints in services, but covering the whole service definition and composition process: providing an ontology with a strong type system on which definitions of typed stateless timed services are based, timed user queries, offers from service providers corresponding to instances of service types, and searching for services and offers matching the user query. A novel idea is that services express their timed behavior by producing timed automata as a part of their output. Abstract and concrete planning is described, dealing respectively with service types (including time dependencies), and with offer sets corresponding to these types.