Web services composition is decidable

Abstract

We study the problem of automatic web service composition. We consider a formal framework where web service business protocols are described by means of Finite State Machines (FSM) and focus on the protocol synthesis problem in the general case where the number of instances of existing services that can be used in a given composition is not bounded a priori… (More)

4 Figures and Tables

Topics

  • Presentations referencing similar topics