... | ... | @@ -5,6 +5,7 @@ The general approach to this process step is to take the IL model from before th |
|
|
The merging happens through the TGG rules. Afterwards, a post processing creates a new id registry.
|
|
|
|
|
|
***Input***:
|
|
|
|
|
|
* The IL model from before the change (prior IL model)
|
|
|
* The ID registry from before the change (prior ID registry)
|
|
|
* The changed ADL model (changed ADL model)
|
... | ... | @@ -34,6 +35,7 @@ In this step, a ID registry is created based on the prior ID registry. The post- |
|
|
At last, the IL model is exported from the TGG.
|
|
|
|
|
|
***Result***:
|
|
|
|
|
|
* A new IL model
|
|
|
* A new ID registry
|
|
|
|
... | ... | @@ -41,6 +43,32 @@ In this step, a ID registry is created based on the prior ID registry. The post- |
|
|
|
|
|
### [S1] New Element
|
|
|
|
|
|
Scenario: A new element is added in the ADL.
|
|
|
|
|
|
Step | Artifact | Content | Comment
|
|
|
------ | ------------------|-------- | ---------
|
|
|
Input | ADL | ![](resources/S1-0.pdf) | b is a new element
|
|
|
Input | Prior IL Model | ![](resources/S1-1.pdf) |
|
|
|
Input | Prior ID Registry | (1, x, a, m) | Format: (id, cm, il, adl),<br>one entry per line
|
|
|
IT rules | TGG before IT rules | ![](resources/S1-2.pdf) |
|
|
|
IT rules | TGG after IT rules | ![](resources/S1-3.pdf) |
|
|
|
Forward-Propagation | TGG after FWPPG rules | ![](resources/S1-4.pdf) |
|
|
|
Post-Processing | New ID Registry | (1, x, a, m)<br>(2, -, -, n) |
|
|
|
Post-Processing | New IL Model | ![](resources/S1-5.pdf) |
|
|
|
|
|
|
|
|
|
### [S2] Deleted Element
|
|
|
Scenario: An element is removed in the ADL.
|
|
|
|
|
|
Step | Artifact | Content | Comment
|
|
|
------ | ------------------|-------- | ---------
|
|
|
Input | ADL | ![](resources/S2-0.pdf) |
|
|
|
Input | Prior IL Model | ![](resources/S2-1.pdf) | The element with the id 2 is deleted in the ADL
|
|
|
Input | Prior ID Registry | (1, x, a, m)<br>(2, y, b, n)
|
|
|
IT rules | TGG before IT rules | ![](resources/S2-2.pdf) |
|
|
|
IT rules | TGG after IT rules | ![](resources/S2-3.pdf) |
|
|
|
Forward-Propagation | TGG agter FWPPG rules | ![](resources/S2-4.pdf)
|
|
|
Post-Processing | New ID Registry | (1, x, a, m)
|
|
|
Post-Processing | New IL Model | ![](resources/S2-5.pdf)
|
|
|
|
|
|
### [S3] Changed Element |
|
|
\ No newline at end of file |