In: Information Processing Letters, Vol. 36, No. 3, pages 123-127. 1990.
Abstract: This paper focusses on the modelling of the dynamic concepts of an information system by means of a rule-based model, within an object-oriented framework. A Petri-net-based model augmented with signals and rules, called modified Petri net, is used to capture and express interactions of information systems objects. The validation of requirements specifications is supported by exploiting the potential of the selected model to be graphically animated.
Keywords: modelling (and) animating information systems dynamics; rule-based; object-oriented; net augmented (with) signal(s) (and) rule(s); modified net.