Page History

The recording capability of the Cameo Simulation Toolkit Magic Model Analyst allows you to:

• record created objects as CreateMessages connected between Lifelines that represent the object creator and features of the created object respectively.
• record signals as SendMessages connected between Lifelines that represent signal senders and signal receivers respectively. Connectors will be assigned to the messages if signals are sent via ports or connectors.
• record operation calls as CallMessages connected between Lifelines that represent operation callers and operation owners respectively. Connectors will be assigned to messages if operations are called via ports.
• record changes of states and primitive values as StateInvariants on Lifelines that represent features of objects that own the states or the values. 

...

Whenever you simulate a model (such as Flashing Light as shown in the figure above), Cameo Simulation Toolkit Magic Model Analyst will:

• create the first Lifeline, which represents the selected runtime object.
• record each signal sent from the selected runtime object as a Message in the sequence diagram.
• record each operation call caused by a call message, a CallOperationAction, or an ALH.callOperation with argument and return value as messages in the sequence diagram.
• record an object that receives a signal and/or an operation call as a Lifeline. Unless it exists in the diagram, the object will be called a 'lifeline object'. 
• record each change in the state of a lifeline object as a StateInvariant on the Lifeline, with the changed state symbol.
• record each change in the feature value of a lifeline object as a StateInvariant on the Lifeline. Changes in value are enclosed in constraint brackets, i.e., {a=10}. 

...