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 条
  • [31] An Object-Oriented Modeling Framework for Petri Nets and Related Models
    Gholizadeh, Hamid Mohammad
    Azgomi, Mohammad Abdollahi
    [J]. 2009 IEEE/ACS INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, VOLS 1 AND 2, 2009, : 546 - +
  • [32] An object-oriented modeling approach based on entity-relationship diagrams and Petri nets
    Boccalatte, A
    Giglio, D
    Paolucci, M
    [J]. 1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 1347 - 1352
  • [33] Modeling of reconfigurable manufacturing systems based on colored timed object-oriented Petri nets
    Meng, Xiuli
    [J]. JOURNAL OF MANUFACTURING SYSTEMS, 2010, 29 (2-3) : 81 - 90
  • [34] Analysis of supply chain based on networked manufacturing by using Object-Oriented Petri Nets
    Tang Liang
    Wang Guihe
    Zhao Haifeng
    Wang Wanshan
    [J]. TIRMDCM 2007: PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON TECHNOLOGY INNOVATION, RISK MANAGEMENT AND SUPPLY CHAIN MANAGEMENT, VOLS 1 AND 2, 2007, : 182 - 186
  • [35] Development of an RMS Model based on Colored Object-Oriented Petri Nets with Changeable Structures
    Zhang, Linda L.
    Ittoo, Ashwin
    [J]. 2009 IEEE 16TH INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT, VOLS 1 AND 2, PROCEEDINGS, 2009, : 1719 - 1724
  • [36] An object-oriented Petri nets based integrated development environment for grid-based applications
    Shi, HY
    Ren, AH
    [J]. GRID AND COOPERATIVE COMPUTING, PT 1, 2004, 3032 : 809 - 812
  • [37] Object-oriented design of FMS control software based on object modeling technique diagrams and Petri nets
    Venkatesh, K
    Zhou, MC
    [J]. JOURNAL OF MANUFACTURING SYSTEMS, 1998, 17 (02) : 118 - 136
  • [38] Object-oriented Petri nets for modelling and analysis of automated manufacturing systems
    Wang, LC
    [J]. COMPUTER INTEGRATED MANUFACTURING SYSTEMS, 1996, 9 (02): : 111 - 125
  • [39] Specification of distributed systems with actors using object-oriented Petri nets
    Mikolajczak, B
    Ottlik, A
    [J]. SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, 2000, : 3134 - 3140
  • [40] Modeling a distributed railway interlocking system with object-oriented Petri nets
    Hei, X.
    Mochizuki, H.
    Takahashi, S.
    Nakamura, H.
    Fukuda, M.
    Iwata, K.
    Sato, K.
    [J]. COMPUTERS IN RAILWAYS X: COMPUTER SYSTEM DESIGN AND OPERATION IN THE RAILWAY AND OTHER TRANSIT SYSTEMS, 2006, 88 : 309 - +
12345