Computer Science ›› 2016, Vol. 43 ›› Issue (8): 154-158.doi: 10.11896/j.issn.1002-137X.2016.08.032

Previous Articles     Next Articles

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: 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] LEI Li-hui and WANG Jing. Parallelization of LTL Model Checking Based on Possibility Measure[J]. Computer Science, 2018, 45(4): 71 -75, 88 .
[2] XIA Qing-xun and ZHUANG Yi. Remote Attestation Mechanism Based on Locality Principle[J]. Computer Science, 2018, 45(4): 148 -151, 162 .
[3] LI Bai-shen, LI Ling-zhi, SUN Yong and ZHU Yan-qin. Intranet Defense Algorithm Based on Pseudo Boosting Decision Tree[J]. Computer Science, 2018, 45(4): 157 -162 .
[4] WANG Huan, ZHANG Yun-feng and ZHANG Yan. Rapid Decision Method for Repairing Sequence Based on CFDs[J]. Computer Science, 2018, 45(3): 311 -316 .
[5] SUN Qi, JIN Yan, HE Kun and XU Ling-xuan. Hybrid Evolutionary Algorithm for Solving Mixed Capacitated General Routing Problem[J]. Computer Science, 2018, 45(4): 76 -82 .
[6] ZHANG Jia-nan and XIAO Ming-yu. Approximation Algorithm for Weighted Mixed Domination Problem[J]. Computer Science, 2018, 45(4): 83 -88 .
[7] WU Jian-hui, HUANG Zhong-xiang, LI Wu, WU Jian-hui, PENG Xin and ZHANG Sheng. Robustness Optimization of Sequence Decision in Urban Road Construction[J]. Computer Science, 2018, 45(4): 89 -93 .
[8] LIU Qin. Study on Data Quality Based on Constraint in Computer Forensics[J]. Computer Science, 2018, 45(4): 169 -172 .
[9] ZHONG Fei and YANG Bin. License Plate Detection Based on Principal Component Analysis Network[J]. Computer Science, 2018, 45(3): 268 -273 .
[10] SHI Wen-jun, WU Ji-gang and LUO Yu-chun. Fast and Efficient Scheduling Algorithms for Mobile Cloud Offloading[J]. Computer Science, 2018, 45(4): 94 -99, 116 .