[aadl]: About features of AADL-BA

[璐希 陈]

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