Aligning OCL and UML

•Télécharger en tant que ODP, PDF•

1 j'aime•861 vues

Edward Willink

Technologie Formation

UML and OCL integration UML Meta-Model EMOF / Ecore Meta-Model UML Model EMOF / Ecore Model UML Edit Export conforms to conforms to UML Model UML Model OCL for EMOF Model OCL Edit Export OCL for UML Model OCL Meta-Model conforms to conforms to OpaqueExpression ExpressionInOcl generalises ExpressionInOcl ???

Complete OCL 2.3 Property Definition context MyClass def: upperCaseName : String = name.toUpper() No Property <def>

XMI Serialization ,[object Object],[object Object],[object Object]

New Complete OCL Property Definition ,[object Object]

New Multiple Models Problem ,[object Object]

P::X::z defined by a Complete OCL document ,[object Object]

What is the value of P::X.ownedAttribute?

Multiple Models Solution ,[object Object]

Meta-Model Problems to solve ,[object Object]

Iteration ,[object Object],[object Object]

templates ,[object Object],[object Object],[object Object],[object Object]

Selected OCL contributions for tailored OCL

Vendor contributions support practical tooling

Merge gives single uniform package ,[object Object]

2 snapshots necessary for @pre, not @pre ,[object Object]

Contenu connexe

Tendances

A Brief Conceptual Introduction to Functional Java 8 and its APIJörn Guy Süß JGS

Eclipse and Java 8 - Eclipse Day India 2013Noopur Gupta

Developing a new Epsilon Language through Grammar Extension: The Epsilon Dem...Dimitris Kolovos

Prospector Osq 2004 Finalkurniawan.kuga

SiriusCon 2015 - Breathe Life into Your Designer!melbats

Automatic Migration of Legacy Java Method Implementations to InterfacesRaffi Khatchadourian

Developing a new Epsilon Language through Annotations: TestLangAntonio García-Domínguez

EclipseCon France 2016 - Sirius 4.0: Let me Sirius that for you!melbats

Java 8 - An OverviewIndrajit Das

Introduction To Functional Programmingnewmedio

Eclipse Tips & Tricks - EclipseCon North America 2014Noopur Gupta

Pure functions and usage in AngularMA Jiangfan

Functional Programming in PythonHaim Michael

Chapter 11 FunctionDeepak Singh

Functional programming in scalaStratio

Scilab optimization workshop Scilab

Eclipse Modeling Framework (EMF) and Graphical Modeling Framework (GMF)Dimitris Kolovos

Java.util.concurrent.concurrent hashmapSrinivasan Raghvan

Swift, a quick overviewJulian Król

Functional JavaScript FundamentalsSrdjan Strbanovic

Tendances (20)

A Brief Conceptual Introduction to Functional Java 8 and its API

Eclipse and Java 8 - Eclipse Day India 2013

Developing a new Epsilon Language through Grammar Extension: The Epsilon Dem...

Prospector Osq 2004 Final

SiriusCon 2015 - Breathe Life into Your Designer!

Automatic Migration of Legacy Java Method Implementations to Interfaces

Developing a new Epsilon Language through Annotations: TestLang

EclipseCon France 2016 - Sirius 4.0: Let me Sirius that for you!

Java 8 - An Overview

Introduction To Functional Programming

Eclipse Tips & Tricks - EclipseCon North America 2014

Pure functions and usage in Angular

Functional Programming in Python

Chapter 11 Function

Functional programming in scala

Scilab optimization workshop

Eclipse Modeling Framework (EMF) and Graphical Modeling Framework (GMF)

Java.util.concurrent.concurrent hashmap

Swift, a quick overview

Functional JavaScript Fundamentals

En vedette

OCL 2.5 plansEdward Willink

Ressource numérique Circuit électrique au primaire Erradi Mohamed

misISIG

VbisigkISIG

Model Transformation: A survey of the state of the artTom Mens

Timing verification of automotive communication architecture using quantile ...RealTime-at-Work (RTaW)

MixAallouche Fouad

Local Optimizations in Eclipse QVTc and QVTr using the Micro-Mapping Model of...Edward Willink

Cvlmeriem sari

Java vs .NetKorteby Farouk

What fUML can bring to MBSE?RealTime-at-Work (RTaW)

Developpement mobile vs open sourceKorteby Farouk

Optimized declarative transformation First Eclipse QVTc resultsEdward Willink

erocci - a scalable model-driven API framework, OW2con'16, Paris. OCCIware

The Importance of OppositesEdward Willink

Model Transformation A Personal PerspectiveEdward Willink

Be serious with sirius your journey from first experimentation to large deplo...Etienne Juliot

01072013 e governancebharati k

OCCIwareOCCIware

Modeling the OCL Standard LibraryEdward Willink

En vedette (20)

OCL 2.5 plans

Ressource numérique Circuit électrique au primaire

mis

Vbisigk

Model Transformation: A survey of the state of the art

Timing verification of automotive communication architecture using quantile ...

Mix

Local Optimizations in Eclipse QVTc and QVTr using the Micro-Mapping Model of...

Cvl

Java vs .Net

What fUML can bring to MBSE?

Developpement mobile vs open source

Optimized declarative transformation First Eclipse QVTc results

erocci - a scalable model-driven API framework, OW2con'16, Paris.

The Importance of Opposites

Model Transformation A Personal Perspective

Be serious with sirius your journey from first experimentation to large deplo...

01072013 e governance

OCCIware

Modeling the OCL Standard Library

Similaire à Aligning OCL and UML

OCL in EMFAshwani Sharma

M05 MetamodelDang Tuan

Eclipse OCL SummaryEdward Willink

A Recommender System for Refining Ekeko/X TransformationCoen De Roover

OCL 2019 Keynote Retrospective and ProspectiveEdward Willink

Enrich Your Models With OCLEdward Willink

Fast, Faster and Super-Fast QueriesEdward Willink

Formally Defining and Iterating Infinite Models (MODELS 2012)Benoit Combemale

OclRajesh Kumar

Commutative Short Circuit OperatorsEdward Willink

O caml2014 leroy-slidesOCaml

ITU - MDD - EMFTonny Madsen

What is the deal with Elixir?George Coffey

A Survey of Concurrency ConstructsTed Leung

Eclipse World 2007: Fundamentals of the Eclipse Modeling FrameworkDave Steinberg

UML01ClarkTony

Clojure beasts-euroclj-2014Renzo Borgatti

Towards Improving Interface Modularity in Legacy Java Software Through Automa...New York City College of Technology Computer Systems Technology Colloquium

EclipseCon 2006: Introduction to the Eclipse Modeling FrameworkDave Steinberg

EGL Conference 2011 - EGL OpenWill Smythe

Similaire à Aligning OCL and UML (20)

OCL in EMF

M05 Metamodel

Eclipse OCL Summary

A Recommender System for Refining Ekeko/X Transformation

OCL 2019 Keynote Retrospective and Prospective

Enrich Your Models With OCL

Fast, Faster and Super-Fast Queries

Formally Defining and Iterating Infinite Models (MODELS 2012)

Ocl

Commutative Short Circuit Operators

O caml2014 leroy-slides

ITU - MDD - EMF

What is the deal with Elixir?

A Survey of Concurrency Constructs

Eclipse World 2007: Fundamentals of the Eclipse Modeling Framework

UML01

Clojure beasts-euroclj-2014

Towards Improving Interface Modularity in Legacy Java Software Through Automa...

EclipseCon 2006: Introduction to the Eclipse Modeling Framework

EGL Conference 2011 - EGL Open

Plus de Edward Willink

An OCL Map TypeEdward Willink

OCL Visualization A Reality CheckEdward Willink

A text model - Use your favourite M2M for M2TEdward Willink

Shadow ObjectsEdward Willink

Deterministic Lazy Mutable OCL CollectionsEdward Willink

The Micromapping Model of ComputationEdward Willink

OCL Specification StatusEdward Willink

QVT Traceability: What does it really mean?Edward Willink

Yet Another Three QVT LanguagesEdward Willink

OCL - The Bigger PictureEdward Willink

UMLX and QVT and ATLEdward Willink

Re-engineering Eclipse MDT/OCL for XtextEdward Willink

Enriching Your Models with OCLEdward Willink

Plus de Edward Willink (13)

An OCL Map Type

OCL Visualization A Reality Check

A text model - Use your favourite M2M for M2T

Shadow Objects

Deterministic Lazy Mutable OCL Collections

The Micromapping Model of Computation

OCL Specification Status

QVT Traceability: What does it really mean?

Yet Another Three QVT Languages

OCL - The Bigger Picture

UMLX and QVT and ATL

Re-engineering Eclipse MDT/OCL for Xtext

Enriching Your Models with OCL

Dernier

Take control of your SAP testing with UiPath Test SuiteDianaGray10

Moving Beyond Passwords: FIDO Paris Seminar.pdfLoriGlavin3

DSPy a system for AI to Write Prompts and Do Fine TuningLars Bell

The Role of FIDO in a Cyber Secure Netherlands: FIDO Paris Seminar.pptxLoriGlavin3

DevEX - reference for building teams, processes, and platformsSergiu Bodiu

Rise of the Machines: Known As Drones...Rick Flair

Anypoint Exchange: It’s Not Just a Repo!Manik S Magar

Developer Data Modeling Mistakes: From Postgres to NoSQLScyllaDB

Generative AI for Technical Writer or Information DevelopersRaghuram Pandurangan

unit 4 immunoblotting technique complete.pptxBkGupta21

DevoxxFR 2024 Reproducible Builds with Apache MavenHervé Boutemy

Time Series Foundation Models - current state and future directionsNathaniel Shimoni

Dev Dives: Streamline document processing with UiPath Studio WebUiPathCommunity

"ML in Production",Oleksandr BaganFwdays

What's New in Teams Calling, Meetings and Devices March 2024Stephanie Beckett

From Family Reminiscence to Scholarly Archive .Alan Dix

"Subclassing and Composition – A Pythonic Tour of Trade-Offs", Hynek SchlawackFwdays

The Ultimate Guide to Choosing WordPress Pros and ConsPixlogix Infotech

New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024BookNet Canada

What is DBT - The Ultimate Data Build Tool.pdfMounikaPolabathina

Dernier (20)

Take control of your SAP testing with UiPath Test Suite

Moving Beyond Passwords: FIDO Paris Seminar.pdf

DSPy a system for AI to Write Prompts and Do Fine Tuning

The Role of FIDO in a Cyber Secure Netherlands: FIDO Paris Seminar.pptx

DevEX - reference for building teams, processes, and platforms

Rise of the Machines: Known As Drones...

Anypoint Exchange: It’s Not Just a Repo!

Developer Data Modeling Mistakes: From Postgres to NoSQL

Generative AI for Technical Writer or Information Developers

unit 4 immunoblotting technique complete.pptx

DevoxxFR 2024 Reproducible Builds with Apache Maven

Time Series Foundation Models - current state and future directions

Dev Dives: Streamline document processing with UiPath Studio Web

"ML in Production",Oleksandr Bagan

What's New in Teams Calling, Meetings and Devices March 2024

From Family Reminiscence to Scholarly Archive .

"Subclassing and Composition – A Pythonic Tour of Trade-Offs", Hynek Schlawack

The Ultimate Guide to Choosing WordPress Pros and Cons

New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024

What is DBT - The Ultimate Data Build Tool.pdf

Aligning OCL and UML

1. Aligning OCL and UML Edward Willink Eclipse OCL Project Lead, Eclipse QVTd Project Lead, Thales OMG OCL RTF Representative, Thales OMG QVT RTF Representative OCL 2011 @ TOOLS 2011 29th June 2011

3. UML and OCL integration UML Meta-Model EMOF / Ecore Meta-Model UML Model EMOF / Ecore Model UML Edit Export conforms to conforms to UML Model UML Model OCL for EMOF Model OCL Edit Export OCL for UML Model OCL Meta-Model conforms to conforms to OpaqueExpression ExpressionInOcl generalises ExpressionInOcl ???

4. Complete OCL 2.3 Property Definition context MyClass def: upperCaseName : String = name.toUpper() No Property <def>

9. What is the value of P::X.ownedAttribute?

10.

11.

12.

13.

14. multiple models, URIs

15.

16. Selected OCL contributions for tailored OCL

17. Vendor contributions support practical tooling

18.

19.