OCL in EMF

30
OCL in EMF Ashwani Kr Sharma, SAP Labs India

TAGS:

Transcript of OCL in EMF

  • 1. OCL in EMF
    Ashwani Kr Sharma, SAP Labs India

2. Agenda

  • Why OCL ?

3. What is OCL ? 4. When OCL ? 5. OCL in EMF ?

Ocl 20130801

Ocl 20130801

OCL Documentation - Eclipsedownload.eclipse.org/ocl/doc/6.4.0/ocl.pdf · Eclipse OCL 6.4.0 1 Chapter 1. Overview and Getting Started 1.1. What is OCL?

OCL Documentation - Eclipsedownload.eclipse.org/ocl/doc/6.4.0/ocl.pdf · Eclipse OCL 6.4.0 1 Chapter 1. Overview and Getting Started 1.1. What is OCL?

OCL in Papyrus Introduction

OCL in Papyrus Introduction

Insights to EMF An overview of EMF in context of MOIN.

Insights to EMF An overview of EMF in context of MOIN.

EMF CDO 1 EMF Compare 1 - Eclipsewiki.eclipse.org/images/7/7e/EclipseProjectEvaluations.pdf · EMF CDO 1 EMF Compare 1 EMF EMF (Core) 1 EMF Teneo 1 EMF Validation 1 EMFT Doc2Model

EMF CDO 1 EMF Compare 1 - Eclipsewiki.eclipse.org/images/7/7e/EclipseProjectEvaluations.pdf · EMF CDO 1 EMF Compare 1 EMF EMF (Core) 1 EMF Teneo 1 EMF Validation 1 EMFT Doc2Model

Writing in the OCL Primary Curriculum

Writing in the OCL Primary Curriculum

Emf Emf Visual 2010

Emf Emf Visual 2010

Translating OCL to Graph Patterns...result of subqueries (as in EMF-IncQuery [10], see Sec. 2.3). In search-based software engineering, if the goal condition is a graph pattern, its

Translating OCL to Graph Patterns...result of subqueries (as in EMF-IncQuery [10], see Sec. 2.3). In search-based software engineering, if the goal condition is a graph pattern, its

Featherweight OCL: A study for the consistent semantics of OCL 2.3 in HOL

Featherweight OCL: A study for the consistent semantics of OCL 2.3 in HOL

R&S®TS-EMF EMF Measurement System Easyequencyfr ... · 2 R&S®TS-EMF EMF Measurement System At a glance Measuring EMF emissions in line with national and inter-national standards

R&S®TS-EMF EMF Measurement System Easyequencyfr ... · 2 R&S®TS-EMF EMF Measurement System At a glance Measuring EMF emissions in line with national and inter-national standards

1 OCL – The Object Constraint Language in UML OCL website: Textbook: “ The Objection Constraint Language: Precise Modeling with.

1 OCL – The Object Constraint Language in UML OCL website: Textbook: “ The Objection Constraint Language: Precise Modeling with.

DIAGRAM DESIGN IN OCL EVALUATORstudia-i/contents/2002-1/9-Chiorean.pdf · the Java programming language. 1. Achievements regarding OCL The Object Constraint Language (or OCL) first

DIAGRAM DESIGN IN OCL EVALUATORstudia-i/contents/2002-1/9-Chiorean.pdf · the Java programming language. 1. Achievements regarding OCL The Object Constraint Language (or OCL) first

Model Driven Architecture (MDA) OCL Characters of OCL ...

Model Driven Architecture (MDA) OCL Characters of OCL ...

OCL Documentation - Eclipsedownload.eclipse.org/ocl/doc/6.0.0/ocl.pdf · Eclipse OCL 6.0.0 1 Chapter 1. Overview and Getting Started For a quick demonstration of OCL enrichment of

OCL Documentation - Eclipsedownload.eclipse.org/ocl/doc/6.0.0/ocl.pdf · Eclipse OCL 6.0.0 1 Chapter 1. Overview and Getting Started For a quick demonstration of OCL enrichment of

Ocl 20130822

Ocl 20130822

SoftwareEngineering (OCL) LinaYE SoftwareEngineering(OCL)linaye/OCL_GL.pdf · SoftwareEngineering (OCL) LinaYE Introduction Constraints ContextandSelf Invariant Pre-andPost-condition

SoftwareEngineering (OCL) LinaYE SoftwareEngineering(OCL)linaye/OCL_GL.pdf · SoftwareEngineering (OCL) LinaYE Introduction Constraints ContextandSelf Invariant Pre-andPost-condition

Ocl 20140306

Ocl 20140306

Writing Protocols in OCL

Writing Protocols in OCL

Induced EMF. EMF EMF - It is potential difference and is measured in volts (V ).

Induced EMF. EMF EMF - It is potential difference and is measured in volts (V ).

Business Process Modelling with Continuous Validation · initiated by Frank Rump and Markus Nüttgens EMF-, GMF-based implementation MDD tools model validation: OCL,Check, EVL model-to-model

Business Process Modelling with Continuous Validation · initiated by Frank Rump and Markus Nüttgens EMF-, GMF-based implementation MDD tools model validation: OCL,Check, EVL model-to-model