Protocol Performance Analysis Using a Timed Extension for an Object Oriented Petri Net Language

被引：4

作者：

de Azevedo Guerra, Fabricio Vale ^{[1
]}

Abrantes de Figueiredo, Jorge Cesar ^{[1
]}

Serey Guerrero, Dalton Dario ^{[1
]}

机构：

[1] Univ Fed Campina Grande, Dept Sistemas & Computacao, Coordenacao Posgrad Informat, Ave Aprigio Veloso S-N, BR-58109970 Campina Grande, Brazil

来源：

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2005年 / 130卷

关键词：

Timed Petri nets; performance models; object orientation;

D O I：

10.1016/j.entcs.2005.03.011

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

In this paper we propose a timed extension for RPOO, a Petri-net based object-oriented modeling language. The timing strategy of the proposed extension, called RPOOt, is based on the timing strategy from the Timed Coloured Petri nets formalism. A simple stop-and-wait protocol RPOO model was developed in order to demostrate the proposed extension. We also show some performance measures for the model. RPOOt showed to be easily integrated with Timed Coloured Petri Nets, providing means for modeling time consuming activities inside objects as well as among objects.

引用

页码：187 / 209

页数：23

共 19 条

[1]

Abdollahi Azgomi M., 2003, 10 WORKSH ALG TOOLS, P144

[2]

Bichler L., 2002, EVALUATING UML EXTEN

[3]

Boyer M., 1999, Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331), P198, DOI 10.1109/PNPM.1999.796566

[4]

Canedo E., 2002, P 1 BRAZ PETR NETS M

[5]

de Figueiredo J. C. A., 1994, THESIS

[6]

DWYER MB, 1998, UMCS1998035

[7]

Guerra de A., 2003, FORMAL OBJECT ORIENT

[8]

Guerrero D. D. S., 2002, THESIS

[9]

JENSEN K, 1994, COLOURED PETRI NETS, V2

[10]

Jensen K., 1992, EATCS MONOGRAPHS THE, V1

← 1 2 →