Sciweavers

186 search results - page 1 / 38
» Choreographies: using Constraints to Satisfy Service Request...
Sort
View
AICT
2006
IEEE
144views Communications» more  AICT 2006»
13 years 11 months ago
Choreographies: using Constraints to Satisfy Service Requests
Alexander Lazovik, Marco Aiello, Rosella Gennari
TASE
2008
IEEE
13 years 11 months ago
Reasoning about Channel Passing in Choreography
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...
Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao...
CAISE
2006
Springer
13 years 6 months ago
Resolving Underconstrained and Overconstrained Systems of Conjunctive Constraints for Service Requests
Given a service request such as scheduling an appointment or purchasing a product, it is possible that the invocation of the service results in too many solutions that all satisfy ...
Muhammed Al-Muhammed, David W. Embley
SAC
2009
ACM
13 years 11 months ago
Runtime monitoring of web service choreographies using streaming XML
A wide range of web service choreography constraints on the content and sequentiality of messages can be translated into Linear Temporal Logic (LTL). Although they can be statical...
Sylvain Hallé, Roger Villemaire
ATAL
2010
Springer
13 years 6 months ago
The multi variable multi constrained distributed constraint optimization framework
Service coordination in domains involving temporal constraints and duration uncertainty has previously been solved with a greedy algorithm that attempts to satisfy service requests...
Christopher Portway, Edmund H. Durfee