A Petri Net Based Method for Refining Object Oriented System Specifications

In object-oriented system design, requirements are given as use cases in the form of object interaction scenarios. One need to derive, from these object interaction scenarios, object-based behavioural specifications for implementation purposes. In this paper, a Petri-net-based method is proposed for the refinement process. The method starts with specifying the object interaction scenarios as labelled nets. These labelled nets are then synthesised into an integrated net. Duplicate labels are eliminated in order to attain a uniquely labelled net, on which object-based behavioural specifications are obtained as projections.