Formal functional description of semantic web services: the logic description method

Authors:
Li Ye;Junliang Chen
Affiliations:
Beijing University of Posts and Telecommunications, Beijing, China;Beijing University of Posts and Telecommunications, Beijing, China
Venue:
Proceedings of the 2006 international workshop on Service-oriented software engineering
Year:
2006

Citing 7
Cited 1

Implementing mathematics with the Nuprl proof development system

Implementing mathematics with the Nuprl proof development system
Linear logic

Theoretical Computer Science
Fundamentals of Deductive Program Synthesis

IEEE Transactions on Software Engineering
Semantic Web Services

IEEE Intelligent Systems
Planning For Web Services the Hard Way

SAINT-W '03 Proceedings of the 2003 Symposium on Applications and the Internet Workshops (SAINT'03 Workshops)
A Semantic Web Primer

A Semantic Web Primer
Behavioral models as service descriptions

Proceedings of the 2nd international conference on Service oriented computing

Automated geospatial Web Services composition based on geodata quality requirements

Computers & Geosciences

Quantified Score

Hi-index	0.01

Visualization

Abstract

The semantic encoding of Web Service description is the foundation of automation. This paper proposes the Logic Description Method (LDM) which is formal, concise, and expressive. Service descriptions and knowledges (rules) are represented as first-order logic formulas which grasp the straight forward and natural semantics of them. 'I'nput, 'O'utput, 'R'elationship, 'P'recondition, and 'E'ffects are selected as the five essentials to define a service's function. The 'IORPE' are all represented as predicates. Knowledge-base is used to gather all the definitions of knowledges and predicates. It buildup a firm semantic environment where services have unambiguous functional definition. Furthermore, the semantic of a composed service can be easily inferred in first-order logic. So that it can then be verified with the semantic of the request to check for correctness. An example is set up to show how all the features of LDM works.