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

doi:10.3969/j.issn.1000-3428.2014.01.015

计算机工程

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

代飞^a,b，李彤^a,b，谢仲文^a,b，秦江龙^a,b，刘金卓^a，钱晔^a

(云南大学 a. 软件学院；b. 云南省软件工程重点实验室，昆明 650091)

收稿日期:2012-10-29 出版日期:2014-01-15 发布日期:2014-01-13
作者简介:代飞(1982－)，男，讲师、博士、CCF会员，主研方向：软件过程，软件演化；李彤，教授、博士；谢仲文，讲师、博士；秦江龙，助教、博士研究生；刘金卓、钱晔，博士研究生
基金资助:
国家自然科学基金资助项目(61262024, 61262025)；云南省自然科学基金资助项目(2012FD005, 2012FB118, 2012FB119)；云南省软件工程重点实验室开放基金资助项目(2010KS01, 2011SE04, 2012SE307, 2012SE101)

Research on Property Soundness of Software Process Based on EPMM

DAI Fei^a,b, LI Tong ^a,b, XIE Zhong-wen ^a,b, QIN Jiang-long ^a,b, LIU Jin-zhuo^a, QIAN Ye^a

(a. School of Software; b. Key Laboratory for Software Engineering of Yunnan Province, Yunnan University, Kunming 650091, China)

Received:2012-10-29 Online:2014-01-15 Published:2014-01-13

摘要/Abstract

摘要： 为提高软件演化的质量和效率、缩短软件演化的周期，有必要对软件演化所涉及的软件过程进行性质合理性研究，以确保软件演化过程的正确性。根据软件演化过程元模型(EPMM)的过程层定义，提出EPMM性质合理性的形式定义，用于确保软件过程在实施执行中应满足的动态性质，并基于Petri网的可达图，设计相应的性质合理性检验算法。应用结果表明，对软件演化过程进行性质合理性检验可以确保过程逻辑不发生异常，满足过程定义性质方面的正确性要求。

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

Abstract: In order to improve the quality and efficiency of software evolution and shorten the time of software evolution, it is a necessity to research the property soundness of the software processes which the corresponding software is evolving to ensure the correctness of software evolution processes. According to the process level definition of the software Evolution Process Meta-model(EPMM), the property soundness which is defined to ensure software evolution processes should meet the dynamic properties during software process enactment. Moreover, the corresponding property soundness check algorithms are designed based on the reachability graph of Petri nets. Application result shows that checking the property soundness is used to ensure that software processes logic does not occur exceptions, and it meets the correct requirements from the view of process definition property.

Key words: Evolution Process Meta-model(EPMM), software evolution, software process, property soundness, Petri net, meta-model

中图分类号:

TP311

代飞，李彤，谢仲文，秦江龙，刘金卓，钱晔. 基于EPMM的软件过程性质合理性研究[J]. 计算机工程, doi: 10.3969/j.issn.1000-3428.2014.01.015.

DAI Fei, LI Tong, XIE Zhong-wen, QIN Jiang-long, LIU Jin-zhuo, QIAN Ye. Research on Property Soundness of Software Process Based on EPMM[J]. Computer Engineering, doi: 10.3969/j.issn.1000-3428.2014.01.015.

http://www.ecice06.com/CN/Y2014/V40/I1/72

参考文献

参考文献 [1] Lehman M M. Laws of Software Evolution Revisited[C]//Proc. of the 5th European Workshop on Software Process Technology. Nancy, France: Springer-Verlag, 1997: 108-124. [2] ISO, IEC. ISO/IEC 12207-1998 Standard for Information Technology-software Life Cycle Processes[S]. 1998. [3] Osterweil L J. Software Processes are Software Tool[C]//Proc. of the 9th International Conference on Software Engineering. Monterey, USA: ACM Press, 1987: 2-13. [4] 王青, 李娟. 互联网对软件演化的挑战[J]. 中国计算机学会通讯, 2009, 5(12): 27-37. [5] Cobleigh A M, Clark L A, Osterweil L J. Verifying Properties of Process Definitions[J]. ACM SIGSOFT Software Engineering Notes, 2000, 25(5): 96-101. [6] Lerner B S. Model Checking of Software Processes[C]//Proc. of FSE’03. Lund, Sweden: [s. n.], 2003: 403-414. [7] Min S Y, Lee H D, Bae D H. SoftPM: A Software Process Management System Reconciling Formalism with Easiness[J]. Information and Software Technology, 2000, 42(1): 1-16. [8] Wang Daliang, Zhang Dezheng, Gao Lixin, et al. Process Knowledge Verification Method Based on Petri Net[C]//Proc. of the 1st International Workshop on Knowledge Discovery and Data Mining. Adelaide, Australia: IEEE Press, 2008: 173-178. [9] Yang Qiusong, Li Mingshu, Wang Qing, et al. An Algebraic Approach for Managing Inconsistencies in Software Processes[C]//Proc. of 2007 International Conference on Software Processes. Minneapolis, USA: Springer-Verlag, 2007: 121-133. [10] Wallace C. Using Alloy in Process Modeling[J]. Information and Software Technology, 2003, 45(15): 1031-1043. [11] Br?ckers A, Gruhn V. Computer-aided Verification of Software Process Model Properties[C]//Proc. of CAiSE’93. Paris, France: Springer-Verlag, 1993: 521-546. (下转第82页) (上接第77页) [12] Basili V R, Rombach H D. Tailoring the Software Process to Project Goals and Environments[C]//Proc. of the 9th International Conference on Software Engineering. Monterey, USA: IEEE Press, 1987: 345-357. [13] 李彤. 软件演化过程建模[M]. 北京: 清华大学出版社, 2008. [14] 代飞, 李彤, 谢仲文, 等. 一种软件演化过程模型的代数语义[J]. 软件学报, 2012, 23(4): 846-863. [15] 谢仲文, 李彤, 秦江龙. 基于EPMM的任务和活动的规范化研究[J]. 计算机应用与软件, 2010, 27(5): 20-23. [16] 谢仲文, 李彤, 代飞, 等. 基于EPMM的软件过程模型规范化研究[J]. 计算机工程与科学, 2010, 32(9): 69-72. [17] 吴哲辉. Petri网导论[M]. 北京: 机械工业出版社, 2006. [18] Esparza J. Decidability and Complexity of Petri Net Pro- blems——An Introduction[C]//Proc. of Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the Volumes are Based on the Advanced Course on Petri Nets. London, UK: Springer-Verlag, 1998: 374-428. [19] 袁崇义. Petri网原理及其应用[M]. 北京: 电子工业出版社, 2005. 编辑陆燕菲

选择文件类型/文献管理软件名称

选择包含的内容

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

Research on Property Soundness of Software Process Based on EPMM

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

本文评价

[1]	汪小勇, 董德存, 欧冬秀. 车载TBTC-CBTC系统降级场景下的CPN建模与仿真[J]. 计算机工程, 2022, 48(7): 189-198.
[2]	徐颖蕾, 马炳先. 无冲突Petri网的结构活性判定研究[J]. 计算机工程, 2021, 47(7): 296-300.
[3]	徐淑琳, 周广瑞, 岳昊. 标注Petri网中的最小初始标识估计[J]. 计算机工程, 2021, 47(4): 285-290,297.
[4]	韩虎, 赵启涛, 孙天岳, 刘国利. 面向社交媒体评论的上下文语境讽刺检测模型[J]. 计算机工程, 2021, 47(1): 66-71.
[5]	马金林, 陈德光, 马自萍, 魏麟. 一种Petri网优化的验证码识别方法[J]. 计算机工程, 2020, 46(7): 277-285.
[6]	何俊, 张云飞, 张德海. 基于Petri网的数据清洗规则链自动组合与检测[J]. 计算机工程, 2020, 46(11): 124-131.
[7]	李联, 杨淏天. 基于GSPN的锁步处理器系统可靠性建模与分析[J]. 计算机工程, 2019, 45(7): 296-302.
[8]	李宗花, 叶正伟. 业务目标模型与业务场景模型的语义一致性分析[J]. 计算机工程, 2019, 45(12): 308-313.
[9]	陈莹,孙晓波,邢建春,杨启亮. 任务关键系统的时间约束验证与最优路径分析[J]. 计算机工程, 2018, 44(5): 60-65,77.
[10]	陈莹,邢建春,杨启亮,张孝鹏. 时间约束下任务关键系统的可调度性分析[J]. 计算机工程, 2018, 44(12): 115-119,128.
[11]	李堃,张雪松. STP安全通信协议设计与形式化验证[J]. 计算机工程, 2018, 44(12): 120-128.
[12]	杜海森,杜玉越. 基于不完备日志的块状并发过程挖掘[J]. 计算机工程, 2018, 44(12): 56-61.
[13]	张晶,王中正,范洪博. 基于随机Petri网的嵌入式软件能耗模型[J]. 计算机工程, 2017, 43(9): 316-321.
[14]	张晶,王亮,范洪博,肖智斌. 基于时间Petri网的嵌入式系统构件建模与能耗分析[J]. 计算机工程, 2017, 43(6): 30-34,39.
[15]	王雷,姜久雷,王晓峰. 基于Petri网的设计模式形式化描述[J]. 计算机工程, 2016, 42(7): 33-36,48.

模态框（Modal）标题

选择文件类型/文献管理软件名称

选择包含的内容

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

Research on Property Soundness of Software Process Based on EPMM

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

本文评价