Aligning OCL and UML

•Transferir como ODP, PDF•

1 gostou•861 visualizações

Edward Willink

Tecnologia Educação

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]

Mais conteúdo relacionado

Mais procurados

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

Mais procurados (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

Destaque

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

Destaque (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

Semelhante a 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

Semelhante a 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

Mais 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

Mais 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

Último

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

unit 4 immunoblotting technique complete.pptxBkGupta21

SIP trunking in Janus @ Kamailio World 2024Lorenzo Miniero

Gen AI in Business - Global Trends Report 2024.pdfAddepto

Generative AI for Technical Writer or Information DevelopersRaghuram Pandurangan

Ensuring Technical Readiness For Copilot in Microsoft 3652toLead Limited

"Debugging python applications inside k8s environment", Andrii SoldatenkoFwdays

DevoxxFR 2024 Reproducible Builds with Apache MavenHervé Boutemy

Connect Wave/ connectwave Pitch Deck PresentationSlibray Presentation

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

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

Unraveling Multimodality with Large Language Models.pdfAlex Barbosa Coqueiro

Developer Data Modeling Mistakes: From Postgres to NoSQLScyllaDB

Tampa BSides - Chef's Tour of Microsoft Security Adoption Framework (SAF)Mark Simos

Streamlining Python Development: A Guide to a Modern Project SetupFlorian Wilhelm

From Family Reminiscence to Scholarly Archive .Alan Dix

Dev Dives: Streamline document processing with UiPath Studio WebUiPathCommunity

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

The Fit for Passkeys for Employee and Consumer Sign-ins: FIDO Paris Seminar.pptxLoriGlavin3

Scanning the Internet for External Cloud Exposures via SSL CertsRizwan Syed

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.