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

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 requirements 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.
Publisher
Institute of Electrical Engineers
Issue Date
2001-02
Language
ENG
Citation

IEE PROCEEDINGS: SOFTWARE, v.148, no.1, pp.11 - 18

ISSN
1462-5970
URI
http://hdl.handle.net/10203/18430
Appears in Collection
CS-Journal Papers(저널논문)
  • Hit : 326
  • Download : 42
  • Cited 0 times in thomson ci

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0