| 一种面向同步交互的软件演化过程建模方法 |
| |
| 引用本文： | 钱晔,李彤,郁涌,孙吉红,于倩,彭琳.一种面向同步交互的软件演化过程建模方法[J].计算机科学,2016,43(8):154-158. |
| |
| 作者姓名： | 钱晔 李彤 郁涌 孙吉红 于倩 彭琳 |
| |
| 作者单位： | 云南农业大学基础与信息工程学院 昆明650201;云南省软件工程重点实验室云南大学 昆明650091,云南大学软件学院 昆明650091;云南省软件工程重点实验室云南大学 昆明650091,云南大学软件学院 昆明650091;云南省软件工程重点实验室云南大学 昆明650091,云南省科学技术院 昆明650000,云南大学软件学院 昆明650091;云南省软件工程重点实验室云南大学 昆明650091,云南农业大学基础与信息工程学院 昆明650201 |
| |
| 基金项目： | 本文受国家自然科学基金项目:软件演化过程的行为验证研究(61262024),国家自然科学基金项目:基于构件的可信软件构造及其行为动态可信测评(61462091),云南省科技厅面上项目:基于构件的可信软件构造及其相关问题研究(2012FB119),云南省教育厅科研重点项目:基于构件的可信软件构造及其可信测评(2013Z057)资助 |
| |
| 摘 要： | 全球化软件开发导致以交互方式协作开发的频率和复杂性越来越高。为了控制和规范软件演化的开发行为进而提高软件质量,文献10]设计了软件演化过程元模型EPMM,由EPMM定义的软件演化过程模型未能形式描述其交互的特点。基于EPMM10]定义的软件演化过程包括全局层、过程层、活动层和任务层4个抽象层的思想,设计了软件演化过程元模型CEPMM。CEPMM定义的软件演化过程模型可 形式描述同步交互的特点是在其活动层,由此提出一种基于通信系统演算(CCS)的软件演化过程活动层的建模方法,然后在Visual Studio平台下实现软件演化过程活动层可视化的建模工具CAmodel。CEPMM构建的软件演化过程活动层模型不仅可以描述并发、迭代等特点,还可以形式描述同步交互的特性,为模型进行严格的数学方法分析、推理奠定了基础。
|
| 关 键 词： | 软件演化过程的元模型 通信系统演算 同步交互 |
| 收稿时间： | 2015/7/14 0:00:00 |
| 修稿时间： | 2015/10/18 0:00:00 |
Approach to Modeling Software Evolution Process for Synchronous Interaction |
| |
| 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. |
| |
| Authors: | QIAN Ye LI Tong YU Yong SUN Ji-hong YU Qian and PENG Lin |
| |
| Affiliation: | College of Basic and Information Engineering,Yunnan Agricultural University,Kunming 650201,China;Key Laboratory for Software Engineering of Yunnan Province,Yunnan University,Kunming 650091,China,School of Software,Yunnan University,Kunming 650091,China;Key Laboratory for Software Engineering of Yunnan Province,Yunnan University,Kunming 650091,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,School of Software,Yunnan University,Kunming 650091,China;Key Laboratory for Software Engineering of Yunnan Province,Yunnan University,Kunming 650091,China and College of Basic and Information Engineering,Yunnan Agricultural University,Kunming 650201,China |
| |
| 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. |
| |
| Keywords: | Software evolution process meta-model(CEPMM) Calculus of communication systems(CCS) Synchronous interaction |
|
|
点击此处可从《计算机科学》下载全文 |
|
