Transcript Model Interchange between ARIS and Eclipse EMF

Department of Computer Science
Business Information Systems
Model Interchange between
ARIS and Eclipse EMF
Heiko Kern and Stefan Kühne
{kern, kuehne}@informatik.uni-leipzig.de
1
Model Interchange between ARIS and Eclipse EMF
1.
2.
3.
4.
5.
Department of Computer Science
Business Information Systems
ARIS and Eclipse EMF
Motivation
ARIS to EMF bridge
Examples
Summary
The 7th OOPSLA Workshop on Domain-Specific Modeling
2
Model Interchange between ARIS and Eclipse EMF
Department of Computer Science
Business Information Systems
What is ARIS?
• Architecture of integrated Informationsystems is a reference architecture for enterprise modeling.
• ARIS House structures business processes in
 five views: organization, data, control, function, and output
 and three abstraction levels: requirements, design, and implementation.
• ARIS provides modeling languages for every view and every level.
The 7th OOPSLA Workshop on Domain-Specific Modeling
3
Model Interchange between ARIS and Eclipse EMF
Department of Computer Science
Business Information Systems
What is ARIS?
• ARIS is supported by a set of tools: ARIS SOA Architect, ARIS Business Architect or ARIS
Simulation.
The 7th OOPSLA Workshop on Domain-Specific Modeling
4
Model Interchange between ARIS and Eclipse EMF
Department of Computer Science
Business Information Systems
ARIS Business Architect
The 7th OOPSLA Workshop on Domain-Specific Modeling
5
Model Interchange between ARIS and Eclipse EMF
Department of Computer Science
Business Information Systems
What is the Eclipse Modeling Framework?
• EMF is a Java framework for building (Eclipse-) applications based on structured models
• EMF provides tools and runtime support for





•
serialization with XML or XMI
reflective API for manipulating EMF objects
change notification
code generation
building editors for EMF models
Many tools can operate on EMF metamodels and models
 openArchitectureWare
 ATLAS Transformation Language
 …
The 7th OOPSLA Workshop on Domain-Specific Modeling
6
Model Interchange between ARIS and Eclipse EMF
1.
2.
3.
4.
5.
Department of Computer Science
Business Information Systems
ARIS and Eclipse EMF
Motivation
ARIS to EMF bridge
Examples
Summary
The 7th OOPSLA Workshop on Domain-Specific Modeling
7
Model Interchange between ARIS and Eclipse EMF
Department of Computer Science
Business Information Systems
Bridging ARIS and Eclipse EMF
Eclipse EMF/GMF
ARIS
ARIS
Business Optimizer
A3-Model
Ecore
Interoperability
conform to
conform to
Method
Metamodel
conform to
Model
EMF Editor
suitable for
model processing
The 7th OOPSLA Workshop on Domain-Specific Modeling
ARIS to EMF
bridge
conform to
Model
ARIS Simulation
openArchitectrueWare
ATLAS Transformation
Language
ARIS Toolset
suitable for
business process modeling
8
Model Interchange between ARIS and Eclipse EMF
1.
2.
3.
4.
5.
Department of Computer Science
Business Information Systems
ARIS and Eclipse EMF
Motivation
ARIS to EMF bridge
Examples
Summary
The 7th OOPSLA Workshop on Domain-Specific Modeling
9
Model Interchange between ARIS and Eclipse EMF
Department of Computer Science
Business Information Systems
Overview of the bridge
ARIS
Eclipse EMF
M3 level
mapping
A3-model
M3
determinates
conforms to
conforms to
conforms to
Ecore
Structure of
ARIS
repositories
based
on
conforms to
Metamodel
ARIS
method
Configured
*
ARIS
adapts
method
*
based
on
ARIS
method
filter
M2 level
transformation
Structure of
repositories
generalization
M2
instance of
Method filter
conforms to
based
on
conforms to
M1
The 7th OOPSLA Workshop on Domain-Specific Modeling
ARIS model
M1 level
transformation
EMF model
10
Model Interchange between ARIS and Eclipse EMF
Department of Computer Science
Business Information Systems
ARIS-Metametamodell: A3-Model
1..*
*
ObjectType
1..*
srcObj
1..*
trgObj
objType
*
*
*
*
modAttr
AttributeType
conAttr
*
1..*
ConnectionType *
1
conType
*
conType
The 7th OOPSLA Workshop on Domain-Specific Modeling
1
*
1
*
1..*
symbol *
*
ModelType
*
objAttr
1..*
*
*
assignment
Symbol
1
*
attrLab
*
1..*
srcSym
1..*
trgSym
symLab
Label
*
lineLab
*
1..*
dataType
DataType
symbol
1..*
Line
1
line
*
line
1
11
Model Interchange between ARIS and Eclipse EMF
Department of Computer Science
Business Information Systems
ARIS-Metametamodell: A3-Model
trgObj
M3
1..*
ObjectType
srcObj
Event
1..*
ConnectionType
1..*
1..*
srcObj
M2
Activates
Function
trgObj
event
srcObj
M1
activates
function
trgObj
The 7th OOPSLA Workshop on Domain-Specific Modeling
12
Model Interchange between ARIS and Eclipse EMF
Department of Computer Science
Business Information Systems
Metametamodel in EMF: Ecore
EStructuralFeature
eStructuralFeatures
EClass
eAttributes
EAttribute
eAttributeType
EDataType
eReferenceType
EReference
eReferences
eOpposite
The 7th OOPSLA Workshop on Domain-Specific Modeling
13
Model Interchange between ARIS and Eclipse EMF
Department of Computer Science
Business Information Systems
Metametamodel in EMF: Ecore
M3
eReferenceType
EClass
EReference
eReferences
Event
M2
srcObj
Activates
Function
trgObj
event
M1
srcObj
activates
function
trgObj
The 7th OOPSLA Workshop on Domain-Specific Modeling
14
Model Interchange between ARIS and Eclipse EMF
Department of Computer Science
Business Information Systems
Mapping Rules
ARIS
Eclipse EMF
M3-level
eReferenceType
trgObj
M3
1..*
ObjectType
srcObj
Event
1..*
ConnectionType
EClass
1..*
1..*
srcObj
M2
•
eReferences
Event
srcObj
M1-level
Function
trgObj
trgObj
event
event
srcObj
M1
activates
function
trgObj
The 7th OOPSLA Workshop on Domain-Specific Modeling
ObjectType → EClass
ConnectionType → EClass
with two EReferences
…
Activates
Activates
Function
EReference
•
•
srcObj
activates
•
ObjectDef → EClass (M1level instance)
•
ConnectionDef → EClass
(M1-level instance)
…
•
function
trgObj
15
Model Interchange between ARIS and Eclipse EMF
Department of Computer Science
Business Information Systems
Mapping Rules: The devil is in the details!
•
ConnectionType → EClass with two EReferences
•
Problem:
 A connection type in ARIS has n source objects types and m target
objects types.
{OT1, OT2, OT3}
CT0
{OT4, OT5, OT6}
 An EReference in Ecore can only point to one EClass.
•
Solution:
 Creation of n x m EClasses
EClass OT1
EClass OT2
EClass OT3
EClass CT0
The 7th OOPSLA Workshop on Domain-Specific Modeling
EClass OT4
EClass OT5
EClass OT6
16
Model Interchange between ARIS and Eclipse EMF
1.
2.
3.
4.
5.
Department of Computer Science
Business Information Systems
ARIS and Eclipse EMF
Motivation
ARIS to EMF bridge
Examples
Summary
The 7th OOPSLA Workshop on Domain-Specific Modeling
17
Model Interchange between ARIS and Eclipse EMF
Department of Computer Science
Business Information Systems
EPC Syntax Validation
ARIS
ARIS
method filter
Eclipse EMF
ArisFilter2Emf
metamodel
transformation
conforms to
EPC model
EMF
metamodel
conforms to
Aris2EmfModel
transformation
EPC model
ATL
ArisScript
create OUT : Problem from IN : Aris;
helper context Aris!Model def : getAllSymbols() : Set(Aris!Symbol) =
self.containSymbols -> asSet();
...
nodefault rule NoEndEvent {
from i : Aris!M_EPC_13(i.getAllEndEventSymbols() ->isEmpty())
to o : Problem!Problem( description <- ’No end event exists.’,
severity <- #error, location <- ’model name: ’ + i.name + ’ --model id: ’ + i.id)
}
nodefault rule FunctionInput {
from i : Aris!S_Function_335(
i.getInputEdgesOfSymbol()->size() <> 1)
to -- like NoEndEvent
}
Validation
report
The 7th OOPSLA Workshop on Domain-Specific Modeling
18
Model Interchange between ARIS and Eclipse EMF
Department of Computer Science
Business Information Systems
EPC to BPEL Transformation
ARIS
ARIS
method filter
Eclipse EMF
ArisFilter2Emf
metamodel
transformation
conforms to
conforms to
EPC model
conforms to
Aris2EmfModel
transformation
The 7th OOPSLA Workshop on Domain-Specific Modeling
EPC model
conforms to
Model
transformation
tools
ArisScript
BPEL model
EMF
metamodel
Emf2ArisModel
transformation
BPEL model
19
Model Interchange between ARIS and Eclipse EMF
1.
2.
3.
4.
5.
Department of Computer Science
Business Information Systems
ARIS and Eclipse EMF
Motivation
ARIS to EMF bridge
Examples
Summary
The 7th OOPSLA Workshop on Domain-Specific Modeling
20
Model Interchange between ARIS and Eclipse EMF
Department of Computer Science
Business Information Systems
Summary and Outlook
•
Building a M3-level based bridge between ARIS and EMF
 Analysis of the ARIS metametamodel
 Mapping between metametamodels
 Transformation on M2-level and M1-level
 Applications of the bridge
•
Study of further M3-level spaces
 MetaEdit, Web Ontology Language, MetaGME, …
 Survey of metametamodels (metaconcept comparison)
 Technical realization of M3-level spaces
The 7th OOPSLA Workshop on Domain-Specific Modeling
21
Model Interchange between ARIS and Eclipse EMF
Department of Computer Science
Business Information Systems
Thank you.
Questions?
The 7th OOPSLA Workshop on Domain-Specific Modeling
22