基于EPMM的软件过程结构合理性研究

计算机科学 ›› 2013, Vol. 40 ›› Issue (8): 186-190.

基于EPMM的软件过程结构合理性研究

代飞,李彤,谢仲文,莫启,金运志

云南大学软件学院昆明650091;云南大学软件学院昆明650091;云南大学软件学院昆明650091;云南大学软件学院昆明650091;云南大学软件学院昆明650091

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
本文受国家自然科学基金(60963007,4,61262025),云南省自然科学基金(2012FD005,2012FB118,2FB119),云南省软件工程重点实验室开放基金(2010KS01,1SE04,2SE307,2SE101)资助

Research on Structure Soundness of Software Processes Based on EPMM

DAI Fei,LI Tong,XIE Zhong-wen,MO Qi and JIN Yun-zhi

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

摘要： 为了确保软件演化过程的正确性,有必要对软件演化所涉及的软件过程进行结构合理性研究,以提高软件演化的质量和效率、缩短软件演化的周期。针对EPMM建模产生的软件演化过程模型,从过程层的角度,提出结构合理性定义,并设计相应的判断算法。结果表明,结构合理性的检验有助于提高软件演化过程的质量。

关键词: 软件演化过程,软件演化,软件过程,性质合理性,Petri网,元模型

Abstract: In order to ensure the correctness of software evolution processes,to check the structure soundness of the software processes under which the corresponding software is evolving is necessary．It is used to improve the quality and efficiency of software evolution and shorten the time of software evolution．According to the software evolution process models modeled by software evolution process meta-model(EPMM),the structure soundness was defined from the point of view of software processes．Moreover,the corresponding algorithms were designed．The result shows that to check the structure soundness helps to improve the quality of software evolution processes.

Key words: Software evolution processes,Software evolution,Software processes,Structure soundness,Petri nets,Meta model

代飞,李彤,谢仲文,莫启,金运志. 基于EPMM的软件过程结构合理性研究[J]. 计算机科学, 2013, 40(8): 186-190. https://doi.org/

DAI Fei,LI Tong,XIE Zhong-wen,MO Qi and JIN Yun-zhi. Research on Structure Soundness of Software Processes Based on EPMM[J]. Computer Science, 2013, 40(8): 186-190. https://doi.org/

参考文献

[2] ISO,IEC．ISO/IEC 12207standard for information technology- software life cycle processes[S]．1998
[3] Osterweil L J．Software processes are software too[C]∥Pro-ceedings of the 9th international conference on software engineering．Los Alamitos,CA,USA:ACM Press,1987:2-13
[4] 王青,李娟．互联网对软件演化的挑战[J]．中国计算机学会通讯,2009,5(12):27-37
[5] 李明树,杨秋松,翟健．软件过程建模方法研究[J]．软件学报,2009,20(3):524-545
[6] Li T．An approach to modeling software evolution processes[M]．Berlin:Springer-Verlag,2008
[7] 一起,构成了相对完整的软件演化过程模型的合理性检验体系(包括任务、活动和软件过程),有利于提高软件演化过程模型的质量,进而提高软件演化的质量和效率,缩短软件演化的周期。 但是,结构合理性只能从静态角度确保过程结构不发生异常,无法确保过程逻辑的正确性。为此,下一步研究工作拟从动态角度着手,对软件过程的性质合理性进行研究。 Lehman M M．Laws of software evolution revisited[C]∥Proceedings of the 5th European Workshop on Software Process Technology．London,UK:Springer-Verlag,1997:108-124[2]ISO,IEC．ISO/IEC 12207standard for information technology- software life cycle processes[S]．1998[3] Osterweil L J．Software processes are software too[C]∥Pro-ceedings of the 9th international conference on software engineering．Los Alamitos,CA,USA:ACM Press,1987:2-13[4]王青,李娟．互联网对软件演化的挑战[J]．中国计算机学会通讯,2009,5(12):27-37[5]李明树,杨秋松,翟健．软件过程建模方法研究[J]．软件学报,2009,20(3):524-545[6]Li T．An approach to modeling software evolution processes[M]．Berlin:Springer-Verlag,2008[7]谢仲文,李彤,秦江龙．基于EPMM的任务和活动的规范化研究[J]．计算机应用与软件,2010,27(5):20-23
[8] 吴哲辉．Petri网导论[M]．北京:机械工业出版社,2006
[9] Van der Aalst W．The application of Petri nets to workflowmanagement [J]．The Journal of Circuits,Systems and Compu-ters,1998,8(1):21-66
[10] Van der Aalst W,van Hee K．Workflow Management:Models,Methods and System [M]．The MIT Press,2002
[11] cka N,Van der Aalst W,Sidorova N．Data-Flow anti-patterns:Discovering data-flow errors in workflows [C]∥Procee-dings of the 21th International conference on Advanced Information Systems Engineering．Berlin,German:Springer-Verlag,2009:425-439

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed