[aadl]: Fwd: 转发： error information about an AADL example

[陈璐希]

Dear all,

I'm learning how to use the OSATE2 and the BA plugin. I tried the
example (already
in the attachment) according to the paper titled  "Formal Semantics and
Analysis of Behavioral AADL Models in Real-Time Maude". But OSATE2 warned
me "Ending ':' does not match defining identifier 'TA.impl'". The error I
met for several times and puzzled me. Can anyone met them before?

The following is my platform information:
AADL-BA      version: 0.9.5
id:fr.tpt.aadl.annex.behavior.feature.feature.group     provider:TELECOM
ParistechTech
AADL-Utils    version: 0.9.4
id:fr.tpt.aadl.utils.feature.feature.group
                       provider:TELECOM ParistechTech
OSATE2        version: 2.0.0.201304140525 id:osate2
AADL-Utils    version: 0.9.4
id:fr.tpt.aadl.ramses.feature.feature.group
                 provider:TELECOM ParistechTech

I'm 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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Behavior.aadl
Type: application/octet-stream
Size: 333 bytes
Desc: not available
URL: <http://lists.sei.cmu.edu/pipermail/sae-aadl-users/attachments/20130420/e1e1376d/attachment.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: TA.aadl
Type: application/octet-stream
Size: 1022 bytes
Desc: not available
URL: <http://lists.sei.cmu.edu/pipermail/sae-aadl-users/attachments/20130420/e1e1376d/attachment-0001.obj>