[aadl]: Query about ATL Based Model-to-Model Transformation based upon AADL Behavior Annex

[Etienne Borde]

Dear Shabbir,

> I need a source metamodel which represents specifications of AADL and BA
> together, since both AADL and AADL-BA are two separate plugins and have
> separate metamodels.

in RAMSES (http://penelope.enst.fr/aadl/wiki/Projects) we have implemented model transformations (using ATL) that take as input AADL models with BA. The metamodel we used is the BA metamodel: since it extends the AADL metamodel, it contains the definitions of metaclasses of both metamodels.

> So my question is what metamodel should be used that represents both AADL
> and BA, and AADL and HA, as a source and target metamodel respectively. I
> need suggestions for this issue.

Well, I am not sure how to proceed on that matter but I think you can construct a metamodel (let's call it annexesMM) that extends both the HA and the BA metamodel. In this case, the input metamodel of your transformation is newMM. Not sure this will work, but this is how I would proceed.

Best regards,
Etienne.

----- Mail original -----
De: "Shabbir Haider" <shabbirhaider1993 at gmail.com>
À: sae-aadl-users at lists.sei.cmu.edu
Envoyé: Lundi 4 Avril 2016 17:35:52
Objet: [aadl]: Query about ATL Based Model-to-Model Transformation based upon AADL Behavior Annex

Hello all,

I'm working on a model-to-model transformation from AADL-Behavior Annex to
AADL-Hybrid Annex using ATL. For this purpose I've reviewed some work based
on ATL transformation of AADL behaviors such as

http://www.scirp.org/journal/PaperInformation.aspx?PaperID=29542

I need a source metamodel which represents specifications of AADL and BA
together, since both AADL and AADL-BA are two separate plugins and have
separate metamodels.
So my question is what metamodel should be used that represents both AADL
and BA, and AADL and HA, as a source and target metamodel respectively. I
need suggestions for this issue.

Secondly in the work that I mentioned above in the link, I would like to
know that how the minimal subset metamodel representing behavior annex and
software components was generated ???

I have also reviewed the following survey paper but wasn't able to find any
help in this regard.

http://www.atlantis-press.com/php/pub.php?publication=emim-15&frame=http%3A//www.atlantis-press.com/php/paper-details.php%3Fid%3D21517

I shall be very thankful for your help and support in this regard.
Thanks.

Regards:

Shabbir Haider,
BSCS Air University, Islamabad
Pakistan

http://shabbir-haider.blogspot.com