Traceability of Model RefinementExample 1

• «refine» and «trace» dependency

  • between 2 model elements (need some kind of n:m-relationship…)
  • «trace» semantics not quite clear
  • impossible for model elements on different diagrams

X

op’()

op’’()

a

*

1

«trace»

«refine»

Previous slide

Next slide

Back to first slide

View graphic version