[aadl]: The flow implementation in Osate 2.0.8
Zhibin Yang
zhibinyang168 at gmail.com
Thu Dec 11 10:00:51 EST 2014
Dear Profs. Lewis Bruce, Peter Feiler, Julien Delange, and Jerome HUGUES,
When we define a flow implementation, we find that the "flows" term must be
defined before the "properties" term, otherwise, the Osate tool says "Not
allowed: flows".
1. the correct one
[image: Inline image 2]
2: the incorrect one
[image: Inline image 1]
The tool is Osate 2.0.8. Actually, it is not a problem, but may be (a
little) not so friendly.
Thanks a lot.
Zhibin Yang
with Mamoun, and Jean Paul
IRIT
-------------- next part --------------
HTML attachment scrubbed and removed
-------------- next part --------------
A non-text attachment was scrubbed...
Name: image.png
Type: image/png
Size: 24026 bytes
Desc: not available
URL: <http://lists.sei.cmu.edu/pipermail/sae-aadl-users/attachments/20141211/f433bdb6/attachment-0002.png>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: image.png
Type: image/png
Size: 28839 bytes
Desc: not available
URL: <http://lists.sei.cmu.edu/pipermail/sae-aadl-users/attachments/20141211/f433bdb6/attachment-0003.png>
More information about the Sae-aadl-users
mailing list