Hi,

I followed your instructions, but I must have done something wrong because there aprece anything related to Behavior Annex in Plugin_Resources Navegator window.

How do I know that was updated correctly OSATE2 ?

Regards,
Rosane

On Tue, 29 Jan 2013 12:30:25 +0100, Topcased user list where issues are discussed wrote:
Hi,

Hi Rosane,

ADELE is included in TOPCASED 5.2 and allows you to create AADL
diagrams and generate the corresponding textual specifications.
We recently added Behavior Annex diagrams to manage BA states and
transitions.
These textual specifications can then be processed by OSATE, or by
other tools like AADL Inspector

However, the version of OSATE that is currently included in TOPCASED
distributions does not support the Behavior Annex
To use ADELE and OSATE together within TOPCASED, you must firstly
upgrade to OSATE v2 (you can use the update site "aadl.ellidiss.fr"
for that purpose), and then add the BA plugins developed by Telecom
ParisTech that are available at "penelope.enst.fr/aadl/wiki/Projects"

Best regards

Pierre Dissaux
Ellidiss Technologies



When I start a project Adele, the TOPCASED already recognizes the annex behavior, right?

But if I start AADL project (textual), the TOPCASED also recognizes the annex behavior? Or need to install the plugin?

My doubt is because both in the perspective ADELE perspective how in the AADL perspective the Navigator only have the options: AADL_Project.aadl, and AADL_Properties.aadl SEI.aadl. That is, nothing appears on the behavior annex.

If by chance you need to install the plugin annex behavior, what is the url?

 Regards,
 Rosane


_______________________________________________
Topcased-users mailing list
[email protected]

http://lists.gforge.enseeiht.fr/cgi-bin/mailman/listinfo/topcased-users


_______________________________________________
Topcased-users mailing list
[email protected]
http://lists.gforge.enseeiht.fr/cgi-bin/mailman/listinfo/topcased-users

Reply via email to