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

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

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

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

云南农业大学基础与信息工程学院昆明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

摘要/Abstract

摘要： 全球化软件开发导致以交互方式协作开发的频率和复杂性越来越高。为了控制和规范软件演化的开发行为进而提高软件质量,文献[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

钱晔,李彤,郁涌,孙吉红,于倩,彭琳. 一种面向同步交互的软件演化过程建模方法[J]. 计算机科学, 2016, 43(8): 154-158. https://doi.org/10.11896/j.issn.1002-137X.2016.08.032

QIAN Ye, LI Tong, YU Yong, SUN Ji-hong, YU Qian and PENG Lin. Approach to Modeling Software Evolution Process for Synchronous Interaction[J]. Computer Science, 2016, 43(8): 154-158. https://doi.org/10.11896/j.issn.1002-137X.2016.08.032

参考文献

[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 5^thEuropean 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 1^stApplication[D].Nanchang:Jiangxi Normal University,2007(in Chinese) 吴帅.UML模型图到B方法形式规约的转换研究与应用[D].南昌:江西师范大学,2007

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed