A logic-based calculus of events
New Generation Computing
Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
Modeling and Composing Service-Based nd Reference Process-Based Multi-enterprise Processes
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
Web Agents Cooperating Deductively
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
Composing Web services on the Semantic Web
The VLDB Journal — The International Journal on Very Large Data Bases
ICWS '05 Proceedings of the IEEE International Conference on Web Services
Run-Time Monitoring of Instances and Classes of Web Service Compositions
ICWS '06 Proceedings of the IEEE International Conference on Web Services
An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations
ServiceWave '08 Proceedings of the 1st European Conference on Towards a Service-Based Internet
Event-processing network model and implementation
IBM Systems Journal
A declarative approach for flexible business processes management
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
A survey of automated web service composition methods
SWSWPC'04 Proceedings of the First international conference on Semantic Web Services and Web Process Composition
Collaborative coordination of activities with temporal dependencies
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
Web services composition handling user constraints: towards a semantic approach
Proceedings of the 12th International Conference on Information Integration and Web-based Applications & Services
| Hi-index | 0.00 |
In this paper we propose a constraint based declarative approach for Web services composition and monitoring problem. Our approach allows user to build the abstract composition by identifying the participating entities and by providing a set of constraints that mark the boundary of the solution. Different types of constraints have been proposed to handle the composition modeling and monitoring. Abstract composition is then used for instantiating the concrete composition , which both finds and executes an instantiation respecting constraints, and also handles the process run-time monitoring. When compared to the traditional approaches, our approach is declarative and allows for the same set of constraints to be used for composition modeling and monitoring and thus allows for refining the abstract composition as a result of run-time violations, such as service failure or response time delays.