In: Proceedings of the 26th Hawaiian International Conference on System Sciences (HICSS-26), Vol. IV, pages 409-418. January 1993.
Abstract: This paper introduces a rule-based object-oriented model and a new graphical formalism capable of representing the behaviour of information systems at the desired level of abstraction. The graphical model, called Rule-Based Net (RBN), is based on Petri Nets and it can be considered as an abstraction of Predicate Transition Nets (PrT Nets). The formality of the RBN model and its graphical and executable nature provide a very good basis for its analysis and validation. RBNs provide a simple net representation of information systems dynamic behaviour showing flow of control. If information flow is desired too, RBNs are mapped to specialised PrT nets. In this way, all the well developed techniques on PrT nets could be exploited for analytically deriving general properties of an information system.
Keywords: OO; rules; Rule-Based Nets; dynamic modelling; information systems.