Paper Info
Title
Extending G-nets to support inheritance modeling in concurrent object-oriented design
Abstract
G-nets are a type of Petri net defined to support the modeling of a system as a set of independent and loosely-coupled modules. The modular features of G-nets provide support for incremental design and successive modification, however the G-net formalism is not fully object-oriented due to a lack of support for inheritance. We introduce extensions to G-nets to support explicit modeling of inheritance. Bounded buffer examples are used, which we define as subclasses of an unbounded buffer, to illustrate the expressive power of the extended G-net models. Various forms of inheritance are formalized and discussed in the context of concurrent object-oriented design. In addition, the inheritance anomaly problem is examined and discussed
Year
DOI
Venue
2000
10.1109/ICSMC.2000.884479
SMC
Keywords
Field
DocType
inheritance anomaly problem,g-nets,petri nets,parallel programming,expressive power,independent loosely-coupled modules,concurrent object-oriented design,inheritance,programming theory,incremental design,petri net,bounded buffer examples,inheritance modeling,object-oriented programming,software engineering,object oriented,design methodology,switches,object oriented programming,object oriented design
Object-oriented design,Programming language,Petri net,Object-oriented programming,Incremental design,Computer science,Modular design,Formalism (philosophy),Expressive power,Bounded function
Conference
Volume
ISSN
ISBN
4
1062-922X
0-7803-6583-6
Citations 
PageRank 
References 
6
0.88
4
Authors
2
Name
Order
Citations
PageRank
Haiping Xu138542.47
Sol M. Shatz246955.25