[aadl]: Discussion of errors of Behavior Annex operators

[Denis Buzdalov]

Dear all,

At the last meeting in Valencia we decided to discuss errors that some
Behavior Annex operators can produce. This touches Behavior Annex
errata D.5-04 and D.5-06.

I've prepared a document mentioning problems and solutions to discuss.
I wish I prepared it earlier but alas. I hope better late than never.
So, please, find it in the attachment.

--
Denis Buzdalov
Software Engineering Department, ISPRAS
-------------- next part --------------
A non-text attachment was scrubbed...
Name: ba-errors-producing-operators-issues.pdf
Type: application/pdf
Size: 55776 bytes
Desc: not available
URL: <http://lists.sei.cmu.edu/pipermail/sae-aadl-users/attachments/20150202/e36d710f/attachment-0001.pdf>