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. © 2007 Elsevier B.V. All rights reserved.
| Original language | English |
|---|---|
| Pages (from-to) | 161-172 |
| Journal | Electronic Notes in Theoretical Computer Science |
| Volume | 187 |
| DOIs | |
| Publication status | Published - 15 Jul 2007 |
Research Keywords
- object-oriented design
- object-oriented system
- Petri net
- refinement
- use case
Publisher's Copyright Statement
- This full text is made available under CC-BY-NC-ND 3.0. https://creativecommons.org/licenses/by-nc-nd/3.0/