The Self-Serv Environment for Web Services Composition
IEEE Internet Computing
Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming
Proceedings of the 17th International Conference on Logic Programming
QoS-Aware Middleware for Web Services Composition
IEEE Transactions on Software Engineering
Analysis of interacting BPEL web services
Proceedings of the 13th international conference on World Wide Web
Automatic composition of transition-based semantic web services with messaging
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Tools for composite web services: a short overview
ACM SIGMOD Record
A framework for semantic web services discovery
Proceedings of the 7th annual ACM international workshop on Web information and data management
WSBen: A Web Services Discovery and Composition Benchmark
ICWS '06 Proceedings of the IEEE International Conference on Web Services
Selecting and Composing Web Services through Iterative Reformulation of Functional Specifications
ICTAI '06 Proceedings of the 18th IEEE International Conference on Tools with Artificial Intelligence
Parallel Web Service Composition in MoSCoE: A Choreography-Based Approach
ECOWS '06 Proceedings of the European Conference on Web Services
A survey on web services composition
International Journal of Web and Grid Services
Service selection algorithms for composing complex services with multiple qos constraints
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Algebraic Structure of Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Assembling Composite Web Services from Autonomous Components
Proceedings of the 2007 conference on Emerging Artificial Intelligence Applications in Computer Engineering: Real Word AI Systems with Applications in eHealth, HCI, Information Retrieval and Pervasive Technologies
Modeling and Analyzing Web Service Behavior with Regular Flow Nets
WISM '09 Proceedings of the International Conference on Web Information Systems and Mining
Product-line-based requirements customization for web service compositions
Proceedings of the 13th International Software Product Line Conference
Behavioral constraints for services
BPM'07 Proceedings of the 5th international conference on Business process management
A service-oriented architecture for electric power transmission system asset management
ICSOC'06 Proceedings of the 4th international conference on Service-oriented computing
| Hi-index | 0.00 |
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.