Lecture7_MBSE_ModelingWithStateMachines

Lecture7_MBSE_ModelingWithStateMachines - other behaviors 3...

Info iconThis preview shows pages 1–5. Sign up to view the full content.

View Full Document Right Arrow Icon
1 Click to edit Master subtitle style Model-Based Systems Engineering: Modeling with State Machines Leon McGinnis Chris Paredis www.pslm.gatech.edu/courses www.omg.org/ocsmp
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
2 Some helpful facts Triggers are always “events” Time, signal, call, change Triggers “belong” to transitions (look at containment tree) Behaviors can be represented in multiple ways Activities Interactions OpaqueBehavior Others we can ignore for now Behaviors “belong” to the state (look at the containment tree) The behaviors that belong to a state can be “mapped” to
Background image of page 2
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Background image of page 4
Background image of page 5
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: other behaviors 3 Some helpful facts 4 Some helpful facts These mappings are created after the state machine is specified 5 ATM Example (very simplified) ATM Serv er Inserts card Enters pin Enters amount Cancels transaction Retrieves cash Takes receipt Retrieves card Verifies card # Verifies pin Verifies amount Accepts card Queries server Displays enter pin Accepts pin Displays invalid pin Displays enter amount Accepts amount Issues cash Prints receipt Returns card Cancels transaction...
View Full Document

Page1 / 5

Lecture7_MBSE_ModelingWithStateMachines - other behaviors 3...

This preview shows document pages 1 - 5. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online