• Aucun résultat trouvé

One Event must be associated with a Trigger

N/A
N/A
Info
Télécharger
Protected

Academic year: 2022

Partager "One Event must be associated with a Trigger"

Copied!
6
0
0

Chargement.... (Voir le texte intégral maintenant)

Texte intégral

(1)

UML State Machines

(Complements)

(2)

entry/exit/doActivity/effect

Charles ANDRE - UNSA 2

(3)

Events (1)

One Event must be associated with a Trigger

(4)

Events (2)

• AnyReceiveEvent

A transition trigger associated with AnyReceiveEvent specifies that the transition is to be triggered by the receipt of any message that is not explicitly referenced in another transition from the same vertex.

• SignalEvent

A signal event represents the receipt of an asynchronous signal. A signal event may cause a response, such as a state machine transition as specified in the classifier behavior of the classifier that specified the receiver object, if the signal referenced by the send request is mentioned in a reception owned or inherited by the classifier that specified the receiver object.

• CallEvent

A call event represents the reception of a request to invoke a specific operation. A call event is distinct from the call action that caused it. A call event may cause the invocation of a behavior that is the method of the operation referenced by the call request, if that operation is owned or inherited by the classifier that specified the receiver object.

• TimeEvent

A time event specifies a point in time by an expression. The expression might be absolute or might be relative to some other point in time.

• ChangeEvent

A change event occurs when a Boolean-valued expression becomes true.For example, as a result of a change in the value held in a slot corresponding to an attribute, or a change in the value referenced by a link corresponding to an association. A change event is raised implicitly and is not the result of an explicit action.

Charles ANDRE - UNSA 4

(5)

Active classes & signals

(6)

Issue with Effects

• Effects are Behaviors

• But, signal sending and operation call are not

Behaviors, they are Actions (resp. SendAction and CallOperationAction).

• A solution: to put these actions in Activities.

Charles ANDRE - UNSA 6

Off On

S_On / ^S S_Off / b.opB() stm A_Behavior

Send Signal S Operation call

Desired effects

Idle

init CallEvent

SignalEvent Events

associa ted with

Trigger

Références

Télécharger maintenant ( PDF - 6 Page - 98.54 KB )

Documents relatifs

Generalized Discrete EVent System specification (G-DEVS): A State of the Art

Later, Giambiasi and Carmona (2006) proposed to model basic continuous components of dynamic systems in a way that facilitated the transposition to a G-DEVS model, which

Adenocarcinoma, a molecular perspective

Effect of epidermal growth factor receptor tyrosine kinase domain mutations on the outcome of patients with non-small cell lung cancer treated with epidermal growth factor

A Design Environment for Discrete-Event Controllers based on the Signal Language

In order to perform the computation of the controller with regard to the dierent control objectives, the Signal compiler produces a le which contains the PDS resulting from

A bayesian classifier for the recognition of the impersonal occurrences of the 'it' pronoun

There are 4 differ- ent nodes: the decision node (Pronoun) and three at- tribute nodes which respectively represent the fact that the occurrence occurs at the beginning of the

Developing operating strategy for a semi-continuous production process

priming the feed preparation stage during startup should be done at four times the steady state flow rate, while the post-reaction refining stages should be shut

Development inequity : advancing distributive justice by localizing SDG indicators for municipalities in Chile

Through examining the Sustainable Development Goals (SDGs) at a municipal scale in Chile, this thesis demonstrates that localizing the development agenda is required for

Efficient reversible entanglement transfer between light and quantum memories

Here we demonstrate the efficient transfer of heralded single-photon entanglement into and out of two quantum memories based on large ensembles of cold cesium atoms.. We achieve

Notions of affinity in calculus of variations with differential forms

The pur- pose of this article is to prove a characterization theorem for this class of functions, which plays an important role in the calculus of variations for differential