适用于演化过程建模的通信膜演算 |
| |
引用本文: | 任俊绮,刘磊,张鹏.适用于演化过程建模的通信膜演算[J].哈尔滨工程大学学报,2018(4). |
| |
作者姓名: | 任俊绮 刘磊 张鹏 |
| |
作者单位: | 吉林大学计算机科学与技术学院; |
| |
摘 要: | 针对膜计算类形式化方法无法描述建模完成的系统的演化问题,提出了一种适用于演化过程建模的通信膜演算。该演算在已有的膜计算类形式化方法的基础上,通过在定义中添加规则的传递等反应规则,使得建模完成的系统可以根据演化需要发生变化,解决了膜计算类形式化方法不适用于对系统演化这一普遍存在的问题,即进行形式化建模的问题。同时利用自动机理论对通信膜演算的性质进行分析,分析了通信膜演算适用于演化过程建模的原因。并利用通信膜演算对一种软件产品线的特定演化过程进行了形式化建模,建模结果表明通信膜演算适用于对演化过程的形式化建模。
|
本文献已被 CNKI 等数据库收录! |
|