Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
IEEE Intelligent Systems
Semantic Matching of Web Services Capabilities
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
A software framework for matchmaking based on semantic web technology
WWW '03 Proceedings of the 12th international conference on World Wide Web
Introduction: Service-oriented computing
Communications of the ACM - Service-oriented computing
Mixed initiative use cases for semi-automated service composition: a survey
Proceedings of the 2006 international workshop on Service-oriented software engineering
HTN planning for Web Service composition using SHOP2
Web Semantics: Science, Services and Agents on the World Wide Web
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
On the semantics of functional descriptions of web services
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Automated service composition using heuristic search
BPM'06 Proceedings of the 4th international conference on Business Process Management
Composition of services with nondeterministic observable behavior
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Transforming BPEL to petri nets
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Beyond soundness: on the verification of semantic business process models
Distributed and Parallel Databases
Calculating the semantic conformance of processes
BPM'07 Proceedings of the 2007 international conference on Business process management
Proceedings of the 4th International Workshop on Semantic Business Process Management
| Hi-index | 0.00 |
Supporting service discovery by semantic service specifications is currently an important research area. While the approaches for the annotation of individual services are well researched, determining the semantics of compositions of services remains an open research issue. In this paper, we present an approach to generate the semantics of service compositions from the semantics of the contained services. To do this we assume a formal Workflow net model of the service composition. With an example use case we show how this works in practice.