帮助 关于我们

返回检索结果

一种基于OOPN的可执行对象结构模型
An Executable Object Structural Model Based on OOPN

查看参考文献7篇

林奕 1   闫杰 1   曾小荟 2   张凯 1  
文摘 指出了UML的多视图模型存在缺乏统一语义模型的不足,提出了一种利用面向对象Petri网(OOPN)统一描述面向对象系统结构和行为模型的解决方法,即可执行对象结构模型(EOSM).该方法将对象结构模型表示为可执行的OOPN子网,实现了对象的多个行为间的结构化动态耦合.研究表明,EOSM模型可以实现对象的结构模型与行为模型的统一表示.
其他语种文摘 This paper points out the shortage of the lack of unified semantic foundation among UML multi-views, and presents an object-oriented Petri net (OOPN) based approach, executable object structural model (EOSM), to deal with it. This method represents both the aspects of objects' structure and behaviors in the form of sub-net of OOPN, so that behaviors belonging to different objects can be coupled dynamically upon ESOM models. Simulation of an example shows that EOSM can unify the structural and behavioral models successfully.
来源 计算机工程 ,2007,33(13):13-15 【核心库】
关键词 面向对象 ; Petri网 ; UML ; 可执行对象结构模型
地址

1. 西北工业大学航天学院, 西安, 710072  

2. 西北工业大学计算机学院, 西安, 710072

语种 中文
文献类型 研究性论文
ISSN 1000-3428
学科 自动化技术、计算机技术
文献收藏号 CSCD:2843620

参考文献 共 7 共1页

1.  Hu Z. Mapping UML Diagrams to a Petri Net Notation for System Simulation//Proceedings of the International Conference on Software Engineering and Knowledge Engineering(SEKE). Proceedings of the International Conference on Software Engineering and Knowledge Engineering (SEKE),2004:213-219 被引 1 次    
2.  He Xudong. Formalizing UML Class Diagrams-a Hierarchical Predicate Transition Net Approach//Proceedings of the 24th Annual International Computer Software and Applications Conference. Proceedings of the 24th Annual International Computer Software and Applications Conference,2000:217-222 被引 1 次    
3.  郝克刚. 论高级Petri网系统的等价谱系. 计算机学报,1993,16(7):553-558 被引 7 次    
4.  Baresi L. On Formalizing UML with High-level Petri Nets. Proc.of LNCS'01,2001:276-304 被引 1 次    
5.  Lakos C A. Object-oriented Modelling with Object Petri Nets Concurrent Object-oriented Programming and Petri Nets. Proc.of LNCS,2001:1-37 被引 1 次    
6.  Eshuis H. Semantics and Verification of UML Activity Diagrams for Workflow Modelling,2002 被引 2 次    
7.  . The Tool for Reference Net(Renew Version 2.0.1). http://www.renew.de,2004 被引 1 次    
引证文献 2 篇

1 陈亮 应用排序聚类对OOCTPN的建模研究 计算机工程与应用,2009,45(23):200-202
被引 0 次

2 高伟 基于数据集约束的并行数据流建模与描述研究 计算机工程与设计,2010,31(6):1180-1183
被引 0 次

显示所有2篇文献

论文科学数据集
PlumX Metrics
相关文献

 作者相关
 关键词相关
 参考文献相关

版权所有 ©2008 中国科学院文献情报中心 制作维护：中国科学院文献情报中心
地址：北京中关村北四环西路33号 邮政编码：100190 联系电话：(010)82627496 E-mail:cscd@mail.las.ac.cn 京ICP备05002861号-4 | 京公网安备11010802043238号