Department of Computer Science Business Information Systems 1 Model Interchange between ARIS and...

1

Department of Computer ScienceBusiness Information Systems

Model Interchange betweenARIS and Eclipse EMF

Heiko Kern and Stefan Kühne{kern, kuehne}@informatik.uni-leipzig.de

The 7th OOPSLA Workshop on Domain-Specific Modeling 2


Model Interchange between ARIS and Eclipse EMF

1. ARIS and Eclipse EMF2. Motivation3. ARIS to EMF bridge4. Examples5. Summary




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.




What is ARIS?

• ARIS is supported by a set of tools: ARIS SOA Architect, ARIS Business Architect or ARIS Simulation.




ARIS Business Architect




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 …








Bridging ARIS and Eclipse EMF

Model

Metamodel

Ecore

conform to

conform to

Model

Method

A3-Model

conform to

conform to

o

penA

rchit

ect

rueW

are

ATLAS Transformation Language

EMF Editor

ARISBusiness Optimizer

AR

IS S

imula

tion

ARIS Toolset

Eclipse EMF/GMF ARIS

Interoperability

ARIS to EMF bridge

suitable for model processing

suitable for business process modeling

ARIS to EMF bridge








Eclipse EMF

ARIS model

Ecore

conforms to

conforms to

EMF model

conforms to

M3

M2

M1

ARIS

A3-model

ARISmethod

ARISmethod

filter

conforms to conforms to

*based

on

ConfiguredARIS

method

*adapts

Structure of ARIS

repositoriesconforms to

instance of

determinates

Structure of repositories

Method filter

Metamodel

generalization

M2 leveltransformation

M1 leveltransformation

M3 level mapping

based on

based on

Overview of the bridge




ObjectType

ConnectionType

AttributeType

srcObj

1..*

1..*trgObj

1..*

1..*

objAttr

*

*

conAttr

*

*

DataType

dataType

*

1

ModelType

*

* modAttr

Label

Symbol

Line

symbol* *

* symLab

1

*lineLab

1

attrLab

1 *

srcSym

1..*

1..*trgSym

1..*

1..*

11conType

lineline

*

**

*

conType

* *objType

assignment* *

1..*1..* symbol

ARIS-Metametamodell: A3-Model




ARIS-Metametamodell: A3-Model

ObjectType ConnectionType

srcObj 1..*1..*

trgObj 1..*1..*

Event

Function

Activates

srcObj

trgObj

event

function

activates

M3

M2

M1

srcObj

trgObj




EStructuralFeature EClass

EReference

EDataType

EAttribute

eStructuralFeatures

eAttributes

eReferences

eReferenceType

eAttributeType

eOpposite

Metametamodel in EMF: Ecore




Metametamodel in EMF: Ecore

EClass EReference

eReferences

eReferenceType

Event

Function

Activates

srcObj

trgObj

event

function

activates

srcObj

trgObj

M3

M2

M1




Mapping Rules ARIS Eclipse EMF

ObjectType ConnectionType

srcObj 1..*1..*

trgObj 1..*1..*

Event

Function

Activates

srcObj

trgObj

event

function

activates

M3

M2

M1

srcObj

trgObj

EClass EReference

eReferences

eReferenceType

Event

Function

Activates

srcObj

trgObj

event

function

activates

srcObj

trgObj

M3-level• ObjectType →

EClass• ConnectionType

→ EClass with two EReferences

• …

M1-level• ObjectDef →

EClass (M1-level instance)

• ConnectionDef → EClass (M1-level instance)

• …



EClass OT1 EClass OT4EClass OT2 EClass CT0 EClass OT5EClass OT3 EClass OT6


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.

An EReference in Ecore can only point to one EClass.

• Solution: Creation of n x m EClasses

{OT1, OT2, OT3} CT0 {OT4, OT5, OT6}








EPC Syntax Validation

Validation report

ATL

EPC model EPC model

ARIS Eclipse EMF

ArisScript

Aris2EmfModeltransformation

ARIS method filter

EMF metamodel

ArisFilter2Emfmetamodel

transformation


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

}




EPC to BPEL Transformation

EPC model

BPEL model

EPC model

BPEL model

ARIS Eclipse EMF

ArisScriptModel

transformation tools

Aris2EmfModeltransformation

Emf2ArisModeltransformation

ARIS method filter

EMF metamodel

ArisFilter2Emfmetamodel

transformation

conforms to


conforms to








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




Thank you.Questions?

Date post:	18-Dec-2015
Category:	Documents
View:	212 times
Download:	0 times

Department of Computer Science Business Information Systems 1 Model Interchange between ARIS and...

Documents