[aadl]: About features of AADL-BA

Etienne Borde etienne.borde at telecom-paristech.fr
Mon Apr 15 09:44:33 EDT 2013


Dear Luxi Chen,

can you point me where you found instructions about the "Unparse AADA-BA 
spec" action? It is probably an old function that was directly 
integrated in the action of unparsing aadl models: when unparsing an 
aadl model, the BA unparser should automatically be invoked. It is the 
same for the BA editor: when opening an AADL model containing a BA 
subclause, the BA parser is automatically invoked.

The two actions you talk about are thus automatically invoked by osate 
at parsing/unparsing fo AADL models.
Best regards,
Etienne Borde.


Le 15/04/13 12:54, 璐希 陈 a écrit :
> Dear users,
>
> My name is Luxi Chen. Recently, I just focus on the behavior 
> verification in the software architecture. And I found your tool OSATE 
> and the behavior plugin attract me.
> I'm a new learner for your plugin AADL-BA. I have installed the plugin 
> according to the guidance in your homepage from the update site 
> "http://aadl.telecom-paristech.fr/download/osate-plugins_update-site". 
> However, I just cannot find the
> AADL-BA-FrontEnd Text Editor and the button "Unparse AADA-BA spec". I 
> just wonder if I missed some steps in the installation. Can you help me?
>
> Thanks for your help and looking forward to your reply.
>
> Best Regards,
>
> Luxi Chen
> Reliable Adaptive Distributed System Laboratory(RAD Lab)
> Department of Computer Science and Engineering
> Shanghai Jiao Tong University
> Shanghai, 200240, China
>
>
>
>

-------------- next part --------------
HTML attachment scrubbed and removed


More information about the Sae-aadl-users mailing list