摘要
针对膜计算类形式化方法无法描述建模完成的系统的演化问题,提出了一种适用于演化过程建模的通信膜演算。该演算在已有的膜计算类形式化方法的基础上,通过在定义中添加规则的传递等反应规则,使得建模完成的系统可以根据演化需要发生变化,解决了膜计算类形式化方法不适用于对系统演化这一普遍存在的问题,即进行形式化建模的问题。同时利用自动机理论对通信膜演算的性质进行分析,分析了通信膜演算适用于演化过程建模的原因。并利用通信膜演算对一种软件产品线的特定演化过程进行了形式化建模,建模结果表明通信膜演算适用于对演化过程的形式化建模。
In this study,we propose a calculus approach named communication membrane calculus which can be used to model the evolution process of a system as an extension of membrane computing.This calculus approach improves communication ability between membranes based on the formal method of membrane computing,to make the modeled system capable of changing with the evolution requires.The calculus approach can eliminate the common defects in membrane computing,which is not applicable to the formal method of modeling of system evolution.The theory of automate was used to analyze the characters of the calculus approach and its scope of application in modeling evolution process.In addition,the calculus approach,based on intermembrane communication,was combined with the formal modeling method to model the evolution of a software product line.The modeling results reveal that the calculus approach is applicable to the formal model of an evolution process.
作者
任俊绮
刘磊
张鹏
REN Junqi;LIU Lei;ZHANG Peng(College of Computer Science and Technology,Jilin University,Changchun 130012,China)
出处
《哈尔滨工程大学学报》
EI
CAS
CSCD
北大核心
2018年第4期751-759,共9页
Journal of Harbin Engineering University
基金
国家自然科学基金项目(61300049)
吉林省自然科学基金项目(20150101054JC)
中国博士后科学基金项目(2016M591482)
关键词
形式化方法
膜计算
通信机制
描述能力
形式化建模
自动机
系统演化
演化过程
软件产品线
formal methods
membrane computing
communication mechanism
description ability
formal modeling
automaton
evolution process
system evolution
software product lines
