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)
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Larks: Dynamic Matchmaking Among Heterogeneous Software Agents in Cyberspace
Autonomous Agents and Multi-Agent Systems
A Reference Model for Requirements and Specifications
IEEE Software
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
Ontology Based Context Modeling and Reasoning using OWL
PERCOMW '04 Proceedings of the Second IEEE Annual Conference on Pervasive Computing and Communications Workshops
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)
Describing and Reasoning on Web Services using Process Algebra
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Toward an Agent-Based and Context-Oriented Approach for Web Services Composition
IEEE Transactions on Knowledge and Data Engineering
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
Human-Computer Interaction
On constructing environment ontology for semantic web services
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
A method for web service description by using problem frames approach
Proceedings of the 3rd international workshop on Applications and advances of problem frames
| Hi-index | 0.00 |
During Web service discovery, capabilities of Web services are of major concern. This paper proposes an environment ontology based approach for specifying Web service capability semantically. First, a meta-level environment ontology is adopted in the proposed approach to provide formal and sharable specifications of environment resources in a particular domain. For each environment resource, we build a corresponding hierarchical state machine specifying its dynamic characteristics. Second, we propose to use the effect of a Web service on its environment resources for specifying the Web service capability and to designate the effect as the traces of the state transitions the Web service can impose on its environment resources. Finally, we give the mechanism to match service query with service capability description.