[sae-aadl] BLESS is ill-described as an annex to Behavior Annex; it's more like a leech

[Brian R Larson]

Bruce,

The schedule looks good, but BLESS is ill-described as an annex to BA.

BLESS is more an alternative to BA.  Both define grammar and semantics  
for AADL annex subclauses; both define behavioral semantics for its  
grammar.

BLESS was deliberately made like BA to leach upon it.

There should be no mention of BLESS in the Behavior Annex document  
itself; BA must lead the way.

Because BLESS sans Assertions has grammar very, very similar to BA,  
any tool that can use BA as input can use BLESS, with perhaps a bit of  
manual massaging.  People who don't care to prove can stay with BA  
forever, but migrating to BLESS just adds properties and annex  
subclauses to the AADL model transparently.  OSATE will ignore all  
annex subclauses for which parsers cannot be found.

The BLESS proof tool will (some day) become an OSATE plugin providing  
parsers for "BLESS", "subBLESS", and "Assertion" annex subclauses.


--Brian



On Apr 21, 2010, at 10:46 AM, Lewis, Bruce (AMRDEC) wrote:

> Classification:  UNCLASSIFIED
> Caveats: NONE
>
> All,
>
> Here is the first draft of the meeting agenda.  Please review it and
> provide comments.  In the next version I plan to re-organize the lunch
> and second afternoon breaks so we can finish by 6:00.  Note, we have
> added a morning session for those that will still be available on Wed,
> the 19th since Brian will be attending and can give a tutorial on  
> BLESS
> use.  And - we will have great meals in Toulouse!
>
> Advanced Notice:  We will be sending a partial ballot (two weeks)  
> out to
> finalize the Behavior annex updates next week.  We will need your
> ballots to finish it.
>
> Thanks,
> See you in Toulouse,
>
> Bruce
>
> 256-698-0164 Work
> 256-468-4902 Home
>
>
>  Classification:  UNCLASSIFIED
> Caveats: NONE
>
> <AADL Agenda Toulouse 2010-5.doc>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.sei.cmu.edu/mailman/private/sae-aadl/attachments/20100421/9a2911ce/attachment.html