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)
IEEE Intelligent Systems
Ontology Learning for the Semantic Web
IEEE Intelligent Systems
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
Matchmaking for Business Processes Based on Choreographies
EEE '04 Proceedings of the 2004 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE'04)
Transforming BPEL into Annotated Deterministic Finite State Automata for Service Discovery
ICWS '04 Proceedings of the IEEE International Conference on Web Services
A Grammar-Based Index for Matching Business Processes
ICWS '05 Proceedings of the IEEE International Conference on Web Services
Environment ontology-based capability specification for web service discovery
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Hi-index | 0.00 |
This paper proposes constructing an environment ontology to represent domain knowledge about Web services. The capability of a Web service is considered in terms of the effects it imposes on the environment during execution. Thus, more fundamental and precise semantic specification for service capability than conventional interface-based description language can be obtained. Basic concepts of the ontology include resources residing in the environment. For each environment resource, there is a corresponding hierarchical state machine specifying its dynamic characteristics. Thus, the influence of a machine on its environments can be modelled with the state machines of the environment resources. Rules and algorithms to construct an environment ontology on the basis of generic domain ontology are introduced. And then guidelines for specifying Web service capability semantically based on the constructed environment ontology are given.