Logical aspects of dynamic meta-models and user-model interaction
-
Upload
damian-lott -
Category
Documents
-
view
31 -
download
1
description
Transcript of Logical aspects of dynamic meta-models and user-model interaction
![Page 1: Logical aspects of dynamic meta-models and user-model interaction](https://reader036.fdocuments.us/reader036/viewer/2022062422/56813175550346895d97ee6c/html5/thumbnails/1.jpg)
Logical aspects of dynamic meta-models
and user-model interaction Peter Krall
6th Workshop on Domain Specific Modelling
![Page 2: Logical aspects of dynamic meta-models and user-model interaction](https://reader036.fdocuments.us/reader036/viewer/2022062422/56813175550346895d97ee6c/html5/thumbnails/2.jpg)
What if …
• … the model‘s functionality serves to develop the model?
• … it‘s difficult to isolate model and meta-model development?
![Page 3: Logical aspects of dynamic meta-models and user-model interaction](https://reader036.fdocuments.us/reader036/viewer/2022062422/56813175550346895d97ee6c/html5/thumbnails/3.jpg)
Basic situation (non-mdd)
Domain model
Implementation
Partial model
SolutionSS =SD SI
ΣS= ΣD ΣI
TS =TD TI
SD ΣD
TD:SDΣDSD
SI ΣI
TI:SIΣISI
![Page 4: Logical aspects of dynamic meta-models and user-model interaction](https://reader036.fdocuments.us/reader036/viewer/2022062422/56813175550346895d97ee6c/html5/thumbnails/4.jpg)
Semantic correspondence
Domain model
Implementation
Partial model
Solution
SD ΣD
TD:SDΣDSD
SI ΣI
TI:SIΣISI
SM =SD SI
ΣM= ΣD ΣI
TM=TD TI
MTM
: TM M ??
![Page 5: Logical aspects of dynamic meta-models and user-model interaction](https://reader036.fdocuments.us/reader036/viewer/2022062422/56813175550346895d97ee6c/html5/thumbnails/5.jpg)
Correct Solution
Domain model
Implementation
Partial model
Solution
SD ΣD
TD:SDΣDSD
SI ΣI
TI:SIΣISI
SM =SD SI
ΣM= ΣD ΣI
TM=TD TI
T MTM
: TM M
![Page 6: Logical aspects of dynamic meta-models and user-model interaction](https://reader036.fdocuments.us/reader036/viewer/2022062422/56813175550346895d97ee6c/html5/thumbnails/6.jpg)
Dynamic integration
![Page 7: Logical aspects of dynamic meta-models and user-model interaction](https://reader036.fdocuments.us/reader036/viewer/2022062422/56813175550346895d97ee6c/html5/thumbnails/7.jpg)
Dynamic integration
Domain model
Implementation
Partial model
ModelSM =SD SI
ΣM= ΣD ΣI
TM=TD TI
MTM
: TM M
Solution
Solution-model
meta-model transformation-model
Model-editor
SD ΣD
TD:SDΣDSD
SI ΣI
TI:SIΣISI
![Page 8: Logical aspects of dynamic meta-models and user-model interaction](https://reader036.fdocuments.us/reader036/viewer/2022062422/56813175550346895d97ee6c/html5/thumbnails/8.jpg)
Integration, grammar-based
DModel Implementation
Document(LD) Document(LI)
Clear separation between model and meta-model!
Parser / generator
Template(LT)
model
meta-model
DModel Implementation
Document(LD) Document(LI)
Crawler / generator
Template(LT)
![Page 9: Logical aspects of dynamic meta-models and user-model interaction](https://reader036.fdocuments.us/reader036/viewer/2022062422/56813175550346895d97ee6c/html5/thumbnails/9.jpg)
Grammar based integration, variant
DModel Implementation
Document(LD) Document(LI)
The model contains elements – the templates - with meta-level semantics.
Parser / generator
Template(LT)modelmeta-model
DModel Implementation
Document(LD) Document(LI)
Crawler / generator
Template(LT)
![Page 10: Logical aspects of dynamic meta-models and user-model interaction](https://reader036.fdocuments.us/reader036/viewer/2022062422/56813175550346895d97ee6c/html5/thumbnails/10.jpg)
Integration scheme / OO
DModel Implementation
Model and meta-model interwoven: model elements represent application types and implement functionality for model integration
Rules(LR)
model
meta-model
messages
interpret
update
DModel Implementation
Rules(LR)
messages
interpret
update
![Page 11: Logical aspects of dynamic meta-models and user-model interaction](https://reader036.fdocuments.us/reader036/viewer/2022062422/56813175550346895d97ee6c/html5/thumbnails/11.jpg)
Dynamic transformation model
Domain model
Implementation
Partial model
ModelSM =SD SI
ΣM= ΣD ΣI
TM=TD TI
MTM
: TM M
Solution
Solution-model
meta-model
transformation-model
Model-editor
SD ΣD
TD:SDΣDSD
SI ΣI
TI:SIΣISI
Transformation-model
![Page 12: Logical aspects of dynamic meta-models and user-model interaction](https://reader036.fdocuments.us/reader036/viewer/2022062422/56813175550346895d97ee6c/html5/thumbnails/12.jpg)
Model/user-interaction(DI)
Domain model
Implementation
Partial model
ModelSM =SD SI
ΣM= ΣD ΣI
TM=TD TI
MTM
: TM M
Solution
Solution-model
meta-model transformation-model
Model-editor
SD ΣD
TD:SDΣDSD
SI ΣI
TI:SIΣISI
Model-editor-Ifc
![Page 13: Logical aspects of dynamic meta-models and user-model interaction](https://reader036.fdocuments.us/reader036/viewer/2022062422/56813175550346895d97ee6c/html5/thumbnails/13.jpg)
Model-user interaction
Model functionality is used at construction time of the model
Model element instances:
• are hosted by the development environment
• implement an interface for user interaction within the meta-model
![Page 14: Logical aspects of dynamic meta-models and user-model interaction](https://reader036.fdocuments.us/reader036/viewer/2022062422/56813175550346895d97ee6c/html5/thumbnails/14.jpg)
Model / Meta-model integration
Domain model
Implementation
Partial model
ModelSM =SD SI
ΣM= ΣD ΣI
TM=TD TI
MTM
: TM M
Solution
Solution-model
meta-model
transformation-model
Model-editor
SD ΣD
TD:SDΣDSD
SI ΣI
TI:SIΣISI
Transformation-model
Model-editor-Ifc
![Page 15: Logical aspects of dynamic meta-models and user-model interaction](https://reader036.fdocuments.us/reader036/viewer/2022062422/56813175550346895d97ee6c/html5/thumbnails/15.jpg)
Structural integration
![Page 16: Logical aspects of dynamic meta-models and user-model interaction](https://reader036.fdocuments.us/reader036/viewer/2022062422/56813175550346895d97ee6c/html5/thumbnails/16.jpg)
Structural integration (logic)
Domain model
Implementation
Partial model
Model SM
ΣM
TM:SMΣMSM
Solution
Solution-model
meta-model
Model-editor
SD=SM /D ΣD=ΣM /D TD=TM /D
SI=SM /I ΣI=ΣM /I TI=TM /I
![Page 17: Logical aspects of dynamic meta-models and user-model interaction](https://reader036.fdocuments.us/reader036/viewer/2022062422/56813175550346895d97ee6c/html5/thumbnails/17.jpg)
Modifieable structural integration
Domain model
Implementation
Partial model
Model SM
ΣM
TM:SMΣMSM
Solution
Solution-model
meta-model
Model-editor
SD=SM /D ΣD=ΣM /D TD=TM /D
SI=SM /I ΣI=ΣM /I TI=TM /I
Ifc-element-editor
![Page 18: Logical aspects of dynamic meta-models and user-model interaction](https://reader036.fdocuments.us/reader036/viewer/2022062422/56813175550346895d97ee6c/html5/thumbnails/18.jpg)
Structural model integration schemes
DModeltransient
Implementationtransient
Model-Document(LM)
LM/I
LM/D
Model-elementBase
<<abstract>>
Model-elementDomain
<<abstract>>Model-elementImpl
<<abstract>>
Model-element
![Page 19: Logical aspects of dynamic meta-models and user-model interaction](https://reader036.fdocuments.us/reader036/viewer/2022062422/56813175550346895d97ee6c/html5/thumbnails/19.jpg)
Structural integration
A single model is splitted into part models providing views in different abstraction
Relation between part models is integrated in the meta-model‘s class structure (or relation between grammars)
Modification of meta-model requires access to the meta-model‘s class system
![Page 20: Logical aspects of dynamic meta-models and user-model interaction](https://reader036.fdocuments.us/reader036/viewer/2022062422/56813175550346895d97ee6c/html5/thumbnails/20.jpg)
Model / user interaction (SI)
Domain model
Implementation
Partial model
Model SM
ΣM
TM:SMΣMSM
Solution
Solution-model
meta-model
Model-editor
SD=SM /D ΣD=ΣM /D TD=TM /D
SI=SM /I ΣI=ΣM /I TI=TM /I
Model-editor-Ifc
![Page 21: Logical aspects of dynamic meta-models and user-model interaction](https://reader036.fdocuments.us/reader036/viewer/2022062422/56813175550346895d97ee6c/html5/thumbnails/21.jpg)
Final
Domain model
Implementation
Partial model
Model SM
ΣM
TM:SMΣMSM
Solution
Solution-model
meta-model
Model-editor
SD=SM /D ΣD=ΣM /D TD=TM /D
SI=SM /I ΣI=ΣM /I TI=TM /I
Ifc-element-editor
Model-editor
Model-editor-Ifc
M
![Page 22: Logical aspects of dynamic meta-models and user-model interaction](https://reader036.fdocuments.us/reader036/viewer/2022062422/56813175550346895d97ee6c/html5/thumbnails/22.jpg)
If …
• … the model‘s functionality serves to develop the model?
• … it‘s difficult to isolate model and meta-model development?
…the meta-model will declare functions for modelling that are implemented as interfaces by model elements. These model elements are hosted in the IDE (or so). Object oriented meta-meta models are worth being considered for model integration.