Computer Science ›› 2013, Vol. 40 ›› Issue (8): 186-190.
Previous Articles Next Articles
DAI Fei,LI Tong,XIE Zhong-wen,MO Qi and JIN Yun-zhi
| [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] cka 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 |
| No related articles found! |
|
||
Home