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 条

[31] Modeling and analysis of embedded systems based on Extended Colored Petri Nets
Li, B. (Libing_lyl@163.com), 1600, Advanced Institute of Convergence Information Technology, Myoungbo Bldg 3F,, Bumin-dong 1-ga, Seo-gu, Busan, 602-816, Korea, Republic of (04):
[32] Modeling multi-agent systems with hierarchical colored Petri nets
Ma, BX
ARTIFICIAL INTELLIGENCE APPLICATIONS AND INNOVATIONS II, 2005, 187 : 167 - 171
[33] Colored Hybrid Petri-nets for modeling material handling systems
Basile, Francesco
Chiacchio, Pasquale
Coppola, Jolanda
2011 50TH IEEE CONFERENCE ON DECISION AND CONTROL AND EUROPEAN CONTROL CONFERENCE (CDC-ECC), 2011, : 5881 - 5886
[34] Composing collaborative component systems using Colored Petri Nets
Shinkawa, Y
Matsumoto, MJ
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2001, E84A (05) : 1209 - 1217
[35] Composing collaborative component systems using Colored Petri Nets
Shinkawa, Yoshiyuki
Masumoto, Masao J.
2001, Institute of Electronics, Information and Communication, Engineers, IEICE (E84-A)
[36] Modeling workflow processes with colored Petri nets
Liu, DS
Wang, JM
Chan, SCF
Sun, JG
Zhang, L
COMPUTERS IN INDUSTRY, 2002, 49 (03) : 267 - 281
[37] ML AND COLORED PETRI NETS FOR MODELING AND SIMULATION
VARHOL, PD
DR DOBBS JOURNAL, 1991, 16 (09): : 76 - &
[38] Malware Behavior Modeling with Colored Petri Nets
Jasiul, Bartosz
Szpyrka, Marcin
Sliwa, Joanna
COMPUTER INFORMATION SYSTEMS AND INDUSTRIAL MANAGEMENT, CISIM 2014, 2014, 8838 : 667 - 679
[39] Failure modeling and process monitoring for flexible manufacturing systems using colored timed Petri nets
Kuo, CH
Huang, HP
IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 2000, 16 (03): : 301 - 312
[40] Modeling behavioral patterns of concurrent objects using Petri nets
Pettit, Robert G.
Gomaa, Hassan
NINTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT AND COMPONENT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2006, : 303 - 310

← 1 2 3 4 5 →