3软件演化过程的元模型CEPMM.doc

一种面向同步交互的软件演化过程建模方法 钱晔1,3 李彤2,3 郁涌2,3 孙吉红4 于倩2,3 彭琳1 (云南农业大学基础与信息工程学院， 昆明 650201) 1 (云南大学软件学院，昆明 650091) 2 (云南省软件工程重点实验室(云南大学)，昆明 650091) 3 (云南省科学技术院，昆明 650000)4 摘要 全球化软件开发导致以交互方式协作开发的频率和复杂性越来越高。为了控制和规范软件演化的开发行为进而提高软件质量，文献[10]设计了软件演化过程元模型EPMM，由EPMM定义的软件演化过程模型未能形式描述其交互的特点。本文基于软件演化过程元模型EPMM[10]定义的软件演化过程有全局层、过程层、活动层和任务层四个抽象层的思想，设计了软件演化过程元模型CEPMM，CEPMM定义的软件演化过程模型可形式描述同步交互的特点是在其活动层，由此本文提出一种基于通信系统演算CCS的软件演化过程活动层的建模方法，然后在visual studio平台下实现软件演化过程活动层可视化的建模工具CAmodel。CEPMM构建的软件演化过程活动层模型不仅可描述并发、迭代等特点，还可形式描述同步交互的特性，为模型进行严格的数学方法分析、推理奠定基础。 关键词：软件演化过程的元模型EPMM；软件演化过程的元模型CEPMM；通信系统演算CCS；同步交互 中图法分类号 TP31 An Approach to Modeling Software Evolution Process for Synchronous Interaction Qian Ye1,3 Li Tong2,3 Yu Yong2,3 Sun Jihong4 Yu Qian2,3 Peng Ling1 1(School of Basis and Information Engineering, Yunnan Agricultural University, Kunming 650091, China) 2(School of Software, Yunnan University, Kunming 650091, China) 3(Key Laboratory for Software Engineering of Yunnan Province(Yunnan University), Kunming 650091, China) 4(Academy of Sciences in Yunnan Province, Kunming 650091, China) Abstract In the background of globalization software development, frequency and complexity of interactive collaborative development among software development teams is more and more high . In order to improve the quality of software by controlling and regulating the behavior of the software evolution development, EPMM到稿日期：2015/7/14 返修日期：2015/9/18 本文受国家自然科学基金项目“软件演化过程的行为验证研究”；国家自然科学基金项目“基于构件的可信软件构造及其行为动态可信测评”；云南省科技厅面上项目“基于构件的可信软件构造及其相关问题研究”（2012FB119）；云南省教育厅科研重点项目“基于构件的可信软件构造及其可信测评”（2013Z057）资助。钱晔（1984-），女，博士，讲师，CCF会员, 会员证号：E200017835G，主要研究领域为软件过程方法与技术，计算机应用。HYPERLINK mailto:qy198403@163.comqy198403@163.com。李彤（1963-），男，博士，教授，博士生导师，CCF高级会员，主要研究领域为软件过程方法与技术，软件工程。  (the software evolution process meta-model) is designed. However, the software evolution process model which is defined by the EPMM fails to formally describe the characteristics of synchronous interaction. In this pa