Eclipse OCL Summary

Eclipse OCL Summary Edward Willink Eclipse (MDT) OCL Project Lead, Eclipse (M2M) QVTd Project Lead Thales representive to OMG OCL RTF, Thales representive to OMG QVT RTF Modeling Symposium BoF 3rd November 2011

MDT/OCL Project context Ecore Modeling Services in Java UML Modeling Services in Java Ecore, UML Execution Services in Java

Executing/Using OCL
Use the Java API
Use the Java debugger
OCL console
Use OCL in a model ??
embed OCL text as XML CDATA
embed OCL text as EAnnotations
custom OCL genmodel templates
embed OCL text as EAnnotations
standard templates and EMF delegates (Helios)

OCLinEcore editor
Xtext-based, full Ecore coverage
Embedded OCL, validation messages

Extended behaviour/OCL execution @Generated NOT manual Java (pre-Helios) EMF Delegates support EAnnotations (Helios) Direct OCL 2 Java (Juno) genmodel run run parse interpret genmodel run call genmodel run

Behind the Scenes : Problems OMG OCL specification has significant issues
manual editing => ambiguities, inconsistencies
main behaviours obvious
corner cases problematic
no real consideration of UML @ runtime
profiles, merging, serialization, polymorphism
Eclipse OCL Ecore/UML2 bindings have problems
direct extension of Ecore.ecore / UML.ecore
accuracy / extensibility

Behind the Scenes : Solutions New Eclipse OCL Pivot binding solution
pre-compliant OMG prototype
concrete syntax 'unchanged'
external API similarity
Shared models
Acceleo auto-generation of specification
consistent, complete
Acceleo/genmodel auto-generation of tooling
useable, correct, extensible
Re-useable for OCL-defined languages => QVT

Juno Xtext and Pivot Architecture Develop-time: Java code from Xtext editor Run-time: Fast Java execution Pivot Library Feature Bodies Dispatch Tables Dispatch Runtime Ecore BodyCalls genmodel Acceleo Acceleo Acceleo CSG 2 ASG Editor Parser Xtext Acceleo Acceleo ASG Visitors CSG Visitors Acceleo genmodel genmodel OCLstdlib editor OCLinEcore editor Xtext editor CompleteOCL editor Acceleo genmodel OCL Xtext Console Pivot Runtime

OCL evaluation performance Release Compile-time (genmodel) First Run-time Every Run-time Run-time support Helios Text copy OCL parsing Slow Visitor Interpreter Unmodelled library Indigo Text copy OCL parsing Faster Visitor Interpreter Modelled library Faster library Juno OCL parsing Java Body generation Dispatch Table generation Java JIT Fast Inline Polymorphic Dispatcher Modelled library Faster library Polymorphic values

OCL and Xbase OCL - executable model-oriented specification language
Integer has unlimited range, 4.0 is equal to 4
anObject.oclType().name = 'Class'
side effect free => analyzable (Impact Analyzer)
many small projects
Xbase - pragmatic Java-like implementation language
java.lang.Integer, 4.0 not usually equal to 4
anObject.eClass().name == "EClass"
side effecting => limited analysis
coherent support from itemis
Both almost useless till embedded in some context

OCLinEcore and Xcore
Textual Ecore
find / replace / search editing
full text
Ecore compliance Operation/Property bodies XMI 100% whatever KM3 80% no Emfatic 95% no Xcore 95% + Xbase + genmodel interpreted Xbase (Juno) Xbase2Java (Juno) OCLinEcore >99% + OCL (+ some UML) interpreted OCL (Helios) OCL2Java (Juno)

Summary Eclipse OCL was
a Java-based model
executed by run-time parsing and interpretation
Eclipse OCL is (in Helios and Indigo)
an integrated editable, interpretable language
Xtext OCLinEcore hides the EAnnotation details
Eclipse OCL will be (Juno M3)
executed by genmodelled direct Java code
sharing models with OCL specification

Obect Control Language
OMG specification - OCL 2.x split off from UML 1.x
generic UML-independent constraint expressions
foundation for many other modelling specifications
e.g MOFM2T (Acceleo)
direct navigation
compact iterations/loops
embedded anonymous functions

Ecore OCL Architecture Develop-time: EAnnotation from Text editor Run-time: OCL parsed by old LPG tooling Ecore Library CS 2 AS Parser LPG ASG CST genmodel genmodel Sample Ecore editor Text editor OCL Console Ecore Runtime Ecore genmodel CDATA CS actions EMF Delegate EAnnotations EAnnotations + templates

Helios Xtext Architecture Develop-time: EAnnotation from Xtext editor Run-time: OCL parsed by old LPG tooling Editor Parser Xtext CSG genmodel OCLstdlib editor OCLinEcore editor Xtext editor CompleteOCL editor Ecore genmodel

Indigo Xtext and Pivot Architecture Develop-time: EAnnotation from Xtext editor Run-time: OCL re-parsed by Xtext tooling Pivot Library Ecore CSG 2 ASG Editor Parser Xtext Acceleo Acceleo ASG Visitors CSG Visitors Acceleo genmodel genmodel OCLstdlib editor OCLinEcore editor Xtext editor CompleteOCL editor OCL Xtext Console Pivot Runtime genmodel

OCL Resources
OCL 2.2 Specification http://www.omg.org/spec/OCL/2.2
Clause 7 is quite readable (many typos)
The Object Constraint Language: Getting Your Models Ready For MDA Jos B. Warmer, Anneke Kleppe
Eclipse MDT/OCL project http://www.eclipse.org/projects/project_summary.php?projectid=modeling.mdt.ocl

Project History Pre-Helios IBM contribution Christian Damus Helios OCL delegates Xtext editors OCLinEcore Essential OCL Complete OCL syntactic validation Indigo Pivot model Impact Analyzer Library model Xtext OCL Console re-use in Papyrus re-use in Xtext Accurate evaluation Faster evaluation semantic validation Juno OCL2Java promotion from examples re-use for QVTd Fast evaluation model-defined model validation

Essential OCL embedding
Interactive Xtext OCL Console
supports interactive practice of OCL expressions
re-uses Xtext editor
eliminates need for intuitive assistant
Papyrus Class Diagram Constraint editor
embedded Xtext Essential OCL editor
pop-up to augment UML model

Eclipse OCL Summary

by EdWillink on Nov 04, 2011

Accessibility

Categories

Tags

Upload Details

Usage Rights

Statistics

Eclipse OCL Summary — Presentation Transcript