CPN-OPN建模技术与实例研究.pdfVIP

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
计算机科学2004V01.31N7.10(增刊) CPN-OPN建模技术及实例研究 Basedon ModelingTechnologyCPNandOPN 杨明霞胡金柱牟树霞 (华中师范大学计算机系 武:汉430079) AbstractThis two kindsof is,ColoredPetri paper Nets(CPN)and analyzes fomalizing Object— technologies,that orientedPetri Nets(OPN),andcombinethetwo a intonew technologiesmodelingtechnology:CPN—OPNmodeling inUML).Thenaninstanceis toshowthebenefitofthe technology(described given technology. CPN,0PN,UML Keywords 网的编程语言。 1 引言 2.2 oPN Petri UML是一种面向对象的建模语言,已经得到 OPN(ObjectNets)最基本的思想是将目 了广泛的应用。但是,它只是一种建模语言,而不是 标系统映射为一个个相互协作的对象,并用Petri 一种面向对象的建模方法,它没有规定如何进行系 网来描述各个对象的行为以及对象之间的通信关 统建模。另外,UML异常庞大复杂,容易产生二义 系[3]。它吸取了面向对象的优势:简洁的接口,可重 性。所以,入们进行了各种探索,将UML与其它精 用的软构件和可扩展的构件库。它是传统Petri网 确的建模技术进行结合,以弥补UML的不足。 的图形表示法和面向对象概念的融合。在OPN中, Petri网是一种可用图形表示的组合模型,能够类作为子网存在,可以根据获取对象的需要而进行 深刻、简洁地刻画系统,并具有直观、易懂和易用等 实例化。这是OPN支持对象动态创建的方式,所以 优点。Petri网是严格定义的数学对象,借助数学开是OPN最重要特征。 发的Petri网分析方法和技术既可以用于静态的结 UML模型和OPN模型有一个共同之处,它们 都是基于面向对象思想的。在UML中,体现为对象 构分析,又可以用于动态的行为分析[4]。Petri网为 并发提供了清晰的形式化描述,复杂的并发系统要 接受、发送消息和对象内部的操作;在OPN中,则 求形式化以描述如非确定性、同步和并发等重要特 体现为Petri子网即某个对象内部的库所和变迁。 征。利用Petri网对UML视图进行分析,可以分析OPN存在的问题主要是:它只产生一些子网的 UML所建立的构件模型中存在的冲突、竞争、并发 集合(一个子网对应一个类),但是没有总体图。其 等各种关系。 次,拓扑结构并没有清楚地显示网间的连接关系;不

文档评论(0)

july77 + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档