towards the composition of stateful and independent semantic web services
Most of the work on automated semantic Web service composition has focused so far on two main levels of composition i.e., functional level and process level composition (respectively FLC and PLC from now). The former level of composition considered Web services as atomic components that can be executed in a single request-response step whereas the latter level studies in more details the protocol and the behavioural features of Web services. Since PLC i.e., a time and particularly space consuming level of composition makes difficult the scalability of composition-based applications, it seems interesting to restrict the composition of stateful but (only) independent Web services. Such a restriction make possible the composition of a large number of Web services in industrial scenarios, the whole with convincing results. In this paper we suggest to study the advantages to apply FLC together with ?-composition in order to perform an automated end to end composition of stateful and independent services. In particular we focus on computational complexity results concerning the two models of composition i.e., the well-known PLC vs. the newest FLC+?-composition. Moreover we prove that FLC is an interesting and necessary level of composition to significantly reduce computational complexity not only in space but also in time.
composition semantic web web service complexity results