4286 search results - page 187 / 858 » Formalizing Service Interactions |
187
click to vote
ASWC
2009
Springer
15 years 9 months ago
2009
Springer
Many tasks within semantic web service discovery can be formalized as reasoning problems related to the partial ordering of subactivity occurrences in a complex activity. We show h...
125
click to vote
ENTCS
2007
15 years 6 months ago
2007
Abstract. Increasing attention is being paid to the development of socalled behavioural types as a means to formally address the problem of ensuring the correct interoperation of s...
185
click to vote
HICSS
2008
IEEE
16 years 25 days ago
2008
IEEE
In this paper we describe mechanisms for execution monitoring of semantic web services, based on OWL-S. The use of semantic descriptions and ontologies is a valuable extension to ...
198
click to vote
APCCM
2009
15 years 7 months ago
2009
Interaction topologies in service-oriented systems are usually classified into two styles: choreographies and orchestrations. In a choreography, services interact in a peer-to-pee...
199
click to vote
TON
2012
13 years 8 months ago
2012
—Multiparty interactive network applications such as teleconferencing, network gaming, and online trading are gaining popularity. In addition to end-to-end latency bounds, these ...