Web services composition is decidable


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


  • Presentations referencing similar topics