一种FTCSP的服务组合时间建模与分析方法
为了实现适合描述并发和组合系统的经典进程代数对服务组合时间规约的建模与分析,首先,提出了一种模糊时间通信顺序进程(FTCSP),定义了其语法和操作语义,然后提出了基于FTCSP的服务组合时间建模与分析方法,定义了有利于服务组合时间规约分析的模糊时间算子,给出了服务组合时间分析算法.最后,以地下空间环境信息实时发布系统(UEIRS)为例,验证了该方法的有效性.
服务组合、进程代数、模糊时间、建模分析、实时发布系统
18
TN919
2018-08-14(万方平台首次上网日期,不代表论文的发表时间)
共4页
16-19