Sciweavers

1663 search results - page 189 / 333
» Compositional Service Trees
Sort
View
ICWS
2009
IEEE
16 years 3 months ago
Discovery and On-demand Provisioning of Real-World Web Services
The increasing usage of smart embedded devices is blurring the line between the virtual and real worlds. This creates new opportunities for applications to better integrate the re...
Dominique Guinard, Vlad Trifa, Patrik Spiess, Bett...
SEFM
2007
IEEE
16 years 19 days ago
Disciplining Orchestration and Conversation in Service-Oriented Computing
We give a formal account of a calculus for modeling service-based systems, suitable to describe both service composition (orchestration) and the protocol that services run when in...
Ivan Lanese, Francisco Martins, Vasco Thudichum Va...
WEBI
2007
Springer
16 years 14 days ago
Building Application Ontologies from Descriptions of Semantic Web Services
Different ontologies used in semantic web services fields raise numerous interoperation and communication problems with respect to service discovery, composition, and execution. ...
Xia Wang, Tomas Vitvar, Manfred Hauswirth, Doug Fo...
ICIW
2007
IEEE
15 years 10 months ago
A Refined Goal Model for Semantic Web Services
The idea of service orientation envisions dynamic detection and execution of suitable Web services for solving a particular request. Most realization approaches pay only little att...
Michael Stollberg, Barry Norton
BIRTHDAY
2006
Springer
15 years 10 months ago
Reasoning About Web Services in a Temporal Action Logic
The paper presents an approach to reasoning about Web services in a temporal action theory. Web services are described by specifying their interaction protocols in an action theory...
Alberto Martelli, Laura Giordano