Software modeling and analysis using a hierarchical object-oriented Petri net

Cited 39 time in webofscience Cited 0 time in scopus
  • Hit : 756
  • Download : 30
DC FieldValueLanguage
dc.contributor.authorHong, JEko
dc.contributor.authorBae, Doo-Hwanko
dc.date.accessioned2009-12-29T02:19:22Z-
dc.date.available2009-12-29T02:19:22Z-
dc.date.created2012-02-06-
dc.date.created2012-02-06-
dc.date.issued2000-12-
dc.identifier.citationINFORMATION SCIENCES, v.130, no.1-4, pp.133 - 164-
dc.identifier.issn0020-0255-
dc.identifier.urihttp://hdl.handle.net/10203/15969-
dc.description.abstractPetri net is used widely to analyze and model various systems formally. Recently, many Petri nets mania devote their efforts to enhancing and extending the expressive power of Petri nets. One such effort is to extend Petri nets with object-oriented concepts. An object-oriented paradigm provides excellent concepts to model real-world problems. Object-oriented concepts allow us to build software systems easily, intuitively, and naturally. Although several high-level Petri nets with the concept of objects are suggested, these nets do not fully support the object-oriented concepts. In this paper, we propose a hierarchical object-oriented Petri net (HOONet). The formal syntax and semantics of HOONet are explained in detail. HOONet supports a wide range of object-oriented features including abstract, encapsulated and modularized objects, object interaction by message passing, inheritance, and ploymorphism. HOONet also supports a variety of modeling and analysis mechanisms such as incremental modeling of evolving systems, unfolding the HOONet to lower level Petri net, and incremental reachability analysis for HOONet models. We demonstrate the usefulness of HOONet by applying it to modeling and analysis with an example. (C) 2000 Elsevier Science Inc. All rights reserved.-
dc.languageEnglish-
dc.language.isoen_USen
dc.publisherELSEVIER SCIENCE INC-
dc.titleSoftware modeling and analysis using a hierarchical object-oriented Petri net-
dc.typeArticle-
dc.identifier.wosid000166289900007-
dc.identifier.scopusid2-s2.0-0034497238-
dc.type.rimsART-
dc.citation.volume130-
dc.citation.issue1-4-
dc.citation.beginningpage133-
dc.citation.endingpage164-
dc.citation.publicationnameINFORMATION SCIENCES-
dc.embargo.liftdate9999-12-31-
dc.embargo.terms9999-12-31-
dc.contributor.localauthorBae, Doo-Hwan-
dc.contributor.nonIdAuthorHong, JE-
dc.type.journalArticleArticle-
dc.subject.keywordAuthorhierarchical object-oriented Petri net-
dc.subject.keywordAuthorrequirement analysis-
dc.subject.keywordAuthorsoftware modeling-
dc.subject.keywordAuthorincremental analysis-
Appears in Collection
CS-Journal Papers(저널논문)
Files in This Item
This item is cited by other documents in WoS
⊙ Detail Information in WoSⓡ Click to see webofscience_button
⊙ Cited 39 items in WoS Click to see citing articles in records_button

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0