This case study has been adapted from the ATL model-to-model transformation Class2Relational.
The files used to run experiments for ATL and for FMA-ATL can be found below.
The experiment was run with ATL 3.6 (regular).
- Source: Extended Class metamodel (ecore)
| #Model size | #Packages | #Classes | #Attributes | xmi |
|---|---|---|---|---|
| 26 | 1 | 5 | 20 | model00001.xmi |
| 650 | 25 | 125 | 500 | model00025.xmi |
| 1300 | 50 | 250 | 1000 | model00050.xmi |
| 1950 | 75 | 375 | 1500 | model00075.xmi |
| 2600 | 100 | 500 | 2000 | model00100.xmi |
| 3900 | 150 | 750 | 3000 | model00150.xmi |
| 5200 | 200 | 1000 | 4000 | model00200.xmi |
| 6500 | 250 | 1250 | 5000 | model00250.xmi |
| 10400 | 400 | 2000 | 8000 | model00400.xmi |
| 13000 | 500 | 2500 | 10000 | model00500.xmi |
| 26000 | 1000 | 5000 | 20000 | model01000.xmi |
| 52000 | 2000 | 10000 | 40000 | model02000.xmi |
| 78000 | 3000 | 15000 | 60000 | model03000.xmi |
As an example, we show the the input model with one root package and the corresponding generated file:
- Input model 00001:
- Output model 00001:
The experiment was run with Maude 2.6.
Below we give pointers to the files that run the transformation in FMA-ATL gathering execution times.
| #Model size | #Packages | #Classes | #Attributes | xmi |
|---|---|---|---|---|
| 26 | 1 | 5 | 20 | model00001.maude |
| 650 | 25 | 125 | 500 | model00025.maude |
| 1300 | 50 | 250 | 1000 | model00050.maude |
| 1950 | 75 | 375 | 1500 | model00075.maude |
| 2600 | 100 | 500 | 2000 | model00100.maude |
| 3900 | 150 | 750 | 3000 | model00150.maude |
| 5200 | 200 | 1000 | 4000 | model00200.maude |
| 6500 | 250 | 1250 | 5000 | model00250.maude |
| 10400 | 400 | 2000 | 8000 | model00400.maude |
| 13000 | 500 | 2500 | 10000 | model00500.maude |
| 26000 | 1000 | 5000 | 20000 | model01000.maude |
| 52000 | 2000 | 10000 | 40000 | model02000.maude |
| 78000 | 3000 | 15000 | 60000 | model03000.maude |
| #Model size | #Packages | #Classes | #Attributes | xmi |
|---|---|---|---|---|
| 26 | 1 | 5 | 20 | model00001.maude |
| 650 | 25 | 125 | 500 | model00025.maude |
| 1300 | 50 | 250 | 1000 | model00050.maude |
| 1950 | 75 | 375 | 1500 | model00075.maude |
| 2600 | 100 | 500 | 2000 | model00100.maude |
| 3900 | 150 | 750 | 3000 | model00150.maude |
| 5200 | 200 | 1000 | 4000 | model00200.maude |
| 6500 | 250 | 1250 | 5000 | model00250.maude |
| 10400 | 400 | 2000 | 8000 | model00400.maude |
| 13000 | 500 | 2500 | 10000 | model00500.maude |
| 26000 | 1000 | 5000 | 20000 | model01000.maude |
| 52000 | 2000 | 10000 | 40000 | model02000.maude |
| 78000 | 3000 | 15000 | 60000 | model03000.maude |