Can I read Correctness-aware high-level functional matching approaches for semantic Web services on EtoBox?

Correctness-aware high-level functional matching approaches for semantic Web services by Islam Elgedawy; Zahir Tari; James A. Thom is a Computer Science article available to read on EtoBox.

What is Correctness-aware high-level functional matching approaches for semantic Web services about?

Service matching approaches trade precision for recall, creating the need for users to choose the correct services, which obviously is a major obstacle for automating the service discovery and aggregation processes. Our approach to overcome this problem, is to eliminate the appearance of false positives by returning only the correct services. As different users have different semantics for what is correct, we argue that the correctness of the matching results must be determined according to the achievement of users' goals: that only services achieving users' goals are considered correct. To determine such correctness, we argue that the matching process should be based primarily on the high-level functional specifications (namely goals, achievement contexts, and external behaviors). In this article, we propose models, data structures, algorithms, and theorems required to correctly match such specifications. We propose a model called __G__ ^+^ , to capture such specifications, for both services and users, in a machine-understandable format. We propose a data structure, called a Concepts Substitutability Graph (CSG), to capture the substitution semantics of application domain concepts

Who reads Correctness-aware high-level functional matching approaches for semantic Web services?

Author

Islam Elgedawy; Zahir Tari; James A. Thom

Publisher

ACM

Published

2008

Language

EN

Field

Computer Science (Physical Sciences)