status report of mfi-4 iso/iec 19763-4

Status Report of MFI-4ISO/IEC 19763-4

SC32/WG2 Jeju Korea

25/06/09

Masaharu Obayashi

WG2 N1282

2

Update of MFI-4

FCD2 Ballot close: 10 July 2009 Ballot will be closed on 10th July

Documents 32N1846T-text_for_ballot-FCD2_1963-4 32N1847-disp_of_comments-FCD_19763-4

3

Discussion Points on FCD (1) CA01: Definition of ‘pattern’ CA04: Definition of ‘M1 Layer, M2 Layer CA05: Abbreviations of ‘MM-M’, ‘M-V’ CA06: Definition of ‘MOF extent’ CA07: Definition of ‘MM Level’, ‘M Level’ and ‘V-Level’ CA08-11: Explanation of arrow symbols GB03: Definition of ‘Computation’ GB05: usage of term ‘model’ GB06: synonyms of term ‘relation’ and ‘relationship’ GB09: Abbreviations (CA05) GB10: Definition of ‘Layer’ (CA04) GB11: "The MFI Model Mapping is shown as a series of UML Class diagrams , …“ GB12: Datatypes of Attribute definition withdrawn GB14: Abbreviations of ‘MM-M’ (CA07) Metamodel-Model Pair, Model-Value Pair GB15:• If this figure is an accurate depiction of the concepts in the standard, it would appear that the concepts are

unlikely to support accurate and realistic mapping between models. There are at least two concerns. • (1) This implies that when mapping models there is always a one-to-one mapping between 'model

instances', whereas in reality mapping is usually many-to-many.• (2) As shown in the Figure it would be possible to mismatch "Model Instances" and "Model Concepts".• These are serious errors that require the complete revision of the body of the document. GB17: Notation of ‘(from MFI-Core) ’ GB18: "The identifier of sets of transformations rules"

4

Discussion Points on FCD (2) GB19: ‘Code’ in Table 1 should not specified in Conceptual Model GB20: set of valid values in Table1, fixed or expand? GB21: ‘Code’ in Table2 (GB19) GB22: Table 2 cell contents are incorrectly justified. GB24: term "ruleDefinition" does not match GB30: ‘Code’ in Table4 (GB19) GB31: set of valid values in Table4, fixed or expand? (GB20) GB34: ‘Code’ in Table5 (GB19) GB35: set of valid values in Table5, fixed or expand? (GB20) GB36: Figure 3 is unclear GB37: Figure 4 is unclear GB38: "name" and "kind" are inherited from the superclass and should not

be redefined here. GB40: ‘Code’ in Table6 (GB19) GB41: set of valid values in Table6, fixed or expand? (GB20) GB42-43: Figure5 and Figure6 is unclear

5

Discussion Points on FCD (3) GB46: It should be made clear how this requirement will be tested. GB48: Annex A is very difficult to read and it is unclear GB49: Annex A: the word “compiler” "Simply stated, a model compiler is a program that reads a

transformation definition written in one formal language - the source model - and translates it into an equivalent model in another metamodel - the target model."

GB50: Annex B is very difficult to read and it is unclear GB51: Annex C is very difficult to read and it is unclear

US02: Is the bold face the correct style for the expansion of the abbreviations?

US03: The words “conforming MOF standards” in the following sentence is ambiguous.

“The MFI Model Mapping registry model is specified using Administered Items as defined in the Metadata Registry (MDR), and conforming Meta Object Facility (MOF) standards.” Do you mean to exclude standards that are not conforming to MOF? Or something else?

6

Discussion Points on FCD (4) ISO01: Documents listed in Clause 2 shall be referenced

"normatively" elsewhere in the document, ISO03: Document incorrectly references itself as "this standard". ISO04: Abbreviated terms are not numbered in International

Standards. Caps not necessary and used inconsistently. ISO05: Clause 2 is the conformance clause in International

Standards.

論理ビューclass

Transformation

kind: type codename: string

Lev elPair Rule

definitionKind: type codelowerRuleType: type codename: stringruleDefinition: URIupperRuleType: type code

MM-M Transformation MM-M Rule

M-V RuleM-V Transformation

Administered Item

ModelConcept

ModelInstances

sourceUpper

1.. *

targetUpper

1.. *

sourceLower

1.. *

targetUpper

1.. *

targetLower

1.. *

sourceUpper

1.. *

m-v-map

1.. *

mm-m-map

1.. *

23/04/21 (c) 2007 Masaharu Obayashi

9

What is Model Mapping?

Framework for Metamodel Interoperability （ MFI ） ISO/IEC DIS 19763-1 Reference model ISO/IEC FCD 19763-2 Core model ISO/IEC DIS 19763-3 Metamodel for ontology registration ISO/IEC CD19763-4 Metamodel for model mapping


10

Objectives This standard is a part of the metamodel framework family

of standards. It is based on inheritance of the core model. Modelling method with using UML is coming into common

use and MDA （ Model Driven Architecture ） promoted by OMG is a new approach that has come from considering the importance of modelling and model transformation technique.

The metamodel framework for model mapping provides a normative metamodel which allows the describing of differences regarding formats and types of objects to be exchanged or shared.

This metamodel framework also provides a capability for describing transformation rules between different objects in term of a meta ModelInstances.


11

Model Transformation The tool based on MOF is useful for specifying and

implementing the transformation rules. Such supporting tools use specialized transformation

description languages. A formal transformation description language is needed to

define complex transformation rule and share transformation among different tools.

For example, OMG MOF QVT (Query, View and Transformation) is a formal transformation language to specify transformation rules precisely and availably.

The model compiler is the function of generating simple codes from a model.

A main important function supporting MDA is a function of transformation between one model and the other model.

Illustrates the basic structure of the MFI for Model Mapping that could be minimal set of metamodel for representing both mapping targets and mapping rules.


12

Terminology on QVT MOF QVT (Query, View and Transformation)a formal transformation language used to specify transformation rules Mappinga mapping is a potentially directed transformation implementation pattern a pattern describes the ’shape' of an object it will be matched against pattern matchinga process whereby parts of a model are matched against a pattern Query a query takes as input a model and selects specific elements from

that model Relation, relationshipa multi-directional transformation specification, relations are not

executable in the sense that they are unable to create or alter a model; they can, however, check two or more models for consistency against one another.

transformationa process of automatic generation of a target model from a source

model according to a transformation definition NOTE Transformation is the umbrella term for relation and mapping. viewa view is a model that is derived from another model


13

Type-Instance

Pattern :

Universe of Discourse

Modeling Constructs

Meta-metamodel

Stereotype :

Template:

MetaModel MetaModel

MetaModel

Modeling Facility

ModelingMethodology

M3

M2

M1

M0

ModelModel

XML SchemaXML Schema

XML InstanceObject

Super-Sub,Base-Variant

Type-Instance

Abstract syntax-Expression

RDFOWL

Common Logic

Topic Map

Mapping UML to RDF

Mapping RDF to OWL

Mapping OWL to CL

Mapping Examples

UML

Mapping Topic Map to OWL


14

MFI-4 Packagepkg ...

MDR-ByMOF

+ Adminstered Item

MFI-Mapping

+ LevelPair Rule

+ Transformation

MFI-Core

+ ModelAssociation

+ ModelAssociationEnd

+ ModelByMOF

+ ModelClassifier

+ ModelComponent

+ ModelComponentSet

+ ModelConcept

+ ModelDomainProfile

+ ModelInstances

+ ModelSelection

+ ModelSign

+ ModelSpecification

MOF-QVT

«use»

«describedBy»

«use»

«use»


15MFI model mapping Metamodel

Transformation

name: stringkind: type code

LevelPair Rule

definitionKind: type codename: stringlowerRuleType: type codeupperRuleType: type coderuleDefinition: URI

MM- M Transformation MM- M Rule

M- V RuleM- V Transformation

Administered Item

ModelConcept

ModelInstances

m=v=map

1..*

mm=m=map

1..*

sourceUpper

1..*

targetLower

1..*

targetUpper

1..*sourceLower

1..*

targetUpper1..*

sourceUpper1..*

pkg MFI-Mappi...

Transformation

- name: string- transformationType: typeCode

Lev elPair Rule

- definitionType: typeCode- lowerRuleType: typeCode- name: string- ruleDefinitionURI: URI- upperRuleType: typeCode

MFI-Core::ModelDomainProfile

MFI-Core::ModelComponentSet

MDR-ByMOF::Adminstered Item

MFI-Core::ModelComponent

MFI-Core::ModelByMOF

MFI-Core::ModelClassifier

targetLower

0..1

sourceLower

1

+targetUpper1

+sourceUpper

1

+levelPairRule

1.. *


16

Kind Code Description

QVT-Relations QVT-1 Defined by the declarative language of MOF QVT.

QVT-Core QVT-2 Defined by the pattern matching language of MOF QVT.

QVT-Operational QVT-3 Defined by the mechanism of invoking the operational mapping of MOF

QVT.

QVT-Black-box QVT-4 Defined by non-standard Black-box MOF operation implement.

CWM CWM Defined by transformation framework of CWM.

XSLT XSLT Defined by the XSL transformation language XSLT.

Kind of Transformation


17

Source model Target model Type Code

Element Instance Element Instance

Function

Relationship REL Should be

specified

Pattern of Class /

Associaiton

Should be

specified

Pattern of Class

/ Association

Constraint

Mapping MAP Should be

specified

Pattern of Class /

Association and

Object

Generated

from source

Pattern of Class

/ Association

and Object

Constraint/

Derivation

Computation COM Specified at

execution

time

Object (Value) Generated

from source

Object (Value) Derivation

Translation Rule Type


18

Metamodel:

MM1

Model:

M1

Metamodel:

MM2

Model:

M2

MM-Level Rule

(Relationship)

Value:

V1

Value:

V2

M-Level Rule

(Mapping)

V-Level Rule

(N/A)

Projection Type I Compilation

uppermodel

source

uppermodel

uppermodel

source target

source target

uppermodel

target

CP1

MM-M-Transformation

ModelConcept ModelConcept

ModelComponentSet ModelComponentSet

MM-M Transformation Kind (1)


19MM-M Transformation Kind (2)

Metamodel:

MM1

Model:

M1

Metamodel:

MM2

Model:

M2

MM-Level Rule

(Relationship)

Value:

V1

Value:

V2

M-Level Rule

(Relationship)

V-Level Rule

(N/A)

Projection Type II

uppermodel

source

uppermodel

uppermodel

source target

source target

uppermodel

target

P2

MM-M-Transformation

Metamorphose

M




20

Metamodel:

MM1

Model:

M1

Metamodel:

MM2

Model:

M2

MM-Level Rule

(Relationship)

Value:

V1

Value:

V2

M-Level Rule

(Mapping)

V-Level Rule

(N/A)


uppermodel

source

uppermodel

uppermodel

source target

source target

uppermodel

target

CP1

MM-M-Transformation



Transformation Kind (1) Example

UML OWL

Mapping UML to OWL


21

Metamodel:

MM1

Model:

M1

Metamodel:

MM2

Model:

M2

MM-Level Rule

(N/A)

Value:

V1

Value:

V2

M-Level Rule

(Mapping)

V-Level Rule

(Computation)


uppermodel

source

uppermodel

uppermodel

source target

source target

uppermodel

target

CP1

M-V-Transformation



M-V Transformation Kind (1)


22

M-V Transformation Kind (2)

Metamodel:

MM1

Model:

M1

Metamodel:

MM2

Model:

M2

MM-Level Rule

(N/A)

Value:

V1

Value:

V2

M-Level Rule

(Relationship)

V-Level Rule

(Computation)

Projection Type II

uppermodel

source

uppermodel

uppermodel

source target

source target

uppermodel

target

P2

M-V-Transformation

Metamorphose

M




23

Transformation on HL7 (1)

Instance of

ActAct

Role

Role1-1

Act1-1

MM2:RIMMM1:RIM

M2:RMIM

ModelInstances

Source ModelConcept Target ModelConcept

Relationship

Projection II

Role MM2:DMIM

Instance of

Act1-1M1:DMIM

ModelInstances

RelationshipRole1


24

Transformation on HL7 (2)

Instance ofInstance of

ActAct

Role

Act2

Act1

Role1-1

Act1-1

MM3:RIM

M3:HMD

ModelInstances

MM2:RIM

M2:RMIM

ModelInstances


Relationship

Compilation

Role

Role1Mapping

MM3:HDF

MM2:DMIM MM3:RMIM


25Transformation on ebXML (2)

Instance of

Actcc2

cc1

Abie1

Bbie1

MM2:CCLibMM1:CCLib

M2:BBIE/ABIE

ModelInstances


Relationship

Transfer

Role MM2:BCC/ACC

Instance of

Bcc1M1:BCC/

ACC

ModelInstances

Acc1Relationship


26Transformation on ebXML (1)


Cc1Cc1

Cc2

Bbie2

Bbie1

Abie1

Bbie1

MM3:CCLib

M3:BPM

ModelInstances

MM2:CCLib

M2:BBIE/ABIE

ModelInstances


Relationship

Transfer

Cc2

Abie1

MM3:UMM

MM2:BCC/ACC

MM3:BBIE/ABIE

Relationship


27

Transformation on MDA

MMpim

pim1

MMpsm

psm1

MMcode

code

P1/P2 C

MDA (PIM to PSM)

(pim1) (psm1)

MMpim

pim1

MMpim

psm2

MMcode

code

P1/P2 C

MDA (PIM to PIM)

(pim1) (psm2)


28

Transformation on CWM (1)

Instance of Instance of

table1 table3

table4

value2

value1

value4

value3

M1:SQL

V1

M2:SQL

V2

Source ModelInstances Target ModelInstances

Computation

Projection I

Mappingtable2


29

Transformation on XSLT


element1 element3

element4

value2

value1

value4

value3

M1:XML

V1

Target ModelInstances

M2:XML

V2

Source ModelInstances

Computation

Compilation

Mappingelement2

Sample models (UML version)

class model-A

DEPOT

SUB-DEPOT

SUPPLY UNIT

UNIT

+supporter of 0..1

+supported by 1.. *

+supporter of 0..1

+supported by 1.. *

+supporter of 0..1

+supported by 1.. *

class model-B

::UNIT

::SUPPLY UNIT ::OT HER UNIT

+supporter of 0..1

+supported by

1.. *

class model-C

::UNIT TYPE

::UNIT

::UNIT TYPE UNIT TYPE

ASSOCIATION

::UNIT UNIT ASSOCIATION

+description of 1

+described by 1.. *

+from

0..*

+subject of

+to

0..*

+object of

+from

0..*

+subject of

+to

0..*

+object of

(original from Keith of UK)

Component with Classifier

class model-A

DEPOT

SUB-DEPOT

SUPPLY UNIT

UNIT

+supporter of 0..1

+supported by 1.. *

+supporter of 0..1

+supported by 1.. *

+supporter of 0..1

+supported by 1.. *

class model-B

::UNIT


+supporter of 0..1

+supported by

1.. *

class model-C

::UNIT TYPE

::UNIT


ASSOCIATION


+description of 1

+described by 1.. *

+from

0..*

+subject of

+to

0..*

+object of

+from

0..*

+subject of

+to

0..*

+object of

B::UNIT

A::DEPOT

C::UNIT TYPE

C::UNIT TYPE

C::UNIT

B::UNIT

B::SUPPLY UNIT

B::OTHER UNITA::DEPOT

A::SUB DEPOT

A::SUPPLY UNIT

A::UNIT

Domain Profile

class model-A

DEPOT

SUB-DEPOT

SUPPLY UNIT

UNIT

+supporter of 0..1

+supported by 1.. *

+supporter of 0..1

+supported by 1.. *

+supporter of 0..1

+supported by 1.. *

class model-B

::UNIT


+supporter of 0..1

+supported by

1.. *

class model-C

::UNIT TYPE

::UNIT


ASSOCIATION


+description of 1

+described by 1.. *

+from

0..*

+subject of

+to

0..*

+object of

+from

0..*

+subject of

+to

0..*

+object of

A::DEPOT

A::SUB DEPOT

A::SUPPLY UNIT

A::UNIT

B::UNIT

B::SUPPLY UNIT

B::OTHER UNIT

C::UNIT TYPE

C::UNIT

A::DEPOT

B::UNIT

C::UNIT TYPE

Domain Profile::UNIT MODELDomain Profile::UNIT MODEL

Sign-Concept-Component Setand Selection

class model-A

DEPOT

SUB-DEPOT

SUPPLY UNIT

UNIT

+supporter of 0..1

+supported by 1.. *

+supporter of 0..1

+supported by 1.. *

+supporter of 0..1

+supported by 1.. *

class model-B

::UNIT


+supporter of 0..1

+supported by

1.. *

class model-C

::UNIT TYPE

::UNIT


ASSOCIATION


+description of 1

+described by 1.. *

+from

0..*

+subject of

+to

0..*

+object of

+from

0..*

+subject of

+to

0..*

+object of

A::DEPOT

A::SUB DEPOT

A::SUPPLY UNIT

A::UNIT

B::UNIT

B::SUPPLY UNIT

B::OTHER UNIT

C::UNIT TYPE

C::UNIT

A::DEPOT

B::UNIT

C::UNIT TYPE


Concept::UNITConcept::UNIT

Component Set:: UNIT MODEL

Sign::unitSign::unit

Sign::depotSign::depot

Sign::sub depotSign::sub depot

Sign::supply unitSign::supply unit

Selection::UNITSelection::UNITSelection::UNITSelection::UNIT


Conceptualization by Abstract Syntax-

Expression

class model-A

DEPOT

SUB-DEPOT

SUPPLY UNIT

UNIT

+supporter of 0..1

+supported by 1.. *

+supporter of 0..1

+supported by 1.. *

+supporter of 0..1

+supported by 1.. *

class model-B

::UNIT


+supporter of 0..1

+supported by

1.. *

class model-C

::UNIT TYPE

::UNIT


ASSOCIATION


+description of 1

+described by 1.. *

+from

0..*

+subject of

+to

0..*

+object of

+from

0..*

+subject of

+to

0..*

+object of

A::DEPOT

A::SUB DEPOT

A::SUPPLY UNIT

A::UNIT

B::UNIT

B::SUPPLY UNIT

B::OTHER UNIT

C::UNIT TYPE

C::UNIT

A::DEPOT

B::UNIT

C::UNIT TYPE










Model Mapping

class model-A

DEPOT

SUB-DEPOT

SUPPLY UNIT

UNIT

+supporter of 0..1

+supported by 1.. *

+supporter of 0..1

+supported by 1.. *

+supporter of 0..1

+supported by 1.. *

class model-B

::UNIT


+supporter of 0..1

+supported by

1.. *

class model-C

::UNIT TYPE

::UNIT


ASSOCIATION


+description of 1

+described by 1.. *

+from

0..*

+subject of

+to

0..*

+object of

+from

0..*

+subject of

+to

0..*

+object of

A::DEPOT

A::SUB DEPOT

A::SUPPLY UNIT

A::UNIT

B::UNIT

B::SUPPLY UNIT

B::OTHER UNIT

C::UNIT TYPE

C::UNIT

A::DEPOT

B::UNIT

C::UNIT TYPE

Domain Profile::UNIT MODEL

Domain Profile::UNIT MODEL







Selection::UNITSelection::UNIT Selection::UNI

TSelection::UNIT Selection::UNI

TSelection::UNIT Selection::UNI

TSelection::UNIT

MM-Level

M-Level

ModelDomainProfile

ModelDomainProfile

Model Component Set

Model Component Set

Model Component

Model Classifier

Model Classifier

ModelByMOFModelByMOF

Model Component

Model Classifier

Model Classifier


ModelDomainProfile

ModelDomainProfile

ModelInstances

ModelConcept

ModelConcept

ModelInstances

Model Component Set

Model Component Set

Model Component

Model Classifier

Model Classifier


Model Component

Model Classifier

Model Classifier


valuevalue value

value

Metamodel Level Rule

Model Level Rule

Relationship

MappingSource Target

ModelDomainProfile

ModelComponentSet

ModelDomainProfile

ModelComponentSet

Projection II

Relationship

Relationship

Act

Role

Source ModelComponent

Target ModelComponent



Role

Act

RIM RIM

DMIM

RMIMAct1

Role1

Act2

Role2

ModelDomainProfile

ModelComponentSet

ModelDomainProfile

ModelComponentSet

Compilation

RelationshipAct

Role





Role

Act

RIM RIM

HMDRMIM

Act3

Role3

Act2

Role2

DMIM

HDF

RMIM

Mapping

ModelDomainProfile

ModelComponentSet

ModelDomainProfile

ModelComponentSet

Transfer

Relationship

Relationship

cc1

cc2



Source ModelComponent Target

ModelComponent

CC3

CC4

CCLib CCLib

BCC/ACC

BBIE/ABIE

Acc1

Bcc1

Abie1

Bbie1

BCC/ACC

ModelDomainProfile

ModelComponentSet

ModelDomainProfile

ModelComponentSet

Transfer

RelationshipCc1

Cc2





Cc2

Cc1

CCLib CCLib

BPMBBIE/ABIE

Abie1

Bbie1

Abie1

Bbie1

BCC/ACC

UMM

BBIE/ABIE

Relationship


ModelComponentSet

Model

ComponentSet

Projection I

table2

table1





table3

table4

SQL SQL

Value1

Value2value1

value2

value4

value3

Compilation

Computation

Mapping


ModelDomainProfile

ModelComponentSet

ModelDomainProfile

ModelComponentSet

Transfer

Relationship

Relationship

MetaClass1





CWM CWM

ER

SQLtable2

table1

table4

table3

MetaClass3

MetaClass2


ModelComponentSet

ModelComponentSet

Compilation

element2

element1



element3

element4

XML XML

Value1

Value2value1

value2

value4

value3

Computation

Mapping


status report of mfi-4 iso/iec 19763-4

Documents

model concepts

model instances

model compiler

source model

target model

equivalent model

modelvalue pairgb15

conceptual model gb20