Aligning OCL and UML

•Als ODP, PDF herunterladen•

1 gefällt mir•861 views

Edward Willink

Technologie Bildung

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]

Weitere ähnliche Inhalte

Was ist angesagt?

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

Was ist angesagt? (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

Andere mochten auch

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

Andere mochten auch (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

Ähnlich wie 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

Ähnlich wie 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

Mehr von 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

Mehr von 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

Kürzlich hochgeladen

TrustArc Webinar - Unlock the Power of AI-Driven Data DiscoveryTrustArc

Strategize a Smooth Tenant-to-tenant Migration and Copilot Takeoffsammart93

Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...apidays

2024: Domino Containers - The Next Step. News from the Domino Container commu...Martijn de Jong

Artificial Intelligence Chap.5 : UncertaintyKhushali Kathiriya

+971581248768>> SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHA...?#DUbAI#??##{{(☎️+971_581248768%)**%*]'#abortion pills for sale in dubai@

Why Teams call analytics are critical to your entire businesspanagenda

Apidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, Adobeapidays

Apidays New York 2024 - APIs in 2030: The Risk of Technological Sleepwalk by ...apidays

Cyberprint. Dark Pink Apt Group [EN].pdfOverkill Security

Exploring the Future Potential of AI-Enabled Smartphone Processorsdebabhi2

presentation ICT roal in 21st century educationjfdjdjcjdnsjd

ICT role in 21st century education and its challengesrafiqahmad00786416

"I see eyes in my soup": How Delivery Hero implemented the safety system for ...Zilliz

Modular Monolith - a Practical Alternative to Microservices @ Devoxx UK 2024Victor Rentea

Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...Jeffrey Haguewood

Corporate and higher education May webinar.pptxRustici Software

Rising Above_ Dubai Floods and the Fortitude of Dubai International Airport.pdfOrbitshub

Navigating the Deluge_ Dubai Floods and the Resilience of Dubai International...Orbitshub

[BuildWithAI] Introduction to Gemini.pdfSandro Moreira

Kürzlich hochgeladen (20)

TrustArc Webinar - Unlock the Power of AI-Driven Data Discovery

Strategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff

Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...

2024: Domino Containers - The Next Step. News from the Domino Container commu...

Artificial Intelligence Chap.5 : Uncertainty

+971581248768>> SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHA...

Why Teams call analytics are critical to your entire business

Apidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, Adobe

Apidays New York 2024 - APIs in 2030: The Risk of Technological Sleepwalk by ...

Cyberprint. Dark Pink Apt Group [EN].pdf

Exploring the Future Potential of AI-Enabled Smartphone Processors

presentation ICT roal in 21st century education

ICT role in 21st century education and its challenges

"I see eyes in my soup": How Delivery Hero implemented the safety system for ...

Modular Monolith - a Practical Alternative to Microservices @ Devoxx UK 2024

Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...

Corporate and higher education May webinar.pptx

Rising Above_ Dubai Floods and the Fortitude of Dubai International Airport.pdf

Navigating the Deluge_ Dubai Floods and the Resilience of Dubai International...

[BuildWithAI] Introduction to Gemini.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.