Sciweavers

728 search results - page 3 / 146
» A Logical View of Choreography
Sort
View
VLDB
2007
ACM
161views Database» more  VLDB 2007»
13 years 11 months ago
Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic
The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWLS, and SWSL, have drawn attention to the importance of logic-based ...
Dumitru Roman, Michael Kifer
SAC
2009
ACM
14 years 3 days 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
REST
2010
ACM
13 years 7 months ago
A formal definition of RESTful semantic web services
In this article a formal model applying REST architectural principles to the description of semantic web services is introduced, including the discussion of its syntax and operati...
Antonio Garrote Hernández, María N. ...
ACMICEC
2006
ACM
159views ECommerce» more  ACMICEC 2006»
13 years 11 months ago
Choreography of web services based on natural language storybooks
Business processes usually span beyond the boundaries of single operations and many a process spans even beyond the boundaries of organizations. Web Service orchestration or chore...
Kurt Englmeier, Javier Pereira, Josiane Mothe
WSFM
2007
Springer
13 years 11 months ago
Towards a Theory of Web Service Choreographies
A fundamental promise of service oriented architecture (SOA) lies in the ease of integrating sharable information, processes, and other resources through interactions among the sha...
Jianwen Su, Tevfik Bultan, Xiang Fu, Xiangpeng Zha...