High-level Petri net for incremental analysis of object-oriented system requirements

Author

Hong, J.-E. ; Bae, D.-H.

Author_Institution

Dept. of Electr. Eng. & Comput. Sci., Korea Adv. Inst. of Sci. & Technol., Taejon, South Korea

Volume

148

Issue

1

fYear

2001

fDate

6/23/1905 12:00:00 AM

Firstpage

11

Lastpage

18

Abstract

To complement the weakness of Petri nets in terms of naturalness, modularity, and reusability, high-level Petri nets with object concepts have been suggested. It is difficult to apply these nets to the requirement specification of object oriented software systems because of insufficient support for the object oriented concepts. A hierarchical object oriented Petri net (HOONet) is developed to complement the weakness of the existing formalisms and formally define its syntax and semantics. A reachability analysis method is provided to check such behavioural properties as boundedness, liveness and persistence of the HOONet models. The HOONet provides incremental modelling and analysis of the requirements with the support of object oriented concepts

Keywords

Petri nets; formal specification; object-oriented programming; programming language semantics; reachability analysis; systems analysis; HOONet; Petri net weakness; behavioural properties; boundedness; hierarchical object oriented Petri net; high-level Petri net; high-level Petri nets; incremental analysis; incremental modelling; liveness; object concepts; object oriented concepts; object oriented software systems; object oriented system requirements; persistence; reachability analysis method; requirement specification; semantics; syntax;

fLanguage

English

Journal_Title

Software, IEE Proceedings -

Publisher

iet

ISSN

1462-5970

Type

jour

DOI

10.1049/ip-sen:20010242

Filename

917755