[aadl]: Need guidance about AADL metamodel transformation to a Process Algebra

[Shabbir Haider]

Hello all, 

I’m working on a project in which I want to transform AADL metamodel (containing Behavior Annex specifications) to a Process Algebra(HCSP). The end result is going to be an analysis plugin. 
What model transformation techniques are suitable for this problem  and is there any transformation tool that I can use to perform this?
What is the best/preferable way to accomplish this ?
 

Thanks, 
Regards :
Shabbir Haider, 
BSCS Air University, Islamabad
Pakistan.

Sent from Mail for Windows 10

-------------- next part --------------
HTML attachment scrubbed and removed