[aadl]: Discussion of errors of Behavior Annex operators

[Etienne Borde]

Thank you Denis,

I have worked on these issues lately and they are part of the first topics of my presentation for the errata (11:15 San Diego time). I will not have time to include your new comments by then in my presentation but I read your document now.

Etienne.

----- Mail original -----
De: "Denis Buzdalov" <buzdalov at ispras.ru>
À: sae-aadl-users at lists.sei.cmu.edu
Envoyé: Lundi 2 Février 2015 06:45:25
Objet: [aadl]: Discussion of errors of Behavior Annex operators

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