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 条

[21] Using colored Petri nets to simulate object Petri nets
Corchado, FFR
Gallegos, FZ
Jiménez, AA
Dávila, HIP
International Conference on Computing, Communications and Control Technologies, Vol 5, Proceedings, 2004, : 27 - 31
[22] Modeling and recognition of hand gesture using colored Petri nets
Nam, Y
Wohn, K
Lee-Kwang, H
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 1999, 29 (05): : 514 - 521
[23] Modeling and Analysis of Security Protocols Using Colored Petri Nets
Xu, Yang
Xie, Xiaoyao
JOURNAL OF COMPUTERS, 2011, 6 (01) : 19 - 27
[24] Modeling and Analysis of Inventory System by Using Colored Petri Nets
Lu, Xiaochun
Liu, Dongyuan
Ni, Zhiwei
IEEE/SOLI'2008: PROCEEDINGS OF 2008 IEEE INTERNATIONAL CONFERENCE ON SERVICE OPERATIONS AND LOGISTICS, AND INFORMATICS, VOLS 1 AND 2, 2008, : 1359 - 1364
[25] Formal Modeling and Analysis of SIP Using Colored Petri Nets
Bai, Yunli
Ye, Xinming
Ma, Yuanfei
2011 7TH INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, NETWORKING AND MOBILE COMPUTING (WICOM), 2011,
[26] Modeling and simulation of a production system by using colored Petri nets
Mert, Volkan
Ozkan, Hanife Apaydm
Aybar, Aydm
ICCC 2007: 5TH IEEE INTERNATIONAL CONFERENCE ON COMPUTATIONAL CYBERNETICS, PROCEEDINGS, 2007, : 161 - 165
[27] MODELING OF BIOMETRIC IDENTIFICATION SYSTEM USING THE COLORED PETRI NETS
Petrosyan, G. R.
Ter-Vardanyan, L. A.
Gaboutchian, A. V.
PHOTOGRAMMETRIC TECHNIQUES FOR VIDEO SURVEILLANCE, BIOMETRICS AND BIOMEDICINE, 2015, 40-5 (W6): : 37 - 42
[28] A Forward Concurrent Reasoning Approach for Rule-based Systems Using Fuzzy Colored Petri Nets
Yuan, Jie
Liu, Chang
Jiang, Bo
Shan, Yugang
Shang, Wenli
2010 8TH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION (WCICA), 2010, : 1579 - 1584
[29] PERFORMANCE EVALUATION OF CONCURRENT SYSTEMS USING PETRI NETS
MAGOTT, J
INFORMATION PROCESSING LETTERS, 1984, 18 (01) : 7 - 13
[30] SYMBOLIC EXECUTION OF CONCURRENT SYSTEMS USING PETRI NETS
GHEZZI, C
MANDRIOLI, D
MORASCA, S
PEZZE, M
COMPUTER LANGUAGES, 1989, 14 (04): : 263 - 281

← 1 2 3 4 5 →