微信服务号

微信订阅号

2025年4月25日 0:30 星期五
首页 > 过刊浏览>2008年第19卷第6期 >1363-1378
PDF HTML阅读 XML下载 导出引用 引用提醒
一种基于对象网的多视角软件过程模型
作者:
基金项目:

Supported by the National Natural Science Foundation of China under Grant Nos.60233010, 60403014, 60603034 (国家自然科学基金); the National High-Tech Research and Development Plan of China under Grant Nos.2004AA112090, 2005AA113160, 2006AA01Z159, 2006AA01Z177 (国家高技术研究发展计划(863)); the National Basic Research Program of China under Grant No.2002CB312002 (国家重点基础研究发展计划(973))

  • 摘要
    • | |
  • 访问统计
    • |
  • 参考文献 [38]
    • |
  • 相似文献 [20]
    • | | |
  • 文章评论
    摘要:

    基于关注点分离原则,结合多视角软件过程建模与对象网之间的相似性,提出了一种基于对象网的多视角软件过程模型MOPN-SP-net,可以提高软件过程模型的可复用性(reusability).在使用MOPN-SP-net建模时,得到的多视角软件过程模型是一种多维网.直接分析这种多维网比较困难,为此,提供了一种从对象网到平面网的等价转换规则,且转换前后的模型在合理性准则上保持等价.根据这个转换规则,可以通过分析转换后平面网模型的合理性得知转换前的对象网的合理性.

    Abstract:

    According to the principle of "Separation of Concerns", by investigating the similarity between multi-view software process modeling and object Petri nets, this paper proposes the MOPN-SP-net model which is a multi-view software process model based on object Petri nets and enhances the reusability of software process model. During process modeling, MOPN-SP-net is a multi-dimensional Petri net, which is difficult to analyze directly. So, this paper provides a translation rule from an object Petri net to an equivalent traditional flat Petri net. The translation preserves the soundness property. According to the translation rule, the soundness property of the MOPN-SP-net can be indirectly analyzed by its translated flat net.

    参考文献
    [1]Yang FQ.Thinking on the development of software engineering technology.Journal of Software,2005,16(1):1-7 (in Chinese with English abstract).http://www.jos.org.cn/1000-9825/16/1.htm
    [2]Humphrey WS.Managing the Software Process.Boston:Addison-Wesley Publishing Co.,1989.
    [3]Chrissis MB,Konrad M,Shrum S.CMMI:Guidelines for Process Integration and Product Improvement.Boston:Addison-Wesley Publishing Co.,2003.
    [4]Gruhn V.Process-Centered software engineering environments:A brief history and future challenges.Annals of Software Engineering,2002,14(1-4):363-382.
    [5]Li MS.Expanding the horizons of software development processes:A 3-D integrated methodology.In:Li MS,Boehm BW,Osterweil LJ,eds.Proc.of the Unifying the Software Process Spectrum,Int'l Software Process Workshop (ISPW 2005).LNCS 3840,Berlin:Springer-Verlag,2005.54-67.
    [6]Barthelmess P.Collaboration and coordination in process-centered software development environments:A review of the literature.Information & Software Technology,2003,45(13):911-928.
    [7]Acuna ST,Antonio AD,Ferre X,Lopez M,Mate L.The software process:Modeling,evaluation and improvement.In:Chang SK,ed.Proc.of the Handbook of Software Engineering and Knowledge Engineering.Singapore:World Scientific Publishing Co.,2001.193-237.
    [8]Derniame JC,Kaba BA,Wastell D.Software process:Principles,methodology,technology.LNCS 1500,Berlin,Heidelberg:Springer-Verlag,1999.
    [9]Zhao XP,Li MS,Wang Q,Chan K,Leung H.An agent-based self-adaptive software process model.Journal of Software,2004,15(3):348-359 (in Chinese with English abstract).http://www.jos.org.cn/1000-9825/15/348.htm
    [10]Jaccheri ML,Conradi R.Techniques for process model evolution in EPOS.IEEE Trans.on Software Engineering,1993,19(12):1145-1156.
    [11]Valk R.Petri nets as token objects:An introduction to elementary object nets.In:Desel J,Silva M,eds.Proc.of the 19th Application and Theory of Petri Nets.LNCS 1420,Berlin:Springer-Verlag,1998.1-25.
    [12]Dong GZ,Liu JF,Qi X.A kind of reactive SPM and the expression of its dynamic semantics with XYZ.Journal of Software,2005,16(11):1876-1885 (in Chinese with English abstract).http://www.jos.org.cn/1000-9825/16/1876.htm
    [13]Osterweil LJ.Software processes are software too.In:Proc.of the 9th ICSE.ACM Press,1987.2-13.
    [14]Sutton SM,Heimbigner D,Osterweil LJ.APPL/A:A language for software process programming.ACM Trans.on Software Engineering and Methodology,1995,4(3):221-286.
    [15]Aalst WMP,Hee K.Workflow Management-Models,Methods and Systems.Cambridge:MIT Press,2002.
    [16]Bandinelli S,Fuggetta A,Lavazza L,Loi M,Picco GP.Modeling and improving an industrial software process.IEEE Trans.on Software Engineering,1995,21(5):440-454.
    [17]Ambriola V,Conradi R,Fuggetta A.Assessing process-centered software engineering environments.ACM Trans.on Software Engineering and Methodology,1997,6(3):283-328.
    [18]Pohl K,Weidenhaupt K,D-mges R,Haumer P,Jarke M,Klamma R.PRIME-Toward process-integrated modeling environments:1.ACM Trans.on Software Engineering and Methodology,1999,8(4):343-410.
    [19]Gunter CA.Abstracting dependencies between software configuration items.ACM Trans.on Software Engineering and Methodology,2000,9(1):94-131.
    [20]Deiters W,Gruhn V.Process management in practice applying the FUNSOFT net approach to large-scale processes.Process Technology/Automated Software Engineering (Special Issue),1998,5(1):7-25.
    [21]Ren AH,Zhou BS,Wang B,Huang LJ.The equivalence verify between visual process modeling language and Petri net.Computer Engineering and Design,2001,22(6):11-18 (in Chinese with English abstract).
    [22]Fan YS.Fundamentals of Workflow Management Technology.Beijing:Tsinghua University Press,2001 (in Chinese).
    [23]Yuan CY.Principals and Application of Petri Nets.Beijing:Publishing House of Electronics Industry,2005 (in Chinese).
    [24]Reisig W.An Introduction to Petri Nets.Berlin:Springer-Verlag,1985.
    [25]Lakos C.From coloured Petri nets to object Petri nets.In:Michelis GD,Diaz M,eds.Proc.of the 16th Application and Theory of Petri Nets.LNCS 935,Berlin:Springer-Verlag,1995.278-297.
    [26]Valk R.Object Petri nets:Using the nets-within-nets paradigm.In:Desel J,Reisig W,Rozenberg G,eds.In:Proc.of the Lectures on Concurrency and Petri Nets.LNCS 3098,Berlin:Springer-Verlag,2003.819-848.
    [27]Zhou JT,Shi ML,Ye XM.Formal verification techniques in workflow process modeling.Journal of Computer Research and Development,2005,42(1):1-9 (in Chinese with English abstract).
    [28]Lu P,Hu H.Lü J.On 1-soundness and soundness of workflow nets.In:Moldt D,ed.Proc.of the 3rd Workshop on Modelling of Objects,Components and Agents.Vol.PB-571.Denmark:Aarhus University,2004.21-36.
    [29]K-hler M,R-lke H.Properties of object Petri nets.In:Cortadella J,Reisig W,eds.Proc.of the 25th Application and Theory of Petri Nets.LNCS 3099,Berlin:Springer-Verlag,2004.278-297.
    [30]Girault C,Valk R.Petri Nets for System Engineering:A Guide to Modeling,Verification and Application.Berlin:Springer-Verlag,2003.
    [31]Jensen K.Coloured Petri nets.Basic Concepts,Analysis Methods and Practical Use,Vol.1,Basic Concepts.2nd Corrected Printing.Berlin:Springer-Verlag,1997.
    [32]Li J,Li MS,Wu ZC,Wang Q.A SPEM-based software process metamodel for CMM.Journal of Software,2005,16(8):1366-1377 (in Chinese with English abstract).http://www.jos.org.cn/1000-9825/16/1366.htm
    [33]Li J,Yuan F,Li MS,Wang Q.A model merging based approach for modeling the CMM implementation process.Chinese Journal of Computers,2006,29(1):54-65 (in Chinese with English abstract).
    [34]Shen BJ,Chen C,Ju DH.Criteria-Based software process transaction model.Journal of Software,2002,13(1):24-32.http://www.jos.org.cn/1000-9825/13/24.pdf
    [35]Chen C,Shen BJ,Gu YQ.A flexible and formalized process modeling language.Journal of Software,2002,13(8):1374-1381.http://www.jos.org.cn/1000-9825/13/1374.pdf
    [36]Zhou ZY.Reusability based on P-F method for software process modeling.Journal of Software,2001,12(8):1258-1264 (in Chinese with English abstract).
    [37]Grundy JC,Hosking JG,Mugridge WB.Inconsistency management for multiple-view software development environments.IEEE Trans.on Software Engineering,1998,24(11):960-981.
    [38]Huang LG,Boehm BW,Hu H,Ge JD,Lü J,Qian C.Applying the value/Petri process to ERP software development in China.In:Osterweil LJ,Rombach HD,Soffa ML,eds.Proc.of the 28th ICSE.ACM Press,2006.502-511.
    引证文献
    网友评论
    网友评论
    分享到微博
    发 布
引用本文

葛季栋,顾 庆,胡 昊,吕 建.一种基于对象网的多视角软件过程模型.软件学报,2008,19(6):1363-1378

复制
分享
文章指标
  • 点击次数:4867
  • 下载次数: 5552
  • HTML阅读次数: 0
  • 引用次数: 0
历史
  • 收稿日期:2006-08-23
  • 最后修改日期:2007-03-07
文章二维码
友情链接:中国科学院软件研究所中国计算机学会中国科学院国家自然科学基金委员会CCF数字图书馆Int'l J of Softw Info计算机系统应用
您是第19867314位访问者
版权所有：中国科学院软件研究所 京ICP备05046678号-3
地址：北京市海淀区中关村南四街4号,邮政编码：100190
电话：010-62562563 传真：010-62562533 Email：jos@iscas.ac.cn
技术支持：北京勤云科技发展有限公司

京公网安备 11040202500063号