Modeling Web Services by Iterative Reformulation of Functional and Non-functional Requirements
We propose an approach for incremental modeling of composite Web services. The technique takes into consideration both the functional and non-functional requirements of the composition. While the functional requirements are described using symbolic transition systems—transition systems augmented with state variables, function invocations, and guards; non-functional requirements are quantified using thresholds. The approach allows users to specify an abstract and possibly incomplete specification of the desired service (goal) that can be realized by selecting and composing a set of pre-existing services. In the event that such a composition is unrealizable, i.e. the composition is not functionally equivalent to the goal or the non-functional requirements are violated, our system provides the user with the causes for the failure, that can be used to appropriately reformulate the functional and/or non-functional requirements of the goal specification.
KeywordsService Composition Component Service Composite Service Social Security Number Simulation Relation
Unable to display preview. Download preview PDF.
- 3.Pathak, J., Basu, S., Lutz, R., Honavar, V.: Selecting and Composing Web Services through Iterative Reformulation of Functional Specifications. In: 18th IEEE International Conference on Tools with Artificial Intelligence (2006)Google Scholar
- 4.Pathak, J., Basu, S., Lutz, R., Honavar, V.: ParallelWeb Service Composition inMoSCoE: A Choreography-based Approach. In: 4th IEEE European Conference on Web Services (2006)Google Scholar
- 5.Pistore, M., Traverso, P., Bertoli, P.: Automated Composition of Web Services by Planning in Asynchronous Domains. In: 15th Intl. Conference on Automated Planning and Scheduling, pp. 2–11 (2005)Google Scholar
- 8.Berardi, D., Calvanese, D., Giuseppe, D.G., Hull, R., Mecella, M.: Automatic Composition of Transition-based Semantic Web Services with Messaging. In: 31st Intl. Conference on Very Large Databases, pp. 613–624 (2005)Google Scholar
- 12.Cardoso, J., Sheth, A., Miller, J., et al.: Quality of Service for Workflows and Web Service Processes. Journal of Web Semantics 1(3), 281–309 (2004)Google Scholar
- 15.Oh, S.C., Kil, H., Lee, D.: WSBen: A Web Services Discovery and Composition Benchmark. In: 4th International Conference on Web Services, pp. 239–246. IEEE Press, Los Alamitos (2006)Google Scholar