• Business Model: ResolveCrisis
• Business Extensions: MustAuthenticate
• ⇒ Composition Output:
  • ResolveCrisis (Business Composition)

• Business Model: HandleACrisis
• Business Extensions: ReHandleOnChange
• ⇒ Composition Output: HandleACrisis (Business Composition)

• Business Model: HandleAMission
• Business Extensions: UnavailableIntResource, UnavailableExtResource, ReHandleOnChange
• ⇒ Composition Output: HandleAMission (Business Composition)

• Business Model: HandleAworker
• Business Extensions: UseHelicopter, LostContact, Timeout, MissionFailed, MissingReport, ReHandleOnChange
• ⇒ Composition Output: HandleAWorker (Business Composition)
• Generated Artefacts:
  • UC #1: merge(useHelicopter,lostContact,timeout) (on a6)
  • UC #1: merge(reHandleOnChange,missionFailed) (on a7)

• Business Model: CaptureWitnessReport
• Business Extensions: CallDisconnected, RequestVideo, FakeWitnessInfo, IgnoreDisconnection, FakeCrisisDetected
• ⇒ Composition Output: CaptureWitnessReport (Business Composition)
• Generated Artefacts:
  • UC #2: weave(fakeCrisisDetected, requestVideo::a3)
  • UC #2: merge(ignoreDisconnection,fakeCrisisDetected) (on a4)

• Business Model: AssignIntRes
• Business Extensions: UnavailableEmployee, EmployeeRefusal, MustAuthenticate
• ⇒ Composition Output: AssignIntRes (Business Composition)

• Business Model: RequestExtRes
• Business Extensions: DegradedRes, NoExtRes
• ⇒ Composition Output: RequestExtRes (Business Composition)
• Generated Artefact:
  • UC #4: merge(degradedRes,noExtRes) (on a2)

• Business Model: ExecuteMission

• Business Model: ExecSupObsMission

• Business Model: HandleSupObsMission
• Business Extensions: ReplaceMission, NoAvailableReplacement, AskedMissionFailure
• ⇒ Composition Output: HandleSupObsMission (Business Composition)
• Generated Artefact:
  • UC #6: weave(noAvail..., replaceMission::a1)
  • UC #6: merge(replaceMission,askedMissionFailure) (on a7)

* Business Model: ExecRescMission

• Business Extensions: RetrieveVictimHistory
• ⇒ Composition Output: ExecRescMission (Business Composition)

• Business Model: AuthUser
• Business Extensions: CancelAuth , Only3Times
• ⇒ Composition Output: AuthUser (Business Composition)