Formalizing and checking web service discovery models using B.

Truong Ninh Thuan, Trinh Thanh Binh, Vu Van Hieu

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.




DOI: https://doi.org/10.15625/1813-9663/28/1/1068 Display counter: Abstract : 122 views. PDF : 127 views. PDF (Tiếng Việt) : 37 views.

Oktrik

Journal of Computer Science and Cybernetics ISSN: 1813-9663

Published by Vietnam Academy of Science and Technology