MBSE with GENESYS 2024

Focusing on the Foundational Concepts: Capturing the Journey

Color Code

triggered by

Transition

Requirement Entity

Functional Entity

entered by / exited by

Resource

Exit

Physical Entity

Interface Entity

State

captures / consumes / produces

exits by

built from / kind of

incorporates

exhibits

decomposed by

Verification Entity

Other Entity

Function

Component

performs

involves / describes

Use Case

decomposed by

elaborated by

includes / extends / kind of

elicits

basis of / specifies

specifies

Requirement

exposes

refined by

verified by

verified by

Event

verified by

inputs / outputs

verified by

Port

Verification Requirement

executed by / executes

verified by

specifies

verified by

connected to

responsible for

Test Configuration

Verification Activity

employs

accomplished by

decomposed by

Verification Event

includes

Item

Link

transfers

decomposed by

includes

generates

results in

causes

assigned to

Organization

Concern

Risk

41

Focusing on the Foundational Concepts: Engineering with Rigor

Color Code

triggered by

Transition

Requirement Entity

Functional Entity

entered by / exited by

Resource

Exit

Physical Entity

Interface Entity

State

captures / consumes / produces

exits by

built from / kind of

incorporates

exhibits

decomposed by

Verification Entity

Other Entity

Function

Component

performs

involves / describes

Use Case

decomposed by

elaborated by

includes / extends / kind of

elicits

basis of / specifies

specifies

Requirement

exposes

refined by

verified by

verified by

Event

verified by

inputs / outputs

verified by

Port

Verification Requirement

executed by / executes

verified by

specifies

verified by

connected to

responsible for

Test Configuration

Verification Activity

employs

accomplished by

decomposed by

Verification Event

includes

Item

Link

transfers

constrains / uses parameter from

decomposed by

includes

generates

results in

causes

assigned to

Organization

Concern

Risk

Constraint Definition

42