Completeness and Consistency in Hierarchical State-Based Requirements
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
Ontology Learning for the Semantic Web
Ontology Learning for the Semantic Web
Larks: Dynamic Matchmaking Among Heterogeneous Software Agents in Cyberspace
Autonomous Agents and Multi-Agent Systems
IEEE Intelligent Systems
The Self-Serv Environment for Web Services Composition
IEEE Internet Computing
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
Matchmaking of web services based on the DAML-S service model
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Describing and Reasoning on Web Services using Process Algebra
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Transforming BPEL into Annotated Deterministic Finite State Automata for Service Discovery
ICWS '04 Proceedings of the IEEE International Conference on Web Services
SRN: An Extended Petri-Net-Based Workflow Model for Web Service Composition
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Automatic composition of transition-based semantic web services with messaging
VLDB '05 Proceedings of the 31st international conference on Very large data bases
A Grammar-Based Index for Matching Business Processes
ICWS '05 Proceedings of the IEEE International Conference on Web Services
Web Service Discovery Based on Behavior Signatures
SCC '05 Proceedings of the 2005 IEEE International Conference on Services Computing - Volume 01
Service retrieval based on behavioral speci.cation
SCC '05 Proceedings of the 2005 IEEE International Conference on Services Computing - Volume 01
An Approach for Specifying Capability ofWeb Services based on Environment Ontology
ICWS '06 Proceedings of the IEEE International Conference on Web Services
HTN planning for Web Service composition using SHOP2
Web Semantics: Science, Services and Agents on the World Wide Web
Process-Level composition of executable web services: ”on-the-fly” versus ”once-for-all” composition
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Web service composition: an approach using effect-based reasoning
ICSOC'06 Proceedings of the 4th international conference on Service-oriented computing
Hi-index | 0.00 |
Precise capability specification is the key for identifying and composing the right Web services. This paper specifies service capabilities in terms of the environment entities from the application domain and the effects imposed by the Web service on these entities. An environment ontology for Web services is adopted to provide formal sharable representations of the domain-specific environment entities. A hierarchical state machine is constructed for each environment entity to describe its behaviors, and the effects imposed by a Web service are described as the state transitions traces of environment entities, which define the capability of the Web service. Web service composition that satisfies a set of requested effects is then conducted by reasoning on the effects of services. The proposed approach emphasizes the external manifestation of Web services and service composition based on the effect reasoning. An example of online travel service illustrates the proposed approach.