[aadl]: Thread state semantics

[Thomas Driessen]

Hi,

I'm currently reading the book MBE with AADL and have some questions
regarding the semantics of the different states a thread can have.

Activate/Deactivate:
Is there a Activate/Deactivate state for each mode? So if the enclosing
process has the modes 1 and 2, and a thread is active only in 1, then are
there the thread states Activate1/Deactivate1 and Activate2/Deactivate2? Or
is there only one Activate/Deactivate state for all possible modes and when
writing code for theses states, one would need additional information about
which mode is about to be entered/left?
Also, when can this state switch occur? Anytime during execution of a
thread? Only before/after execution?

Initialize/Finalize: If the thread is periodic, are those states then
passed through during each execution of the thread? Or are those states
only visited once at Initialization/Finalization of the thread itself?

Any help on this topic is appreciated.

Kind regards,
Thomas

-- 
M.Sc. Thomas Driessen
Software Methodologies for Distributed Systems
Institute of Computer Science
University of Augsburg
Universitätsstr. 6a
86135 Augsburg, Germany

Tel:    +49 821 598-2486
email: thomas.driessen at informatik.uni-augsburg.de
-------------- next part --------------
HTML attachment scrubbed and removed