formal semantics

[pdissaux]

(this issue was referenced as G-04 in the SaeAadlWiki)
Missing formal semantics for the Behavior Annex.
It should reflect the semantics of the core run-time and run-time services.

[jjhugues]

This seems like a long term task. Do we want to schedule this for any forthcoming document?

[smithdtyler]

(this issue was referenced as G-04 in the SaeAadlWiki)
Missing formal semantics for the Behavior Annex.
It should reflect the semantics of the core run-time and run-time services.

This link does not work for me - is it still valid?

[pdissaux]

Yes, unfortunately the AADL wiki that was hosted by SEI disapeared a few months ago I don't know about its contents The same for the main aadl.info web site. It now shows a SEI advert page instead. From: "T.D. Smith" <notifications@github.com> To: "saeaadl/BehaviorAnnex" <BehaviorAnnex@noreply.github.com> Cc: "Pierre DISSAUX" <pierre.dissaux@ellidiss.com>, "Author" <author@noreply.github.com> Sent: Friday, 10 July, 2020 22:10:27 Subject: Re: [saeaadl/BehaviorAnnex] formal semantics (#5) (this issue was referenced as G-04 in the [ https://wiki.sei.cmu.edu/sae-aadl-subcommittee/index.php/Errata_from_the_Behavior_Annex | SaeAadlWiki ] ) Missing formal semantics for the Behavior Annex. It should reflect the semantics of the core run-time and run-time services. This link does not work for me - is it still valid? — You are receiving this because you authored the thread. Reply to this email directly, [ #5 (comment) | view it on GitHub ] , or [ https://github.com/notifications/unsubscribe-auth/AA7G6GYTHZKPVQCCTHO6B2DR25YTHANCNFSM4E56TZXQ | unsubscribe ] .

[jjhugues]

Proposed resolution

• Target consistency with the core rather than a fully formal semantics. v3 could define this formal semantics