Lecture 11: Specifying Systems – State diag’s & OCL. This chapter provides knowledge of UML state machine diagrams and UML state machine diagrams: State activities: entry, do, and exit activities; composite states and nested states; concurrency; OCL syntax; OCL constraints and contracts. | Ivan Marsic Rutgers University LECTURE 11: Specifying Systems – State Diag’s & OCL Topics UML State Machine Diagrams State Activities: Entry, Do, and Exit Activities Composite States and Nested States Concurrency UML Object Constraint Language (OCL) OCL Syntax OCL Constraints and Contracts State Machine Diagram: Basic Notation Delisted Listing planned Traded initial-listing trade bankruptcy, merger, acquisition, States of Stock_i initial state indicated by terminal state indicated by event transition These are not states: They are only labels that indicate the actual initial/terminal states UML Diagrams Differ from FSMs Modularization of states Concurrent behaviors State activities States of Stock_i trade trade trade trade trade trade trade trade Buy Sell Hold Traded Buy Sell Hold Listing planned Delisted Delisted Listing planned Traded initial-listing trade bankruptcy, merger, acquisition, composite state sub-states: (based on analyst recommendations) States of . | Ivan Marsic Rutgers University LECTURE 11: Specifying Systems – State Diag’s & OCL Topics UML State Machine Diagrams State Activities: Entry, Do, and Exit Activities Composite States and Nested States Concurrency UML Object Constraint Language (OCL) OCL Syntax OCL Constraints and Contracts State Machine Diagram: Basic Notation Delisted Listing planned Traded initial-listing trade bankruptcy, merger, acquisition, States of Stock_i initial state indicated by terminal state indicated by event transition These are not states: They are only labels that indicate the actual initial/terminal states UML Diagrams Differ from FSMs Modularization of states Concurrent behaviors State activities States of Stock_i trade trade trade trade trade trade trade trade Buy Sell Hold Traded Buy Sell Hold Listing planned Delisted Delisted Listing planned Traded initial-listing trade bankruptcy, merger, acquisition, composite state sub-states: (based on analyst recommendations) States of Stock_i Delisted IPO planned Traded initial-listing trade bankruptcy, acquisition, merger, Traded IPO planned Delisted trade trade trade trade trade trade trade trade Buy Sell Hold initial- listing bankruptcy, acquisition, merger, IPO = initial public offering composite state nested state State Activities: Entry, Do, and Exit Activities matched completion transition cancel, reject view trade Executed Archived Cancelled submit data entry InPreparation Pending do: check_price & supply [buy] check_price & demand [sell] States of a Trading Order “do” state activity (order placed and waiting for the specified market conditions) timer-expired / signal-reset, set numOfAttemps := 0 User leaves without succeeding or blocking autoLockInterval -expired / Auto-locking feature not shown! State Diagram for Controller [ Recall Section : Test Coverage and Code Coverage ] invalid-key [numOfAttemps maxNumOfAttempts] / signal-failure invalid-key / signal-failure invalid-key [numOfAttemps
