A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Formal functional description of semantic web services
2006
Proceedings of the 2006 international workshop on Service-oriented software engineering - SOSE '06
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 straightforward 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
doi:10.1145/1138486.1138498
fatcat:ibet4vggcfcynkqjwsqsedhzdi