Theoretical Computer Science
Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
E-services: a look behind the curtain
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Conversation specification: a new approach to design and analysis of e-service composition
WWW '03 Proceedings of the 12th international conference on World Wide Web
Automatic composition of transition-based semantic web services with messaging
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Automated Synthesis of Composite BPEL4WS Web Services
ICWS '05 Proceedings of the IEEE International Conference on Web Services
Representation, Verification, and Computation of Timed Properties in Web
ICWS '06 Proceedings of the IEEE International Conference on Web Services
Timed Specification For Web Services Compatibility Analysis
Electronic Notes in Theoretical Computer Science (ENTCS)
Toward Data Flow Oriented Services Composition
EDOC '08 Proceedings of the 2008 12th International IEEE Enterprise Distributed Object Computing Conference
Automated composition of web services by planning at the knowledge level
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A lower bound on web services composition
FOSSACS'07 Proceedings of the 10th international conference on Foundations of software science and computational structures
Fine-grained compatibility and replaceability analysis of timed web service protocols
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Composition of services with nondeterministic observable behavior
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Web service composition via generic procedures and customizing user preferences
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Bringing semantics to web services: the OWL-S approach
SWSWPC'04 Proceedings of the First international conference on Semantic Web Services and Web Process Composition
Asynchronous Timed Web Service-Aware Choreography Analysis
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
| Hi-index | 0.00 |
In the last few years, there has been an increasing interest in the Web service composition problem. In the literature, the proposed frameworks investigate mechanisms for synthesizing a composition based on operations and/or messages choreography constraints. The messages choreography constraints depend not only on messages, but also on timed properties. Specifically, we mean by timed properties the time window within which a message can be exchanged. In this paper, we present a formal composition approach to cope with timed properties of asynchronous Web services. We present how modeling the behavior of Web services augmented with timed properties. Then we present a mechanism to deal with such properties when building a composition.