[aadl]: Example and proposition for the D.5-03 errata

[Denis Buzdalov]

There is an example and a prosition for the D.5-03 errata discussed 
yesterday.

Actually, is seems that there is a mess up with keywords because D.5(7) 
says about 'with' keyword but grammar says about 'frozen' keywords for 
that purpose. That's why I'm using the one used in grammar in the 
example.

The with-foundation.aadl file shows why at the current state the 
discussed keyword is useless.
The with-propositio.aadl file proposes some changes which are seems to 
be useful.

-- 
Denis Buzdalov
Software Engineering Department, ISPRAS
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: with-foundation.aadl
URL: <http://lists.sei.cmu.edu/pipermail/sae-aadl-users/attachments/20141001/5768815b/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: with-proposition.aadl
URL: <http://lists.sei.cmu.edu/pipermail/sae-aadl-users/attachments/20141001/5768815b/attachment-0001.ksh>