Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Eiffel: the language
The Z notation: a reference manual
The Z notation: a reference manual
Handbook of logic in artificial intelligence and logic programming (Vol. 4)
First-order logic and automated theorem proving (2nd ed.)
First-order logic and automated theorem proving (2nd ed.)
Specification matching of software components
ACM Transactions on Software Engineering and Methodology (TOSEM)
An axiomatic basis for computer programming
Communications of the ACM
Modal logic
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
Automatic location of services
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
A semantic repository approach to improve the government to business relationship
Data & Knowledge Engineering
Behavioral analysis of web services for supporting mediated service interoperations
Proceedings of the 10th international conference on Electronic commerce
Two-Phase Web Service Discovery Based on Rich Functional Descriptions
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Service Specification and Matchmaking Using Description Logic
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
Modeling Semantic Web Services with the Web Service Modeling Toolkit
Journal of Network and Systems Management
On the semantics of service compositions
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
A semantically enabled service oriented architecture
WImBI'06 Proceedings of the 1st WICI international conference on Web intelligence meets brain informatics
Enhancing workflow with a semantic description of scientific intent
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Calculating the semantic conformance of processes
BPM'07 Proceedings of the 2007 international conference on Business process management
Semantic web service engineering for semantic business process management
Proceedings of the 4th International Workshop on Semantic Business Process Management
Light-weight semantic service annotations through tagging
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Towards practical semantic web service discovery
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part II
| Hi-index | 0.00 |
Functional descriptions are a central pillar of Semantic Web services. Disregarding details on how to invoke and consume the service, they shall provide a black box description for determining the usability of a Web service for some request or usage scenario with respect to the provided functionality. The creation of sophisticated semantic matchmaking techniques as well as exposition of their correctness requires clear and unambiguous semantics of functional descriptions. As existing description frameworks like OWL-S and WSMO lack in this respect, this paper presents so-called Abstract State Spaces as a rich and language independent model of Web services and the world they act in. This allows giving a precise mathematical definition of the concept of Web Service and the semantics of functional descriptions. Finally, we demonstrate the benefit of applying such a model by means of a concrete use case: the semantic analysis of functional descriptions which allows to detect certain (un)desired semantic properties of functional descriptions. As a side effect, semantic analysis based on our formal model allows us to gain a formal understanding and insight in matching of functional descriptions during Web service discovery.