[aadl]: Fwd: The usage about the keyword "actual_processor_binding =>, reference and applies to"

[陈璐希]

Dear all,

Fisrt, I want to say sorry if you receive several same copies.

I tried to write an example about binding two processes to a processor by
aadl. I use the key work actual_processor_binding => reference XXX applies
to xxx. But there was a error notification "Couldn't resolve reference to
property definition 'actual_processor_binding'.  Property set name may be
missing." on the sentences:

 properties
    actual_processor_binding => (reference (p)) applies to pa;
    actual_processor_binding => (reference (p)) applies to pb;

Do I make some mistakes in writing aadl files? Can anyone help me?

The complete aadl file is in the attachment.

Thanks for your consideration and help.

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: test.aadl
Type: application/octet-stream
Size: 895 bytes
Desc: not available
URL: <http://lists.sei.cmu.edu/pipermail/sae-aadl-users/attachments/20130515/1442cf5a/attachment.obj>