Luca Berardinelli, Rainer Drath, Emanuel Maetzler, Manuel Wimmer [email protected], rainer [email protected], [email protected], [email protected]Business Informatics Group, Institute of Software Technology and Interactve Systems, Vienna University of Technology ABB AG, Corporate Research Center Germany IE Technology News September 2016 1 On The Evolution of CAEX: A Language Engineering Perspective CDL Flex
22
Embed
On The Evolution of CAEX: A Language Engineering Perspective
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Luca Berardinelli, Rainer Drath, Emanuel Maetzler, Manuel Wimmer
Language Evolution: Setting FormalizedIE Technology News
September 2016 10
SXML
«conforms to»
L
Ecore
L’
EcoreL
Evolution
Co-Evolution
L := {δ}
«conforms to»:= (L,S):Bool
Version N Version N+1
Language Evolution: Non-Breaking CaseIE Technology News
September 2016 11
SXML
«conforms to»
L
Ecore
L’
EcoreL
Evolution
Co-Evolution
L := {δ} δ ∈ NBC
«conforms to»«conforms to»:= (L,S):Bool
Version N Version N+1
IE Technology News
September 2016 12
SXML
«conforms to»
L
Ecore
L’
EcoreL
Evolution
Co-Evolution
L := {δ} δ ∈ BC
«conforms to»:= (L,S):Bool
«conforms to»
Version N Version N+1
Language Evolution: Breaking Case
IE Technology News
September 2016 13
SXML
«conforms to»
L
Ecore
L’
EcoreL
Evolution
Co-Evolution
L := {δ} δ ∈ BC
«conforms to»:= (L,S):Bool
S'XMLS
«conforms to»
s := {δ}(1) S(S) L∈ ’(2) (I(S),I(S’)) → min
Version N Version N+1
Language Evolution: Breaking Case
CAEX: Co-Evolution Methodology IE Technology News
September 2016 14
«metamodel»Schema
«xml»Data
«conformsTo»
check
«metamodel»
Schema’
«xml»Data’
«conformsTo»
«delta_model»
Schema
«uses»
convert𝐵𝐶
copy
𝑛𝑜𝑖𝑚𝑝𝑎𝑐𝑡
no change𝑖𝑚𝑝𝑎𝑐𝑡
improve
Represent languages/models in a technology independent manner Process consists of two parts
(1) Represent schema delta and classify changes: non-breaking, breaking(2) Develop a transformation chain for data migration: copy, check, convert, improve
CAEX 2.15 CAEX 3.0
Evolution
Co-Evolution
(1)
(2)
1: SchemaML - A Kernel Schema LanguageIE Technology News
September 2016 15
Schema
Data
«conformsTo»
SchemaML comes with DataML
1: SchemaML – Changes and ClassificationIE Technology News
September 2016 16
Changes are derived from the SchemaML specification and classified w.r.t. their impact on existing data Set of atomic changes (+,~,-) NBC extend languages BC restrict languages or
invalidate used identifiers Atomic changes may be
composed
1: Delta Evaluation for CAEX 2.15->3.0
IE Technology News
September 2016 17
• Delta model excerpt for CAEX 2.15 and CAEX 3.0
2: Technologies for Migration ChainIE Technology News
September 2016 18
CAEX 2.15 CAEX 3.0
Given the theoretical background…
…we realize a co-evolution framework with MDE technologies.
These slides are made by authors to help readers quick and better understanding of the subject. The opinions made or information presented here belong to the sole responsibility of the authors. IE Tech News (ITeN) neither endorses nor denounces any opinions made or information presented. Part or full of these material may be used only with written permission from the authors.