计算机科学 ›› 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   
No Suggested Reading articles found!