• Article
  • | |
  • Metrics
  • |
  • Reference [38]
  • |
  • Related [20]
  • | | |
  • Comments
    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.

    Reference
    [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.
    Cited by
    Comments
    Comments
    分享到微博
    Submit
Get Citation

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

Copy
Share
Article Metrics
  • Abstract:4873
  • PDF: 5581
  • HTML: 0
  • Cited by: 0
History
  • Received:August 23,2006
  • Revised:March 07,2007
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063