as each Use Case Diagram generates an individual Component Model. Using the restricted set of roles and the UML composition notation, associations highlighting a variety of checks can be made. Fig 9 ...