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