Dynamic Process Modeling through Multi-level RBNs
This paper presents an approach for specifying and validating the dynamic aspects of IS at multiple levels of abstraction, during the requirements specification phase of system development, using a Petri net based model, called Rule-Based Net (RBN). The produced specifications explicitly model the dynamic system behaviour, they are object-oriented, rule-based, executable and can be validated using graphical animation. In this way, we come up with consice, compact, modular, validated and easily modifiable requirements specifications at the very early stages of system development. Furthermore, these specifications can be easily mapped to design and implementation structures, resulting in a system which satisfies user's needs and is flexible enough to incorporate future changes of behaviour.