适用于演化过程建模的通信膜演算

• 作者: 任俊绮 刘磊 张鹏
• 来源期刊: 哈尔滨工程大学学报
• 学科: 工学
• 关键词: 形式化方法 膜计算 通信机制 描述能力 形式化建模 自动机 系统演化 演化过程 软件产品线
• 年，卷（期）: 2018,（4）
• 页码范围: 751-759
• 页数: 9页
• 分类号: TP301
• 字数: 10942字
• 语种: 中文
• DOI: 10.11990/jheu.201610100

摘要

针对膜计算类形式化方法无法描述建模完成的系统的演化问题,提出了一种适用于演化过程建模的通信膜演算.该演算在已有的膜计算类形式化方法的基础上,通过在定义中添加规则的传递等反应规则,使得建模完成的系统可以根据演化需要发生变化,解决了膜计算类形式化方法不适用于对系统演化这一普遍存在的问题,即进行形式化建模的问题.同时利用自动机理论对通信膜演算的性质进行分析,分析了通信膜演算适用于演化过程建模的原因.并利用通信膜演算对一种软件产品线的特定演化过程进行了形式化建模,建模结果表明通信膜演算适用于对演化过程的形式化建模.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘磊	吉林大学计算机科学与技术学院	211	1231	18.0	25.0
2	张鹏	吉林大学计算机科学与技术学院	149	677	14.0	17.0
3	任俊绮	吉林大学计算机科学与技术学院	4	4	1.0	1.0