Formalizing and checking web service discovery models using B.

Truong Ninh Thuan, Trinh Thanh Binh, Vu Van Hieu
Author affiliations

Authors

  • Truong Ninh Thuan
  • Trinh Thanh Binh
  • Vu Van Hieu

DOI:

https://doi.org/10.15625/1813-9663/28/1/1068

Abstract

The impact of formal methods in service oriented architecture (SOA) has been well-known because of its capability for verification and early analysis of the feasibility. This paper proposes an approach to formalize and analyze the conformance between requirements of web service requester desired and capabilities of web service provided. The requirements of service requester, including functional and non-functional properties, are modeled by a B abstract machine and capabilities of service provider, described by OWL-S, are formalized by a B refinement machine. The matching between these two sides of web service discovery models is analyzed by B support tools.

Metrics

Metrics Loading ...

How to Cite

[1]
T. N. Thuan, T. T. Binh, and V. V. Hieu, “Formalizing and checking web service discovery models using B”., JCC, vol. 28, no. 1, pp. 77–88, Jun. 2012.

Issue

Section

Computer Science