search

saeaadl / BehaviorAnnex

1 stars 0 forks source link

formal semantics #5

Open pdissaux opened 6 years ago

pdissaux commented 6 years ago

(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 commented 4 years ago

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

smithdtyler commented 4 years ago

(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 commented 4 years ago

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, [ https://github.com/saeaadl/BehaviorAnnex/issues/5#issuecomment-656868363 | view it on GitHub ] , or [ https://github.com/notifications/unsubscribe-auth/AA7G6GYTHZKPVQCCTHO6B2DR25YTHANCNFSM4E56TZXQ | unsubscribe ] .

jjhugues commented 4 years ago

Proposed resolution