Communications of the ACM
Modern structured analysis
The C++ programming language (2nd ed.)
The C++ programming language (2nd ed.)
A methodology for constructing predicate transition net specifications
Software—Practice & Experience
Object-oriented analysis (2nd ed.)
Object-oriented analysis (2nd ed.)
OPNets: an object-oriented high-level Petri net model for real-time system modeling
Journal of Systems and Software - Special issue on object-orientation
Analysis of inheritance anomaly in object-oriented concurrent programming languages
Research directions in concurrent object-oriented programming
CC++: a declarative concurrent object-oriented programming notation
Research directions in concurrent object-oriented programming
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
A method for constructing algebraic Petri nets
Journal of Systems and Software
The Unified Modeling Language user guide
The Unified Modeling Language user guide
A Theory of Objects
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Translating hierarchical predicate transition nets to CC++ program skeletons
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
From Coloured Petri Nets to Object Petri Nets
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
A Formal Definition of Hierarchical Predicate Transition Nets
Proceedings of the 17th International Conference on Application and Theory of Petri Nets
A Method for Analyzing Properties of Hierarchical Predicate Transition Nets
COMPSAC '95 Proceedings of the 19th International Computer Software and Applications Conference
Hi-index | 0.00 |
In this paper, an approach of using hierarchical predicate transition nets (HPrTNs in the sequel) for object-oriented specification is proposed. The realization of various object-oriented features (including encapsulation, inheritance, and polymorphism) in HPrTNs is presented and is demonstrated with examples. We believe that the approach can achieve the benefits of the object-oriented methods while maintaining the analyzability of HPrTNs.