PPT Slide

• UML as ADL

  • a model of all possible system behaviours
  • state diagrams for ìmanageableî processes
  • implicit parallel notation for composite processes P1||P2||Ö||Pn
  • no explicit representation due to state explosion

• Sequence diagrams/MSCs to describe components interactions

• MSCs with state information and iteration blocks, components are the object elements

• QNM with blocking, BAS mechanism

SA description: MSCs - From MSCs to QNMs

Previous slide

Next slide

Back to first slide

View graphic version