作者：任俊绮; 刘磊; 张鹏形式化方法膜计算通信机制描述能力形式化建模自动机系统演化演化过程软件产品线
摘要：针对膜计算类形式化方法无法描述建模完成的系统的演化问题，提出了一种适用于演化过程建模的通信膜演算。该演算在已有的膜计算类形式化方法的基础上，通过在定义中添加规则的传递等反应规则，使得建模完成的系统可以根据演化需要发生变化，解决了膜计算类形式化方法不适用于对系统演化这一普遍存在的问题，即进行形式化建模的问题。同时利用自动机理论对通信膜演算的性质进行分析，分析了通信膜演算适用于演化过程建模的原因。并利用通信膜演算对一种软件产品线的特定演化过程进行了形式化建模，建模结果表明通信膜演算适用于对演化过程的形式化建模。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
