Requirements
Home
Team
Motivation
Requirements
Design
Implementation
Experiments
Conclusions
References
Presentation
Appendix

Requirements

Our requirements can be broken down to 4 main parts:

  1. Transform UML sequence diagrams to behaviourly equivalent standard transition/place petri-nets
  2. Transform UML state charts to behaviourly equivalent standard transition/place petri-nets
  3. Superimpose the petri-nets of the transformed UML sequence diagrams with the the petri-nets of the transformed UML state charts
  4. perform the analysis on the final petri-net using Pipe2

Maintained by Hans Vangheluwe Last Modified: 2012/01/10 01:58:09.