Enabling OMG Model Driven Architecture for ISO EXPRESSbased implementation

1
Enabling OMG Model Driven Architecture for ISO
EXPRESS-based implementation

• David Price, Ed Barkmeyer, Peter Denno, Uwe
  Kaufmann
• 8th NASA/ESA PDE Workshop
• April 2006

2
Agenda

• Previous EXPRESS/UML harmonization activities
• MOF of EXPRESS
• MEXICO

3
ISO STEP EXPRESS-gtUML

• ISO 10303-25 Edition 1 standardized an
  EXPRESS-to-UML 1.5 mapping
• supported UML tooling use by implementations
• Treated UML as an abstraction of a programming
  language, not as another information modeling
  language
• Plan was to create enable EXPRESS modelling using
  UML tools by defining a UML Profile of EXPRESS
  in Part 25 Edition 2
• New OMG standards have emerged
• UML 2 and MOF 2
• Model Driven Architecture
• Ontology Definition Metamodel
• Plans have changed

4
Per Part 25, UML meta-model and XMI
Via UML tools
5
Part 25 Implementation
OMG Standard Model ltXMIgt ltUMLClass
nameHospitalgt lt/UMLClassgt ltUMLClass
namePatientgt lt/UMLClassgt lt/XMIgt
UML-based modeling tool
Automatically generated API
Relational database - people in hospital
6
Some OMG background

• OMG MOF is Meta-Object Facility
• A model for describing modeling languages
• There is a MOF model of UML
• A set of APIs for a repository of models
• OMG MDA is Model Driven Architecture
• Very similar to STEP ARM/Mapping/AIM ideas
• Everything depends on there being a MOF model of
  the languages being used
• OMG QVT is QueryViewTransform
• OMG standard mapping language
• roughly equivalent to STEP mapping tables and/or
  EXPRESS-X

7
Some OMG background (2)

• In-process OMG Ontology Definition Metamodel
• MOF model and mapping between
• OWL
• RDF Schema
• ISO 24707 Common Logic
• Topic Maps
• Wed like EXPRESS to be included in these
  scenarios

8
MOF of EXPRESS

• Ed Barkmeyers presentation
• Peter Dennos implementation Web site undergoing
  NIST approval now

9
What MOF of EXPRESS provides

• Rigorous model of the EXPRESS language
• E.g. SDAI Dictionary Model did not cover
  everything in EXPRESS (and SDAI is still EXPRESS
  Edition 1)
• MOF is a repository/metadata access standard so
  we get an OMG-based equivalent of SDAI for
  EXPRESS schema access
• Enables use of MOF-related standards like XMI,
  MOF Versioning, etc.

10
A glimpse at the model

• The next few slides provide a view into the model
• The model includes the schema and its population
• The model goes into great detail on things like
  name scope
• It is a semantic model of EXPRESS, and
  therefore is not very efficient
• If it proves too inefficient for practical use,
  then well have to simplify it
• The main credit goes to Ed Barkmeyer from NIST
  whos done the modeling

11
Packages
12
Instantiable Types
13
Operations
14
Operators
ltlt
enumeration
gtgt
BinaryOperator

Add

int

Subtract

int

Multiply

int

IN

int

Divide

int

ValueIn

int

DIV

int

LIKE

int

MOD

int

Exponent

int

AND

int

Subset

int

OR

int

Intersection

int

XOR

int

SetUnion

int

Equal

int

BagUnion

int

NotEqual

int

BagDifference

int

Greater

int

ListAppend

int

NotGreater

int

ListAddFirst

int

Less

int

ListAddLast

int

NotLess

int

BagAdd

int

InstanceEqual

int

BagRemove

int

InstanceNotEqual

int

SetAdd

int

EntityValueEqual

int

StringAppend

int

EntityValueNotEqual

int

BinaryAppend

int

EntityConstructor

int

NVL

int
15
Entity Values
16
Testing the Transform Languages

• MEXICO presentation

17
Example Transform Entity2Class

• ATL Transformation EXPRESS Entity to UML Class

18
Conclusions

• There will soon be an OMG standard MOF model of
  the EXPRESS language
• Then, there will be OMG standard mappings between
  EXPRESS, UML, OWL, RDF Schema, etc.
• The OMG Model Driven Architecture and related
  tools such as QVT will be available for
  implementation
• Two main results
• Definition of EXPRESS in widespread technology
• Ability to migrate legacy EXPRESS/STEP into MDA
  environment