Process algebra-based formal service description method

白宇,张尧学,周悦芝

DOI: https://doi.org/10.16511/j.cnki.qhdxxb.2012.12.010

2012-01-01

Abstract:Service descriptions are the foundation of service selection and service composition, thus are an important research topic in service science. Existing methods have various disadvantages such as difficulties in service selection among several functionally equivalent services and service description ambiguity. This paper presents a process algebra-based service description method that adds non-functional properties into the Web services description language (WSDL) and uses process algebra to define service-related operations. The method provides personalized search results and support to describe the service composition procedure. The paper gives an example to prove the correctness and effectiveness of the method.