Modeling inheritance anomaly in concurrent systems using colored Petri nets

被引：0
|
作者：
Bauskar, B [1 ]
Mikolajczak, B [1 ]
机构：
[1] Univ Massachusetts, Dept Comp & Informat Sci, Dartmouth, MA 02742 USA
来源：
2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7 | 2004年
关键词：
inheritance anomaly; colored Petri nets; abstract node method;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Object Oriented Design supports Encapsulation, Inheritance, and Polymorphism. Formal specification of concurrency is possible in the object-oriented design. Concurrency with inheritance raises Inheritance Anomaly, where, synchronization constraints and source code of inherited methods shows disagreement in their behavior. Due to the hierarchical structure Of Colored Petri Nets model and direct inclusion of concurrency, Colored Petri Nets can be used to solve Inheritance Anomaly. In this paper, we propose that Colored Petri Nets, the formal mathematical modeling tool of concurrent systems, can be used to model Concurrent Object Oriented Design. The graphical and executable nature of Colored Petri Net models helps in simulation, verification, and validation of the designed system.
引用
收藏
页码：4873 / 4878
页数：6
相关论文
共 50 条
  • [1] Modeling and resolving inheritance anomaly with colored Petri nets
    Bauskar, B
    Mikolajczak, B
    [J]. SERP'04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2004, : 516 - 522
  • [2] MODELING CONCURRENT PROGRAMS WITH COLORED PETRI NETS
    STANSIFER, R
    BEAVEN, M
    MARINESCU, DC
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1994, 26 (02) : 129 - 148
  • [3] Colored Petri Nets: A Graphical Language for Formal Modeling and Validation of Concurrent Systems
    Jensen, Kurt
    Kristensen, Lars M.
    [J]. COMMUNICATIONS OF THE ACM, 2015, 58 (06) : 61 - 70
  • [4] Modeling membrane systems using colored stochastic Petri nets
    Fei Liu
    Monika Heiner
    [J]. Natural Computing, 2013, 12 : 617 - 629
  • [5] Modeling membrane systems using colored stochastic Petri nets
    Liu, Fei
    Heiner, Monika
    [J]. NATURAL COMPUTING, 2013, 12 (04) : 617 - 629
  • [6] Using colored petri nets for conversation modeling
    Cost, RS
    Chen, Y
    Finin, T
    Labrou, Y
    Peng, Y
    [J]. ISSUES IN AGENT COMMUNICATION, 2000, 1916 : 178 - 192
  • [7] MODELING AUTOMATED MANUFACTURING SYSTEMS USING A MODIFICATION OF COLORED PETRI NETS
    KOCHIKAR, VP
    NARENDRAN, TT
    [J]. ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING, 1992, 9 (03) : 181 - 189
  • [8] AN INTRODUCTION TO SYSTEMS MODELING AND SIMULATION WITH COLORED PETRI NETS
    Gehlot, Vijay
    Nigro, Carmen
    [J]. PROCEEDINGS OF THE 2010 WINTER SIMULATION CONFERENCE, 2010, : 104 - 118
  • [9] Modeling interactive systems with hierarchical colored Petri nets
    Elkoutbi, M
    Keller, RK
    [J]. PROCEEDINGS OF THE HIGH-PERFORMANCE COMPUTING (HPC'98), 1998, : 432 - 437
  • [10] Colored Petri nets for modeling of networked control systems
    Farah, Khamsa
    Chabir, Karim
    Abdelkrim, Mohamed Naceur
    [J]. 2019 19TH INTERNATIONAL CONFERENCE ON SCIENCES AND TECHNIQUES OF AUTOMATIC CONTROL AND COMPUTER ENGINEERING (STA), 2019, : 226 - 230
12345