Integrating Object Oriented Design with Petri nets - Case study with SYROCO

被引：0

作者：

Mikolajczak, B ^{[1
]}

Sefranek, C ^{[1
]}

机构：

[1] SE Massachusetts Univ, Dept Comp & Informat Sci, N Dartmouth, MA 02747 USA

来源：

7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XIV, PROCEEDINGS: COMPUTER SCIENCE, ENGINEERING AND APPLICATIONS | 2003年

关键词：

Object Oriented design; concurrency; Petri nets; verification; validation;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

The aim of this paper was to verify and validate an object-oriented design using Petri nets. We were interested to apply Petri net-based rapid prototyping of parallel and distributed systems with three majors steps: modeling, analysis, and verification and validation of the object-oriented design. There was a great desire to utilize a tool having a graphical interface for the Petri Net presentation. The design chosen was that of a bank ATM machine. This design was developed by Wirfs-Brock, Wilkerson, and Wiener [4]. The tool selected for use was SYROCO [2]. This tool provides a means to define Co-operative objects (COO). The COO language uses high-level Petri Nets to model the internal operation of objects, and provides a mechanism to connect together the Petri nets of distinct objects via the normal Object Oriented interface.

引用

页码：265 / 270

页数：6

共 50 条

[1] Integrating Object Oriented Design with concurrency using Petri Nets - A case study of a banking system and the SYROCO-Macao environment
Mikolajczak, B
Sefranek, CA
[J]. 2001 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: E-SYSTEMS AND E-MAN FOR CYBERNETICS IN CYBERSPACE, 2002, : 1559 - 1564
[2] Integrating object-oriented design with Petri nets - Case study of ATM system
Mikolajczak, B
Sefranek, C
[J]. 2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, : 1499 - 1505
[3] Object Oriented Petri Nets - Modelling techniques case study
Kočí, Radek
Janoušek, Vladimír
Zbořil Jr., František
[J]. International Journal of Simulation: Systems, Science and Technology, 2009, 10 (03): : 31 - 43
[4] On the use of coloured Petri nets for object-oriented design
Barros, JP
Gomes, L
[J]. APPLICATIONS AND THEORY OF PETRI NETS 2004, PROCEEDINGS, 2004, 3099 : 117 - 136
[5] THE STUDY OF A FMS MODEL BASED ON OBJECT-ORIENTED PETRI NETS
Liu, Quansheng
Sun, Xiaoyan
Ding, Songlin
[J]. PROCEEDINGS OF THE 38TH INTERNATIONAL CONFERENCE ON COMPUTERS AND INDUSTRIAL ENGINEERING, VOLS 1-3, 2008, : 934 - 939
[6] Abstract node method for integration of object oriented design with colored Petri nets
Bauskar, Bhushan E.
Mikolajczak, Boleslaw
[J]. THIRD INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS, PROCEEDINGS, 2006, : 680 - +
[7] 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
[8] Model checking in object-oriented Petri nets
Rodrigues, CL
Guerrero, DDS
de Figueiredo, JCA
[J]. 2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 4977 - 4982
[9] Constraint programming with object-oriented Petri nets
Sanders, MJ
[J]. 1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 289 - 294
[10] Object-oriented Petri nets, their simulation, and analysis
Ceska, M
Janousek, V
Vojnar, T
[J]. 1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 256 - 261

← 1 2 3 4 5 →