%0 Journal Article
%T A Multi-View Software Process Model Based on Object Petri Nets
一种基于对象网的多视角软件过程模型
%A GE Ji-Dong
%A GU Qing
%A HU Hao
%A
葛季栋
%A 顾 庆
%A 胡 昊
%A 吕 建
%J 软件学报
%D 2008
%I
%X 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.
%K software process
%K software process modeling
%K PSEE
%K object Petri nets
软件过程
%K 软件过程建模
%K 以过程为中心的软件工程环境
%K 对象网
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=29AC084BA51F810D6AEDBD934A47350F&yid=67289AFF6305E306&vid=2A8D03AD8076A2E3&iid=B31275AF3241DB2D&sid=196264D95F295743&eid=9129323FE7AA9847&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=49