Petri nets: an introduction
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Applying use cases: a practical guide
Applying use cases: a practical guide
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
The Rational Unified Process: an introduction
The Rational Unified Process: an introduction
The unified software development process
The unified software development process
Use case driven object modeling with UML: a practical approach
Use case driven object modeling with UML: a practical approach
Object-oriented methods (3rd ed.): principles & practice
Object-oriented methods (3rd ed.): principles & practice
Object-Oriented Systems Design: An Integrated Approach
Object-Oriented Systems Design: An Integrated Approach
Deriving Scenarios Of Object Interaction Through Petri Net
TOOLS '98 Proceedings of the Technology of Object-Oriented Languages and Systems
A Lightweight Approach to Consistency of Scenarios and Class Models
ICRE '00 Proceedings of the 4th International Conference on Requirements Engineering (ICRE'00)
Elimination of Duplicate Labels in Petri-Net-Based System Specification
CIT '05 Proceedings of the The Fifth International Conference on Computer and Information Technology
A petri-net-based synthesis methodology for use-case-driven system design
Journal of Systems and Software
Hi-index | 0.00 |
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.