一种面向同步交互的软件演化过程建模方法

来源 :计算机科学 | 被引量 : 0次 | 上传用户：blueskyxq

【摘要】

：

全球化软件开发导致以交互方式协作开发的频率和复杂性越来越高。为了控制和规范软件演化的开发行为进而提高软件质量,文献[10]设计了软件演化过程元模型EPMM,由EPMM定义的软

【作者】

：

钱晔李彤郁涌孙吉红于倩彭琳

【机构】

：

云南农业大学基础与信息工程学院,云南大学软件学院,云南省软件工程重点实验室（云南大学）,云南省科学技术院

【出处】

：

计算机科学

【发表日期】

：

2016年8期

【关键词】

：

软件演化过程的元模型通信系统演算同步交互 Software evolution process meta-model（CEPMM） Calculus of

【基金项目】

：

国家自然科学基金项目：软件演化过程的行为验证研究（61262024）,国家自然科学基金项目：基于构件的可信软件构造及其行为动态可信测评（61462091）,云南省科技厅面上项目：基于构件的可信软件构造及其相关问题研究（2012FB119）,云南省教育厅科研重点项目：基于构件的可信软件构造及其可信测评（2013Z057）资助.

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

全球化软件开发导致以交互方式协作开发的频率和复杂性越来越高。为了控制和规范软件演化的开发行为进而提高软件质量,文献[10]设计了软件演化过程元模型EPMM,由EPMM定义的软件演化过程模型未能形式描述其交互的特点。基于EPMM[10]定义的软件演化过程包括全局层、过程层、活动层和任务层4个抽象层的思想,设计了软件演化过程元模型CEPMM。CEPMM定义的软件演化过程模型可形式描述同步交互的特点是在其活动层,由此提出一种基于通信系统演算（CCS）的软件演化过程活动层的建模方法,然后在Visual Studi

其他文献

机会路由中一种候选节点数量估计方法

针对机会路由中候选节点数量过多的问题,提出一种基于距离的候选节点数量估计方法（DBNCE）。该方法根据当前节点到目的节点的距离,结合网络密度、当前节点邻居节点的数量等因素,

期刊

机会路由期望传输次数候选节点平均候选节点数量Opportunistic routing Expected number of transmission

聚酯／棉混纺用新型染料

制备了几只含有烷基丙二酸酯的新型偶氮染料，这几种新染料能把棉和聚酯混纺品染成几乎同色，热溶染色法取得了成功。在热定形期间，烷基丙二酸酯水解产物脱羧基，剩下的染料不溶解，而

期刊

聚酯棉混纺染料偶氮染料

棉绒缎染整工艺探讨

本文着重对棉绒缎这一产品的印染加工工艺进行了较为细致的分析与探讨，对当前这一品种的开发有一定的指导作用。

期刊

棉绒缎碱减量溢流染色磨毛混纺织物染整

M—E型活性染料三原色拼色探讨

本文对Ｍ－Ｅ型活性染料，三原色拼色中各染料用量在纯棉织物卷染洁出现的一些问题，进行了研究摸索，作了大量的试验工作，对试验结果进行了分析，指出Ｍ－Ｅ型三原色拼色在卷染上的若干缺点，避免了

期刊

活性染料M-E型三原色拼色染色

PBT纤维的特性染色与技术探讨

聚丁烯对苯二酸盐（ＰｏｌｙｂｕｔｙｌｅｎｅＴｅｒｅｐｈｔｈａｌａｔｅＰＢＴ）为产量於聚乙烯对苯二酸盐（ＰｏｌｙｅｔｈｙｌｅｎｅＴｅｒｅｐｈｔｈａｌａｔｅ，ＰＥＴ）之聚酯，一九七０年将其当做ＥｎｇｉｎｅｅｒｉｎｇＰｌａｓｔｉｅｓ而开始生产并逐渐受到重视，ＰＢＴ之结晶化速度较ＰＥＴ快１０倍，且耐热性亦较为良好，故将其当做成型用树脂非常有利，另一方面从

期刊

聚酯纤维特性染色

全毛针织绒绞纱防缩的工艺研究

期刊

羊毛针织绒绞纱防缩整理工艺

臭氧化作用用于连续染色废水的脱水

由于工业废水排放限量日趋严格，纺织品制造商正在寻求减少污染经济有效的方法，特点是在向地下水道排放色度污染的领域，这是纺织业面临的典型处境，臭氧处理进行废水脱色可以解决色

期刊

脱色臭氧化作用染整工业废水处理

靛兰染色的生产实践

期刊

纺织品染色靛兰染色工艺