期刊名称：International Journal of Security and Its Applications
印刷版ISSN：1738-9976
出版年度：2016
卷号：10
期号：6
页码：249-260
DOI：10.14257/ijsia.2016.10.6.24
出版社：SERSC
摘要：With the increasing of Web services on Internet, services composition requests considering not only the static information compatibility, such as interface grammar and semantic, but also the structural behavior compatibility, i.e., control flow and communication protocol. However, due to the uncertainty of Internet, application failures occurred in service-based software will cause kinds of economic losses. This stochastic phenomenon has been impacted on the structural behavior which makes services composition should take the probabilistic compatibility into account. The probabilistic compatibility needs to compute the degree of compatibility for the effective performance evaluation, which has been an important issue during services collaboration. In this paper, the probabilistic interface automaton is proposed to formalize service behaviors. Then, the synchronized product model is used to the qualitative checking for verifying whether they can interact with each other or not. Third, the probabilistic compatibilities of composite service and component service are discussed for the quantitative computing. Our method provides a reference to generate the correctness and reliable services composition.
