Composing Web Services Through Automatic Reformulation of Service Specifications

Typical approaches to service composition seek to realize a goal service specification, described using a Labeled Transition System (LTS) provided by a service developer, by constructing a structurally equivalent LTS using a set of available component services (also described using LTSs) that match the input and output requirements of the transitions. As such, existing composition approaches fail to realize the goal LTS whenever available component service LTSs cannot be used to "Mimic" the structure of the goal LTS. This failure requires that the service developer formulates an alternate goal LTS and re-iterates the composition step. However, the process of manual reformulation of goal LTS is both laborious and error prone.