Add opposite references limited to the static part
It would be useful that AssetType#references in the AssetBasedSystem can declare their opposite reference (similar to ecore)
This opposite would drive controls/verifications in the assets
-
add notion of opposite in the metamodel -
add xtext syntax changes -
add Sirius changes -
implement checker in the AssetType (ie. if one opposite exists, the other end must be declared opposite too -
implement checker in the Asset (ie. with the current syntax Link a1 to a2 as ref
we may introduce duplicate link by using the opposite ref) -
adaptation in the transformation ABS2GAL and ABS2ABS -
adaptation K3 (contract and expression evaluation) -
adaptation of EValidator (missing links for mandatory reference)
new syntax for Asset:
Asset A {
reference ref:B opposite oref
}
Asset B {
reference oref:A opposite ref
}
Asset a1: A {}
Asset b: B {}
Link a1 to b2 as ref#oref
Edited by William Ragot