摘要
为了实现适合描述并发和组合系统的经典进程代数对服务组合时间规约的建模与分析,首先,提出了一种模糊时间通信顺序进程(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.
作者
周珊珊
马新春
李剑
Zhou Shanshan;Ma Xinchun;Li Jian(Xinjiang Electronic Research Institute Limited Company,Urumqi 830013,China)
出处
《单片机与嵌入式系统应用》
2018年第6期16-19,共4页
Microcontrollers & Embedded Systems
关键词
服务组合
进程代数
模糊时间
建模分析
实时发布系统
service composition
process algebra
fuzzy time
modeling analysis
real-time publishing system