摘要
在全球化软件开发的背景下,针对分布在不同地域的开发团队频繁同步交互式所引起的软件演化过程的可信问题,和软件演化过程元模型EPMM构建的软件演化过程模型描述的同步交互是非形式化的问题,提出了使用通信系统演算CCS为形式工具的分布式软件演化过程元模型CEPMM.基于CEPMM构建分布式软件演化过程多层模型,包括全局层、过程层、活动层及任务层:任务是原子的,不可分割;为建立分布式软件演化过程全局层和过程层模型提出一种建模方法;最后为实现基于EPMM建模到基于CEPMM建模全局层和过程层转化,在Visual Studio平台下使用C#语言研发出工具CLPmodel.结果表明:全局层和过程层模型的建立,为在该粒度上对分布式软件演化过程的可信分析与研究奠定基础.
Under the background of globalization software development,in order to solve the trustworthy problem in software evolution process caused by frequent synchronous interaction of the development teams between different regions,and the problem of informal synchronous interaction described by the software evolution process model based on software evolution process meta-model EPMM,the distributed software evolution process meta-model CEPMM using CCS( communication system calculus) is proposed. The software evolution process model designed by CEPMM has four levels,global level,process level,activity level and task level. A modeling method for establishing the global and process level model of distributed software evolution process is put forward.Finally,in order to realize the global level and process level model based on EPMM transforming into it based on CEPMM,the local and process modeling visualization tool of software evolution process CLPmodel written in C# is built in visual studio platform. The result shows that: The establishment of the global level and the process level model lays the foundation for the trustworthy analysis and research of the distributed software evolution process on this granularity.
引文
[1]代飞,李彤,谢仲文,等.一种软件演化过程模型的代数语义[J].软件学报,2012,23(4):846-863.DAI F,LI T,XIE Z W,et al.Algebraic semantics of a software evolution process model[J].Journal of software,2012,23(4):846-863.
[2]LEHMAN M M.Laws of software evolution revisited[C]//Proceedings of the 5th European Workshop on Software Process Technology.London,UK:Springer-Verlag,1997:108-124.
[3]谢仲文,李彤,代飞,等.面向软件动态演化的需求建模及其模型规范化[J].计算机科学与探索,2012,6(6):557-576.XIE Z W,LI T,DAI F,et al.Requirement modeling and model normalization for dynamic software evolution[J].Computer Science and Exploration.2012,6(6):557-576.
[4]代飞,李彤,谢仲文,等.基于EPMM的软件过程性质合理性研究[J].计算机工程,2014,40(1):72-77.DAI F,LI T,XIE Z W,et al.Research on the rationality of software process properties based on EPMM[J].Computer Engineering,2014,40(1):72-77.
[5]代飞,李彤,谢仲文,等.基于EPMM的软件过程结构合理性研究[J].计算机科学.2013,40(8):186-190.DAI F,LI T,XIE Z W,et al.Research on the rationality of software process structure based on EPMM[J].Computer Science.2013,40(8):186-190.
[6]孙莉,艾磊.基于JIRA的软件缺陷管理及二次开发研究[J].计算机应用与软件,2013,30(4):171-173.SUN L,AI L.Software defect management and two development research based on JIRA[J].Computer Application and Software,2013,30(4):171-173.
[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]王青,李娟.互联网对软件演化的挑战[J].中国计算机学会通讯,2009,5(12):27-37.WANG Q,LI J.The challenge of the Internet to the evolution of software[J].Communication of Chinese Computer Society,2009,5(12):27-37.
[9]SDERBERG A M,KRISHNA S,BJRN P.Global software development:commitment,trust and cultural sensitivity in strategic partnerships[J].J Int Manag,2013,19(4):347-361.
[10]COLOMO-PALACIOS R,CASADO-LUMBRERAS C,SOTO-ACOSTA P,et al.Project managers in global software development teams:a study of the effects on productivity and performance[J].Softw Qual J,2014,22(1):3-19.
[11]LI T.An approach to modelling software evolution processes[M].Berlin:Springer-Verlag,2008.
[12]钱晔,李彤,郁涌,等.一种面向同步交互的软件演化过程建模方法[J].计算机科学,2016,43(8):154-158.QIAN Y,LI T,YU Y,et al.A software evolution process modeling method for synchronous interaction[J].Computer Science,2016,43(8):154-158.
[13]MILNER R.A calculus of communicating systems:Lecture notes in computer science[M].Berlin:Springer-Verlag,1980.
[14]ROBIN MILNER.通信与移动系统π演算[M].北京:清华大学出版社,2009.ROBIN MILNER.Communication and mobile systemπcalculus[M].Beijing:Tsinghua University Press,2009.
[15]钱晔.一种软件演化过程建模、性质验证及性能分析方法[D].昆明:云南大学,2014.QIAN Y.A method of software evolution process modeling,property verification and performance analysis[D].Kunming:Yun Nan University,2014.
[16]肖芳雄,李燕,黄志球,等.基于时间概率代价进程代数的Web服务组合建模和分析[J].计算机学报,2012,35(5):918-936.XIAO F X,LI Y,HHANG Z Q,et al.Modeling and analysis of Web service composition based on time probability cost process algebra[J].Journal of Computer Science,2012,35(5):918-936.
[17]肖芳雄,黄志球,曹子宁,等.一种扩展了价格信息的进程代数[J].南京航空大学学报,2009,4(1):69-74.XIAO F X,HUANG Z Q,CAO Z N,et al.A process algebra that extends the price information[J].Journal of Nanjing Aeronautical University,2009,4(1):69-74.