[1]任俊绮,刘磊,张鹏.适用于演化过程建模的通信膜演算[J].哈尔滨工程大学学报,2018,39(04):751-759.[doi:10.11990/jheu.201610100]
 REN Junqi,LIU Lei,ZHANG Peng.Communication membrane calculus: a formal method for modeling the process of evolution[J].hebgcdxxb,2018,39(04):751-759.[doi:10.11990/jheu.201610100]
点击复制

适用于演化过程建模的通信膜演算(/HTML)
分享到:

《哈尔滨工程大学学报》[ISSN:1006-6977/CN:61-1281/TN]

卷:
39
期数:
2018年04期
页码:
751-759
栏目:
出版日期:
2018-04-05

文章信息/Info

Title:
Communication membrane calculus: a formal method for modeling the process of evolution
作者:
任俊绮 刘磊 张鹏
吉林大学 计算机科学与技术学院, 吉林 长春 130012
Author(s):
REN Junqi LIU Lei ZHANG Peng
College of Computer Science and Technology, Jilin University, Changchun 130012, China
关键词:
形式化方法膜计算通信机制描述能力形式化建模自动机系统演化演化过程软件产品线
分类号:
TP301
DOI:
10.11990/jheu.201610100
文献标志码:
A
摘要:
针对膜计算类形式化方法无法描述建模完成的系统的演化问题,提出了一种适用于演化过程建模的通信膜演算。该演算在已有的膜计算类形式化方法的基础上,通过在定义中添加规则的传递等反应规则,使得建模完成的系统可以根据演化需要发生变化,解决了膜计算类形式化方法不适用于对系统演化这一普遍存在的问题,即进行形式化建模的问题。同时利用自动机理论对通信膜演算的性质进行分析,分析了通信膜演算适用于演化过程建模的原因。并利用通信膜演算对一种软件产品线的特定演化过程进行了形式化建模,建模结果表明通信膜演算适用于对演化过程的形式化建模。

参考文献/References:

[1] PAUN G. Computing with membranes[J]. Journal of computer and system sciences, 2000, 61(1):108-143.
[2] PAUN G. 膜计算导论[M]. 潘林强, 曾湘祥, 宋弢, 等译. 武汉:华中科技大学出版社, 2012:383-390.PAUN G. Membrane computing an introduction[M]. PAN Linqiang, ZENG Xiangxiang, SONG Tao, et al, trans. Wuhan:Huazhong University of Science & Technology Press, 2012:383-390.
[3] QI Zhengwei, LI Minglu, FU Cheng, et al. Membrane calculus:a formal method for grid transactions[J]. Concurrency and computation:practice and experience, 2006, 18(14):1799-1809.
[4] KRISHNA S N, PAUN G. P systems with mobile membranes[J]. Natural computing, 2005, 4(3):255-274.
[5] AMAN B, CIOBANU G. Describing the immune system using enhanced mobile membranes[J]. Electronic notes in theoretical computer science, 2008, 194(3):5-18.
[6] CIOBANU G, PAUN G, PÉREZ-JIMÉNEZ M J. Applications of membrane computing[M]. Berlin, Heidelberg:Springer, 2006.
[7] 戚正伟, 尤晋元. 基于细胞膜演算的Web服务事务处理形式化描述与验证[J]. 计算机学报, 2006, 29(7):1137-1144.QI Zhengwei, YOU Jinyuan. The formal specification and verification of transaction processing in Web services by membrane calculus[J]. Chinese journal of computers, 2006, 29(7):1137-1144.
[8] PAUN G. A quick introduction to membrane computing[J]. The journal of logic and algebraic programming, 2010, 79(6):291-294.
[9] KRISHNA S N, CIOBANU G. On the computational power of enhanced mobile membranes[C]//Proceedings of the 4th Conference on Computability in Europe. Athens, Greece, 2008:326-335.
[10] GAIA F N, FERREIRA G C S, FIGUEIREDO E, et al. A quantitative and qualitative assessment of aspectual feature modules for evolving software product lines[J]. Science of computer programming, 2014, 96:230-253.
[11] BEOHAR H, VARSHOSAZ M, MOUSAVI M R. Basic behavioral models for software product lines:expressiveness and testing pre-orders[J]. Science of computer programming, 2016, 123:42-60.
[12] RINCÍN L, GIRALDO G, MAZO R, et al. Method to identify corrections of defects on product line models[J]. Electronic notes in theoretical computer science, 2015, 314:61-81.
[13] WHITE J, GALINDO J A, SAXENA T, et al. Evolving feature model configurations in software product lines[J]. Journal of systems and software, 2014, 87:119-136.
[14] BORBA P, TEIXEIRA L, GHEYI R. A theory of software product line refinement[J]. Theoretical computer science, 2012, 455:2-30.
[15] NEVES L, TEIXEIRA L, SENA D, et al. Investigating the safe evolution of software product lines[C]//Proceedings of the 10th ACM International Conference on Generative Programming and Component Engineering. Portland, Oregon, USA, 2011:33-42.
[16] NEVES L, BORBA P, ALVES V, et al. Safe evolution templates for software product lines[J]. Journal of systems and software, 2015, 106:42-58.

相似文献/References:

[1]刘闯,韩敏,王心哲.动态优化问题中的演化膜算法[J].哈尔滨工程大学学报,2013,(11):1397.[doi:10.3969/j.issn.1006-7043.201209044]
[2]张涛,谢红,黄少滨.责任政策形式化验证方法[J].哈尔滨工程大学学报,2016,37(04):585.[doi:10.11990/jheu.201501007]
 ZHANG Tao,XIE Hong,HUANG Shaobin.Formal method for obligation policy[J].hebgcdxxb,2016,37(04):585.[doi:10.11990/jheu.201501007]

备注/Memo

备注/Memo:
收稿日期:2016-10-27。
基金项目:国家自然科学基金项目(61300049);吉林省自然科学基金项目(20150101054JC);中国博士后科学基金项目(2016M591482).
作者简介:任俊绮(1988-),女,博士研究生;刘磊(1960-),男,教授,博士生导师;张鹏(1986-),男,讲师,博士.
通讯作者:张鹏,E-mail:zhangpengccst@jlu.edu.cn
更新日期/Last Update: 2018-04-11