Example ADLs

• C2

  • focus on style-based topological constraints and evolution
  • static component behavior in 1st order logic

• Wright

  • focus on connectors
  • dynamic subsystem behavior in CSP

• Rapide

  • focus on system events
  • dynamic system behavior using event patterns and posets

Previous slide

Next slide

Back to first slide

View graphic version