Dynamic and adaptive composition of e-services
Information Systems - The 12th international conference on advanced information systems engineering (CAiSE 00)
Inheritance of workflows: an approach to tackling problems related to change
Theoretical Computer Science
Conversation specification: a new approach to design and analysis of e-service composition
WWW '03 Proceedings of the 12th international conference on World Wide Web
Analysis of interacting BPEL web services
Proceedings of the 13th international conference on World Wide Web
Decentralizing execution of composite web services
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Modular design and verification of component-based mechatronic systems with online-reconfiguration
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Realizability and verification of MSC graphs
Theoretical Computer Science - Automata, languages and programming
Tools for composite web services: a short overview
ACM SIGMOD Record
Synchronizability of Conversations among Web Services
IEEE Transactions on Software Engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Semi-automated adaptation of service interactions
Proceedings of the 16th international conference on World Wide Web
Integration and verification of semantic constraints in adaptive process management systems
Data & Knowledge Engineering
A survey on web services composition
International Journal of Web and Grid Services
Conformance checking of service behavior
ACM Transactions on Internet Technology (TOIT)
Non-desynchronizable Service Choreographies
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Towards Correctness Assurance in Adaptive Service-Based Applications
ServiceWave '08 Proceedings of the 1st European Conference on Towards a Service-Based Internet
Realizability of Choreographies Using Process Algebra Encodings
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Effect of Using Automated Auditing Tools on Detecting Compliance Failures in Unmanaged Processes
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Efficient event-based resource discovery
Proceedings of the Third ACM International Conference on Distributed Event-Based Systems
A Flexible, Event-Driven, Service-Oriented Architecture for Orchestrating Service Delivery
IEEE Intelligent Systems
A distributed service-oriented architecture for business process execution
ACM Transactions on the Web (TWEB)
Declarative specification and verification of service choreographiess
ACM Transactions on the Web (TWEB)
SLA-driven business process management in SOA
CASCON '09 Proceedings of the 2009 Conference of the Center for Advanced Studies on Collaborative Research
Beyond soundness: on the verification of semantic business process models
Distributed and Parallel Databases
BPM in cloud architectures: business process management with SLAs and events
BPM'10 Proceedings of the 8th international conference on Business process management
Business conversation manager: facilitating people interactions in outsourcing service engagements
ICWE'10 Proceedings of the 10th international conference on Web engineering
Developing adapters for web services integration
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
NIÑOS take five: the management infrastructure for distributed event-driven workflows
Proceedings of the 5th ACM international conference on Distributed event-based system
Service subscription and consumption for personal web applications
The Personal Web
Hi-index | 0.00 |
In service-oriented architectures (SOA), independently developed Web services can be dynamically composed. However, the composition is prone to producing semantically conflicting interactions among the services. For example, in an interdepartmental business collaboration through Web services, the decision by the marketing department to clear out the inventory might be inconsistent with the decision by the operations department to increase production. Resolving semantic conflicts is challenging especially when services are loosely coupled and their interactions are not carefully governed. To address this problem, we propose a novel distributed service choreography framework. We deploy safety constraints to prevent conflicting behavior and enforce reliable and efficient service interactions via federated publish/subscribe messaging, along with strategic placement of distributed choreography agents and coordinators to minimize runtime overhead. Experimental results show that our framework prevents semantic conflicts with negligible overhead and scales better than a centralized approach by up to 60%.