Encapsulation in an object-oriented notation based on modular Petri nets

被引：0
|
作者：
Thanh, CB [1 ]
Klaudel, H [1 ]
机构：
[1] Univ Paris 12, LACL, F-94010 Creteil, France
来源：
Modelling and Simulation 2003 | 2003年
关键词：
object-orientation; encapsulation; coloured Petri nets; semantics;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In this paper, we address the problem of expressing encapsulation, i.e. access restriction levels (like private, public and protected) to attributes and methods, in a concurrent and object-oriented notation called BOON and provide it with a modular semantics in terms of high-level Petri nets. This feature allows to hide the fields of a class in order to prevent undesired change of the state of the class instances. The Petri net semantics gives a way to use automated verification and simulation tools on the translation of a system modeled using this object-oriented notation.
引用
收藏
页码：508 / 512
页数：5
相关论文
共 50 条
  • [41] Object-oriented Petri nets for modelling and analysis of automated manufacturing systems
    Wang, LC
    [J]. COMPUTER INTEGRATED MANUFACTURING SYSTEMS, 1996, 9 (02): : 111 - 125
  • [42] The New Method of Liveness Verification with Object-Oriented Timed Petri Nets
    Zhang, Xinju
    Yao, Shuzhen
    [J]. 2015 SEVENTH INTERNATIONAL CONFERENCE ON ADVANCED COMPUTATIONAL INTELLIGENCE (ICACI), 2015, : 7 - 11
  • [43] The use of object-oriented Petri nets in design specification of enterprise modelling
    He, FM
    Yan, JW
    Wu, QD
    [J]. PROCEEDINGS OF THE 3RD WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION, VOLS 1-5, 2000, : 2191 - 2195
  • [44] Bank Switching Performance Verification With Object-oriented Timed Petri nets
    Zhang, Xinju
    Yao, Shuzhen
    [J]. PROCEEDINGS OF THE 2013 IEEE 8TH CONFERENCE ON INDUSTRIAL ELECTRONICS AND APPLICATIONS (ICIEA), 2013, : 1664 - 1669
  • [45] Data chain modeling of mechanical products' assembly quality based on object-oriented Petri nets
    Liu, Ming-Zhou
    Zhao, Zhi-Biao
    Ge, Mao-Gen
    Wang, Qiang
    [J]. Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS, 2013, 19 (04): : 714 - 719
  • [46] Object-oriented Petri nets and π-calculus-based modeling and analysis of reconfigurable manufacturing systems
    Yu, Zhenhua
    Guo, Fang
    Ouyang, Jie
    Zhou, Lijun
    [J]. ADVANCES IN MECHANICAL ENGINEERING, 2016, 8 (11) : 1 - 11
  • [47] Object-Oriented Petri nets Based Architecture Description Language for Multi-agent Systems
    Yu, Zhenhua
    Cai, Yuanli
    [J]. INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2006, 6 (1B): : 123 - 131
  • [48] A platform for distributed modeling and simulation of productive systems based on Petri nets and object-oriented paradigm
    Junqueira, Fabricio
    Villani, Emilia
    Miyagi, Paulo E.
    [J]. ETFA 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PTS 1 AND 2, PROCEEDINGS, 2005, : 907 - 914
  • [49] Modeling distributed business processes of virtual enterprises based on the object-oriented approach and Petri nets
    Gou, HM
    Huang, BQ
    Liu, WH
    Li, Y
    Ren, SJ
    [J]. 2001 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: E-SYSTEMS AND E-MAN FOR CYBERNETICS IN CYBERSPACE, 2002, : 2052 - 2057
  • [50] Architecture description language based on object-oriented Petri nets for multi-agent systems
    Yu, ZH
    Li, ZW
    [J]. 2005 IEEE NETWORKING, SENSING AND CONTROL PROCEEDINGS, 2005, : 256 - 260
12345