计算机科学 ›› 2016, Vol. 43 ›› Issue (8): 154-158.doi: 10.11896/j.issn.1002-137X.2016.08.032

• 软件与数据库技术 • 上一篇    下一篇

一种面向同步交互的软件演化过程建模方法

钱晔,李彤,郁涌,孙吉红,于倩,彭琳   

  1. 云南农业大学基础与信息工程学院 昆明650201;云南省软件工程重点实验室云南大学 昆明650091,云南大学软件学院 昆明650091;云南省软件工程重点实验室云南大学 昆明650091,云南大学软件学院 昆明650091;云南省软件工程重点实验室云南大学 昆明650091,云南省科学技术院 昆明650000,云南大学软件学院 昆明650091;云南省软件工程重点实验室云南大学 昆明650091,云南农业大学基础与信息工程学院 昆明650201
  • 出版日期:2018-12-01 发布日期:2018-12-01
  • 基金资助:
    本文受国家自然科学基金项目:软件演化过程的行为验证研究(61262024),国家自然科学基金项目:基于构件的可信软件构造及其行为动态可信测评(61462091),云南省科技厅面上项目:基于构件的可信软件构造及其相关问题研究(2012FB119),云南省教育厅科研重点项目:基于构件的可信软件构造及其可信测评(2013Z057)资助

Approach to Modeling Software Evolution Process for Synchronous Interaction

QIAN Ye, LI Tong, YU Yong, SUN Ji-hong, YU Qian and PENG Lin   

  • Online:2018-12-01 Published:2018-12-01

摘要: 全球化软件开发导致以交互方式协作开发的频率和复杂性越来越高。为了控制和规范软件演化的开发行为进而提高软件质量,文献[10]设计了软件演化过程元模型EPMM,由EPMM定义的软件演化过程模型未能形式描述其交互的特点。基于EPMM[10]定义的软件演化过程包括全局层、过程层、活动层和任务层4个抽象层的思想,设计了软件演化过程元模型CEPMM。CEPMM定义的软件演化过程模型可 形式描述同步交互的特点是在其活动层,由此提出一种基于通信系统演算(CCS)的软件演化过程活动层的建模方法,然后在Visual Studio平台下实现软件演化过程活动层可视化的建模工具CAmodel。CEPMM构建的软件演化过程活动层模型不仅可以描述并发、迭代等特点,还可以形式描述同步交互的特性,为模型进行严格的数学方法分析、推理奠定了基础。

关键词: 软件演化过程的元模型,通信系统演算,同步交互

Abstract: In the background of globalization software development,frequency and complexity of interactive collaborative development among software development teams are higher and higher.In order to improve the quality of software by controlling and regulating the behavior of the software evolution development,EPMM was designed in paper [10].However,the software evolution process model which is defined by the EPMM fails to formally describe the characteri-stics of synchronous interaction.In this paper,based on four levels(global,process,activity and task) in the software evolution process defined by EPMM,CEPMM was designed.Because it is in activity level that software evolution process model which is defined by CEPMM can describe synchronous interaction of it,an approach to modeling software evolution process in activity level was put forward based on CCS.At last,the activity modeling visualization tool CAmodel of software evolution process was built in visual studio platform.Not only concurrency,iteration and so on,but also synchronous interaction of the software evolution process can be described by model defined by CEPMM,which lay the foundation for analyzing and reasoning mathematically.

Key words: Software evolution process meta-model(CEPMM),Calculus of communication systems(CCS),Synchronous interaction

[1] Dai Fei,Li Tong,Xie Zhong-wen,et al.Towards an algebraic semantics of software evolution process models[J].Journal of Software,2012,3(4):846-863(in Chinese) 代飞,李彤,谢仲文,等.一种软件演化过程模型的代数语义[J].软件学报,2012,3(4):846-863
[2] Lehman MM.Laws of software evolution revisited[C]∥Proceedings of the 5thEuropean Workshop on Software Process Technology.London,UK:Springer-Verlag,1997:108-124
[3] Xie Zhong-wen,Li Tong,Dai Fei,et al.An Approach to Mode-ling and Normalizing Dynamic-Evolution-Oriented Software Requirements[J].Journal of Frontiers of Computer Science and Technology,2012,6(6):557-576(in Chinese) 谢仲文,李彤,代飞,等.面向软件动态演化的需求建模及其模型规范化[J].计算机科学与探索,2012,6(6):557-576
[4] Dai Fei,Li Tong,Xie Zhong-wen,et al.Research on Property Soundness of Software Process Based on EPMM[J].Computer Engineering,2014,40(1):72-77(in Chinese) 代飞,李彤,谢仲文,等.基于EPMM的软件过程性质合理性研究[J].计算机工程,2014,40(1):72-77
[5] Dai Fei,Li Tong,Xie Zhong-wen,et al.Research on Structure Soundness of Software Processes Based on EPMM[J].Compu-ter Science,2013,40(8):186-190(in Chinese) 代飞,李彤,谢仲文,等.基于EPMM的软件过程结构合理性研究[J].计算机科学,2013,40(8):186-190
[6] ISO,IEC.ISO/IEC 12207:Standard for Information Technology-software Life Cycle Processes[S].1998
[7] Osterweil L J.Software Processes are Software Tool[C]∥Proc.of the 9th International Conference on Software Engineering.Monterey.USA:ACM Press,1987:2-13
[8] Wang Qing,Li Juan.The challenge for software evolution from the Internet[J].Communications of the CCF,2009,5(12):27-37(in Chinese) 王青,李娟.互联网对软件演化的挑战[J].中国计算机学会通讯 ,2009,5(12):27-37
[9] Herbsleb J D,Moitra D.Guest Editors' Introduction:Global Software Development[J].IEEE Software,2001,8(2):16-20
[10] Li Tong.An approach to modelling software evolution processes[M].Berlin:Springer-Verlag,2008
[11] Milner R.A Calculus of Communicating Systems[M].Lecture Notes in Computer Science,Springer-Verlag,1980
[12] Milner R.通信与移动系统π 演算[M].北京:清华大学出版社,2009
[13] Xiao Fang-xiong,Li Yan,Huang Zhi-qiu,et al.Modeling andAnalyzing Web Services Composition Using Timed Probabilistic Priced Process Algebra[J].Chinese Journal of Computers,2012,1(5):918-936(in Chinese) 肖芳雄,李燕,黄志球,等.基于时间概率代价进程代数的Web服务组合建模和分析[J].计算机学报,2012,1(5):918-936
[14] Xiao Fang-xiong,Huang Zhi-qiu,Cao Zi-ning,et al.Process Algebra Extended with Price Information[J].Journal of Nanjing University of Aeronautics and Astronautics,2009,41(1):69-74(in Chinese) 肖芳雄,黄志球,曹子宁,等.一种扩展了价格信息的进程代数[J].南京航空大学学报,2009,41(1):69-74
[15] Qian Ye.An Approach to Modelling,Properties Verification and Performance Analysis of Software Evolution Process[D].Kunming:Yunnan University,2014(in Chinese) 钱晔.一种软件演化过程建模、性质验证及性能分析方法[D].昆明:云南大学,2014
[16] Wu Shuai.The Research on Translating UML Diagram to B-Method Formal specification and 1stApplication[D].Nanchang:Jiangxi Normal University,2007(in Chinese) 吴帅.UML模型图到B方法形式规约的转换研究与应用[D].南昌:江西师范大学,2007

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
[1] 雷丽晖,王静. 可能性测度下的LTL模型检测并行化研究[J]. 计算机科学, 2018, 45(4): 71 -75, 88 .
[2] 夏庆勋,庄毅. 一种基于局部性原理的远程验证机制[J]. 计算机科学, 2018, 45(4): 148 -151, 162 .
[3] 厉柏伸,李领治,孙涌,朱艳琴. 基于伪梯度提升决策树的内网防御算法[J]. 计算机科学, 2018, 45(4): 157 -162 .
[4] 王欢,张云峰,张艳. 一种基于CFDs规则的修复序列快速判定方法[J]. 计算机科学, 2018, 45(3): 311 -316 .
[5] 孙启,金燕,何琨,徐凌轩. 用于求解混合车辆路径问题的混合进化算法[J]. 计算机科学, 2018, 45(4): 76 -82 .
[6] 张佳男,肖鸣宇. 带权混合支配问题的近似算法研究[J]. 计算机科学, 2018, 45(4): 83 -88 .
[7] 伍建辉,黄中祥,李武,吴健辉,彭鑫,张生. 城市道路建设时序决策的鲁棒优化[J]. 计算机科学, 2018, 45(4): 89 -93 .
[8] 刘琴. 计算机取证过程中基于约束的数据质量问题研究[J]. 计算机科学, 2018, 45(4): 169 -172 .
[9] 钟菲,杨斌. 基于主成分分析网络的车牌检测方法[J]. 计算机科学, 2018, 45(3): 268 -273 .
[10] 史雯隽,武继刚,罗裕春. 针对移动云计算任务迁移的快速高效调度算法[J]. 计算机科学, 2018, 45(4): 94 -99, 116 .