摘要
全球化软件开发导致以交互方式协作开发的频率和复杂性越来越高。为了控制和规范软件演化的开发行为进而提高软件质量,文献[10]设计了软件演化过程元模型EPMM,由EPMM定义的软件演化过程模型未能形式描述其交互的特点。基于EPMM^([10])定义的软件演化过程包括全局层、过程层、活动层和任务层4个抽象层的思想,设计了软件演化过程元模型CEPMM。CEPMM定义的软件演化过程模型可形式描述同步交互的特点是在其活动层,由此提出一种基于通信系统演算(CCS)的软件演化过程活动层的建模方法,然后在Visual Studio平台下实现软件演化过程活动层可视化的建模工具CAmodel。CEPMM构建的软件演化过程活动层模型不仅可以描述并发、迭代等特点,还可以形式描述同步交互的特性,为模型进行严格的数学方法分析、推理奠定了基础。
In the background of globalization software development, frequency and complexity of interactive collabora- tive 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 e- volution 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 evolu- tion 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 syn- chronous interaction of the software evolution process can be described by model defined by CEPMM, which lay the foundation for analyzing and reasoning mathematically.
作者
钱晔
李彤
郁涌
孙吉红
于倩
彭琳
QIAN Ye LI Tong YU Yong SUN Ji-hong YU Qian PENG Lin(College of Basic and Information Engineering, Yunnan Agricultural University, Kunming 650201, China School of Software, Yunnan University, Kunming 650091, China Key Laboratory for Software Engineering of Yunnan Province, Yunnan University, Kunming 650091 ,China Yunnan Provincial Academy of Science and Technology, Kunming 650000, China)
出处
《计算机科学》
CSCD
北大核心
2016年第8期154-158,共5页
Computer Science
基金
国家自然科学基金项目:软件演化过程的行为验证研究(61262024)
国家自然科学基金项目:基于构件的可信软件构造及其行为动态可信测评(61462091)
云南省科技厅面上项目:基于构件的可信软件构造及其相关问题研究(2012FB119)
云南省教育厅科研重点项目:基于构件的可信软件构造及其可信测评(2013Z057)资助
关键词
软件演化过程的元模型
通信系统演算
同步交互
Software evolution process meta-model（CEPMM） ,Calculus of communication systems（CCS）, Synchronous interaction
