FDT Foil no 1 MSC Structuring MSCs Using Message Sequence Charts for real systems

FDT Foil no 2 Features Inline expressions – for alternatives, loops, exceptions and options MSC references – such that MSCs may be referenced within other MSCs MSC expressions – combining MSCs to express alternatives, parallel merge and loops Gates – flexible connection points between references/expressions and their surroundings HMSC – High level MSC for better better overview of MSC documents Substitution – generalizing MSCs wrt. message, instance and MSC names General ordering – when neither strict order nor no order is the situation MSC Document – declaring a collection of MSC and their data Inline expressions – for alternatives, loops, exceptions and options MSC references – such that MSCs may be referenced within other MSCs MSC expressions – combining MSCs to express alternatives, parallel merge and loops Gates – flexible connection points between references/expressions and their surroundings HMSC – High level MSC for better better overview of MSC documents Substitution – generalizing MSCs wrt. message, instance and MSC names General ordering – when neither strict order nor no order is the situation MSC Document – declaring a collection of MSC and their data

FDT Foil no 3 Simple MSC in a nutshell User AC System msc User_accepted Code Door unlocked Idle OK Card out diagram frame heading condition output event input event instance Unlock message message to environment instance end

FDT Foil no 4 MSC references UserAC System msc Auto_Door Opened AutomaticDoor User_Accepted Idle Unlock Door open actual gate msc reference

FDT Foil no 5 MSCs in MSC document

FDT Foil no 6 High level MSC - HMSC msc AC_System_Overview IdleDoor unlocked User_acceptedUnlocked_resetUnlocked_timeoutUnlocked_unclosedUser_rejected hmsc start connection point alternative restrictive condition msc reference loop

FDT Foil no 7 Restrictive conditions only for HMSC conditions only for global (initial and final) conditions conditions may have a set of names msc AC_System_Overview Idle Door unlocked User_accepted Unlocked_resetUnlocked_timeout Unlocked_unclosed User_rejected

FDT Foil no 8 Reference expression msc AC_System_Overview IdleDoor unlocked User_accepted Unlocked_unclosed alt Unlocked_reset alt Unlocked_timeout User_rejected reference expression

FDT Foil no 9 Gate application explicitly named gates implicitly named gate

FDT Foil no 10 Gate definition

FDT Foil no 11 Inline expressions door alt msc Unlocked_Idle User AC System Door unlockedIdle door Lock Push door Opened door alt door Alarm Error Lock Closed door alternative either this or this expression frame operand separator operator gates propagate

FDT Foil no 12 Exception and Option door exc msc Unlocked_Idle User AC System Door unlockedIdle door Lock Push door Opened door exc door Alarm Error opt Pull door Lock Closed door exception either this or continue the main road option either this or nothing

FDT Foil no 13 Loop msc AC_System_Overview User AC System Idle loop alt User_acceptedUnlocked_IdleUser_rejected infinite loop

FDT Foil no 14 Parallel merge User_accepted subst User by User1 User_accepted subst User by User2 msc TwoUsersAccepted Two parallel behaviours

FDT Foil no 15 General order in one instance msc User_accepted Coregion User AC System Code decomposed Door unlocked Idle OK Card out Unlock General order symbol

FDT Foil no 16 Incomplete messages Lost message

FDT Foil no 17 Substitution UserAC System msc Auto_Door Opened AutomaticDoor User_Accepted Idle Unlock Door open User AC System msc Simple_Accepted Unlock Idle PushButton Door unlocked Auto_Door subst User_Accepted by Simple_Accepted msc SimpleDoor

FDT Foil no 18 Summary ways to achieve overview: HMSC for over viewing large specifications Inline expressions for over viewing small variations ways to combine MSCs: MSC references MSC gates MSC reference expressions improved generalization mechanisms: Substitution of MSCs, message names, and instance names ways to achieve overview: HMSC for over viewing large specifications Inline expressions for over viewing small variations ways to combine MSCs: MSC references MSC gates MSC reference expressions improved generalization mechanisms: Substitution of MSCs, message names, and instance names

FDT Foil no 19 Remaining issues MSC 2000 issues: Document diagrams Data Imperative conditions (when) Better decomposition rules UML 2.0: Essentially the same Slightly different syntax MSC 2000 issues: Document diagrams Data Imperative conditions (when) Better decomposition rules UML 2.0: Essentially the same Slightly different syntax

FDT Foil no 20 1 objects properties context content 1 MSC is used to: 1.Precisely define behaviour properties such as: use cases interface behavior cases, protocol sequences service behaviors 2.Partially synthesise designs 3.Verify that designs satisfy specified behaviour properties 4.Describe test cases 5.Document simulation traces 6.Generally improve understanding and communication about interaction problems 1.Precisely define behaviour properties such as: use cases interface behavior cases, protocol sequences service behaviors 2.Partially synthesise designs 3.Verify that designs satisfy specified behaviour properties 4.Describe test cases 5.Document simulation traces 6.Generally improve understanding and communication about interaction problems 4,