Abstract | ||
---|---|---|
The accurate description of service semantics plays a crucial role in service discovery, composition and interaction. Most work in this area has been focussed on ontological descriptions, which are searchable and machine-understandable, but do not define service functionality in a verifiable and testable way. Formal specification techniques, having evolved over the past 30 years, can define semantics verifiably and testablly, but they have not yet been applied to service computing because formal specifications are not searchable. There is a huge gap between these two methods of semantics description. In this paper, we bridge the gap. Our technique is to specify services formally in an algebraic specification language and then to extract ontological description as profiles in the language OWL-S, with the associated searchability benefits. We present a prototype tool for performing this transformation and report a case study to demonstrate the feasibility of our approach. The algebraic specification language we use is SOFIA (Service Oriented Formalism in Algebras). |
Year | DOI | Venue |
---|---|---|
2013 | 10.1109/ICWS.2013.93 | ICWS |
Keywords | Field | DocType |
language owl-s,ontology,formal specification techniques,web services,service oriented formalism in algebras,service semantics,algebraic specification,service discovery,formal specification technique,algebraic specification language,ontological description,semantics description,mathematics computing,owl-s language,sofia,service-oriented architecture,ontologies (artificial intelligence),service functionality,algebra,accurate description,service computing,formal semantics,owl-s,formal specification,service oriented architecture | Specification language,Algebraic specification,Formal semantics (linguistics),Operational semantics,Programming language,Computer science,Action semantics,Formal specification,Language Of Temporal Ordering Specification,Formal methods,Database | Conference |
ISBN | Citations | PageRank |
978-0-7695-5025-1 | 4 | 0.42 |
References | Authors | |
14 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Dongmei Liu | 1 | 22 | 3.86 |
Hong Zhu | 2 | 1413 | 118.92 |
Ian Bayley | 3 | 158 | 14.79 |