计算机科学 ›› 2014, Vol. 41 ›› Issue (11): 56-62.doi: 10.11896/j.issn.1002-137X.2014.11.012

• 2013’全国软件与应用学术会议 • 上一篇    下一篇

基于EPMM的软件过程行为偏离诊断研究

朱锐,李彤,莫启,张璇,王一荃,林雷蕾,代飞   

  1. 云南大学软件学院 昆明650091;云南大学软件学院 昆明650091;云南省软件工程重点实验室云南大学 昆明650091;云南大学软件学院 昆明650091;云南大学软件学院 昆明650091;云南大学软件学院 昆明650091;云南大学软件学院 昆明650091;云南大学软件学院 昆明650091;云南省软件工程重点实验室云南大学 昆明650091
  • 出版日期:2018-11-14 发布日期:2018-11-14
  • 基金资助:
    本文受国家自然科学基金项目(60963007,4,61262025),云南省自然科学基金项目(2007F008M),云南大学软件学院学科建设基金资助

Research on Deviation Diagnostic of Software Process Behavior Based on EPMM Modelling

ZHU Rui,LI Tong,MO Qi,ZHANG Xuan,WANG Yi-quan,LIN Lei-lei and DAI Fei   

  • Online:2018-11-14 Published:2018-11-14

摘要: 近年来,随着对PSEE认识的深入,人们逐渐发现实际观察到的过程执行往往和实施的过程模型之间存在一定的偏离(deviation),从而导致PSEE对于实际软件开发活动失去了指导意义。针对软件过程偏离问题,以软件演化过程元模型(EPMM)为基础,在软件过程偏离发现方面,借鉴进程代数的弱互模拟思想,提出过程行为空间表达式,用以构造 软件过程的行为空间来检测过程偏离;在软件过程偏离处理方面,提出过程偏离类型的划分及偏离处理策略。这种方法能够发现软件过程实施中普遍存在的过程偏离问题并加以处理来改进软件过程,最终提高软件产品质量。

关键词: 软件过程,行为偏离诊断,软件演化过程元模型,软件过程行为空间,进程代数

Abstract: In recent years,with in-depth understanding of PSEE,people gradually discover that there are certain deviations between the enacting process model and the actual observed process,which leads to the PSEE loses guiding significance for the actual software development activities.For the process deviation problem,based on the software evolution process meta-model (EPMM),on the side of software process deviation detecting,this paper proposed the process behavior space expression on learning process algebra weak bi-simulation ideas in order to detect the process deviation.On the side of software process deviation handling,the process deviation division of type and handling strategy were given.This method can effectively find prevalent deviations problems in the software process implementation, and improve the software process through dealing with the deviation problems,ultimately improve the quality of software products.

Key words: Software process,Behavior deviation diagnostic,EPMM,Software process behavior space,Process algebra

[1] Osterweil L J.Software Processes are Software too[C]∥Proceedings of the 9th International Conference on Software Engineering.ACM Press,New York,NY,1987:2-13
[2] Montangero C,Derniame J C,Kaba B A,et al.The software process:Modeling and technology[C]∥Derniame J C,BAK,Wastell D G,eds.Proc.of the software Process:Principles,Methodology,and Technology.Springer-Verlag,1999:1-14
[3] SEI.CMMI for Development,Version 1.2-Improving Processfor Better Products[S].SEI,CMU,2006
[4] Humphrey W S.A Discipline for Software Engineering[M].Boston:Addison-Wesley Longman Publishing Co.,Inc.,1995
[5] Arbaoui S,Derniame J-C,Fav O,et al.A comparative review of process-centered software engineering environments[J].Annal of Software Engineering,2002,14(1-4):311-340
[6] 李明树,杨秋松,翟健.软件过程建模方法研究[J].软件学报,2009,20(3):524-545
[7] Kabbaj M,Lbath R,Coulette B.A deviation-tolerant approach to software process evolution[C]∥Proceedings of the 9th international workshop on Principles of software evolution (IWPSE 2007).ACM Press,2007:75-78
[8] Lonchamp J.A structured conceptual and terminological framework for software process engineering[C]∥Proc.of the ICSP.1993.4153
[9] Tong Li.An Approach to Modeling Software Evolution Processes [M].Spring-Verlag,Berlin,2008
[10] Cugola G.Tolerating deviations in process support system via flexible enactment of process models[J].IEEE Trans.on Software Engineering,1998,24(11):982-1001
[11] Pohl K,Weidenhaupt K,Domges R,et al.PRIME—Towardprocess-integrated modeling environments[J].ACM Trans.on Software Engineering and Methodology,1999,8(4):343-410
[12] 杨勇,周伯生.基于系统动力学的软件过程偏离控制[J].计算机工程与设计,2011,2(5):1684-1690
[13] 顾庆,陈道蓄.基于事件约束的软件过程验证[J].软件学报,2005,16(10):1735-1742
[14] Dowson M,Fernstrm C.Towards requirements for enactmentmechanisms[M].Software process technology.Springer Berlin Heidelberg,1994:90-106
[15] da Silva M A A,Bendraou R,Robin J,et al.Flexible Deviation Handling during Software Process Enactment[C]∥ Fifteenth IEEE International EDOL Conference .IEEE,2011:34-41
[16] 屈延文.软件行为学[M].北京:电子工业出版社,2004
[17] 米尔纳,林惠民.通信与移动系统:π 演算[M].北京:清华大学出版社,2009
[18] Lonchamp J.A structured conceptual and terminological framework for software process engineering[C]∥Proceedings of the Second International Conference on the Software Process,1993,2:41-53
[19] Cugola G.Tolerating deviations in process support systems via flexible enactment of process models[J].IEEE Transactions on Software Engineering,1998,24(11):982-1001

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
[1] 雷丽晖,王静. 可能性测度下的LTL模型检测并行化研究[J]. 计算机科学, 2018, 45(4): 71 -75 .
[2] 孙启,金燕,何琨,徐凌轩. 用于求解混合车辆路径问题的混合进化算法[J]. 计算机科学, 2018, 45(4): 76 -82 .
[3] 张佳男,肖鸣宇. 带权混合支配问题的近似算法研究[J]. 计算机科学, 2018, 45(4): 83 -88 .
[4] 伍建辉,黄中祥,李武,吴健辉,彭鑫,张生. 城市道路建设时序决策的鲁棒优化[J]. 计算机科学, 2018, 45(4): 89 -93 .
[5] 史雯隽,武继刚,罗裕春. 针对移动云计算任务迁移的快速高效调度算法[J]. 计算机科学, 2018, 45(4): 94 -99 .
[6] 周燕萍,业巧林. 基于L1-范数距离的最小二乘对支持向量机[J]. 计算机科学, 2018, 45(4): 100 -105 .
[7] 刘博艺,唐湘滟,程杰仁. 基于多生长时期模板匹配的玉米螟识别方法[J]. 计算机科学, 2018, 45(4): 106 -111 .
[8] 耿海军,施新刚,王之梁,尹霞,尹少平. 基于有向无环图的互联网域内节能路由算法[J]. 计算机科学, 2018, 45(4): 112 -116 .
[9] 崔琼,李建华,王宏,南明莉. 基于节点修复的网络化指挥信息系统弹性分析模型[J]. 计算机科学, 2018, 45(4): 117 -121 .
[10] 王振朝,侯欢欢,连蕊. 抑制CMT中乱序程度的路径优化方案[J]. 计算机科学, 2018, 45(4): 122 -125 .