Affiliations: [a] School of Data Science and Application, Inner Mongolia University of Technology, Huhhot 010080, Inner Mongolia Autonomous Region, China | [b] Endocrine Department, Geriatric Research Center, Inner Mongolia People’s Hospital, Huhhot 010080, Inner Mongolia Autonomous Region, China
Correspondence:
[*]
Corresponding author: Li Bao, School of Data Science and Application, Inner Mongolia University of Technology, Huhhot 010080, Inner Mongolia Autonomous Region, China. Tel.: +86 13739919821; E-mail: ebond@163.com.
Abstract: As the most notable implementation of service-oriented architectures, web services has brought some challenging research issues, one of which is the composition. Correct interaction among web services is the prerequisite of their successful composition. In this paper, we propose a novel approach to model dynamic interactive behavior of web services, aiming to effectively take advantage of the flexibility of service composition technology and guarantee the behavior compatibility of web services and further to facilitate the application of web service composition in healthcare field. An interaction model of web services based on Kahn process network (KPN) is presented in this paper, which is a data-flow and channel-based model supporting parallel and cooperative computation. Formal behavioral semantics of this model is defined by Pi-calculus process algebra and formal properties of the proposed model are discussed. An application case is demonstrated to illustrate how the proposed model can be applied to describe services behavior and their interaction. The reachability analysis of the application case is performed based on modal -calculus. How the supporting tool, i.e. CWB-NC, can be utilized to verify the properties we anticipate is presented.
Keywords: Web service, Pi-calculus process algebra, KPN, service interaction
