Sciweavers

306 search results - page 49 / 62
» A Petri Net-based Model for Web Service Composition
Sort
View
WWW
2004
ACM
15 years 10 months ago
Service Model for Collaborating Distributed Design and Manufacturing
This paper presents a Service-Oriented Process Model (SOM) to build a web-services based process management system, called MIDAS that would support distributed Design and Manufact...
Moon-Jung Chung, Woongsup Kim, Ravi Gopalan, Hong ...
ECOWS
2006
Springer
15 years 1 months ago
Verifying Correctness of Web Services Choreography
This paper is about Web services used in distributed, inter-organizational business cooperation (choreography). In this application scenario, we have a multipart functional conven...
Tarek Melliti, Céline Boutrous-Saab, Sylvai...
AAAI
2008
14 years 11 months ago
Efficient Learning of Action Schemas and Web-Service Descriptions
This work addresses the problem of efficiently learning action schemas using a bounded number of samples (interactions with the environment). We consider schemas in two languages-...
Thomas J. Walsh, Michael L. Littman
ER
2004
Springer
90views Database» more  ER 2004»
15 years 2 months ago
Semantic Interpretation and Matching of Web Services
A major issue in the study of semantic Web services concerns the matching problem of Web services. Various techniques for this problem have been proposed. Typical ones include FSM ...
Chang Xu, Shing-Chi Cheung, Xiangye Xiao
ICDE
2007
IEEE
97views Database» more  ICDE 2007»
15 years 3 months ago
Service Description and Analysis From a Type Theoretic Approach
In this paper, we propose to deploy type-theoretic techniques to the service description and composition verification. We define a flexible type system for modeling instances a...
Ken Q. Pu