Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
Computer
Web Component: A Substrate for Web Service Reuse and Composition
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
DAML-S: Web Service Description for the Semantic Web
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Formal Verification of e-Services and Workflows
CAiSE '02/ WES '02 Revised Papers from the International Workshop on Web Services, E-Business, and the Semantic Web
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
A Petri net-based model for web service composition
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
Communications of the ACM - Service-oriented computing
Communications of the ACM - Service-oriented computing
Current Solutions for Web Service Composition
IEEE Internet Computing
Web Services Are Not Distributed Objects
IEEE Internet Computing
Web Services: Concepts, Architectures and Applications
Web Services: Concepts, Architectures and Applications
A Framework for Linking and Pricing No-Cure-No-Pay Services
Transactions on Petri Nets and Other Models of Concurrency II
Composite contract enforcement in hierarchical component systems
SC'07 Proceedings of the 6th international conference on Software composition
| Hi-index | 0.00 |
We present formal and practical foundations for Web service composition framework with composition correctness guarantees. We introduce contractual composition model based on two isomorphic description models: Contract Definition Language (XML) and abstract machines (formal notation). Composition operators (patterns) are used to perform composition which is then formally verified with respect to properties described in service contracts. We also describe Java-based implementation of the system, concentrated around Sun's Java Web Services Development Pack (JWSDP).