Hi
I am using the AADL behavior annex plugin from Topcased. I am experiencing a
problem with an example. According to my understanding of the behavior annex
syntax, the following AADL code has the right semantics for defining mode
transitions in the behavior annex. I am using the example for illustration.
thread IOThread
features
mode1Change: in event port;
mode2Change: in event port;
end IOThread;
thread implementation IOThread.impl
* *modes
failed: initial mode ;
wait: mode;
mode1: mode;
mode2: mode;* *
annex behavior_specification {**
mode transitions
* **failed -[]-> wait;*
* **wait -[mode1Change?]-> mode1;*
* **mode1 -[mode2Change?]-> mode2;*
* **mode2 -[mode2Change?]-> mode1;*
**};
end IOThread.impl;
-----------------
In this case, I am getting the errors "invalid *state *mode1, mode2, mode3".
Now mode1, mode2, mode3 are *AADL Mode, *why am I getting the error that
they are states? According the behavior annex syntax, it is allowed to
define mode transitions inside the annex.
Could you please help me figure out the actual problem? Am I missing
anything?
Thanks
Abdullah Al-Nayeem
UIUC
_______________________________________________
Topcased-users mailing list
[email protected]
http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users
