[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