Abstract
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.
| Original language | English |
|---|---|
| Pages (from-to) | 161-172 |
| Number of pages | 12 |
| Journal | Electronic Notes in Theoretical Computer Science |
| Volume | 187 |
| DOIs | |
| Publication status | Published - 15 Jul 2007 |
| Externally published | Yes |
Keywords
- Petri net
- object-oriented design
- object-oriented system
- refinement
- use case