一种FTCSP的服务组合时间建模与分析方法

Modeling and Analyzing Time Properties of Service Composition Based on FTCSP

为了实现适合描述并发和组合系统的经典进程代数对服务组合时间规约的建模与分析,首先,提出了一种模糊时间通信顺序进程(FTCSP),定义了其语法和操作语义,然后提出了基于FTCSP的服务组合时间建模与分析方法,定义了有利于服务组合时间规约分析的模糊时间算子,给出了服务组合时间分析算法。最后,以地下空间环境信息实时发布系统(UEIRS)为例,验证了该方法的有效性。

The classical process algebras which are suitable for describing concurrent and combination systems have already been applied to the function modeling of the service composition system. However,they do not support modeling of system time characteristic. The extended time process algebra is also faced with challenge that lack of capability for modeling system uncertain time. Therefore they can＇t satisfy modeling and analyzing uncertain time properties of service composition. To solve this problem,a novel process algebra called Fuzzy Time Communication Sequential Process（ FTCSP） is proposed,which is based on possibility theory in the paper and the syntax and Semantics are presented. Then a method of service composition based on FTCSP is given. The several fuzzy time rules are defined which are beneficial to analyze service composition. We also give a service composition time analysis algorithm. Finally,the time analysis results of underground space environment information real-time release system show the effectiveness of the proposed method.