MDT OCL 1.3 Mini-deck June 10, 2009.

Slides:

Advertisements

Similar presentations

Galileo Simultaneous Release Review © 2009 by Borland Software Corp., made available under the EPL v1.0 Object Constraint Language (MDT OCL) 1.3 Galileo.

Advertisements

BugsWorld Project The Game The Simulator The Language The Translator.

A question from last class: construct the predictive parsing table for this grammar: S->i E t S e S | i E t S | a E -> B.

Elevator Simulator DSL Project Presented by Miguel Garzón and Stéphane Leblanc 1.

Translator Architecture Code Generator ParserTokenizer string of characters (source code) string of tokens abstract program string of integers (object.

Network Server Programming Expression Evaluation Tutorial #10 CPSC 261.

SableCC SableCC is developed by professors and graduate students at McGill University and is open source (licensed under the Apache License, Version 2.0)‏

The Structure of the GNAT Compiler. A target-independent Ada95 front-end for GCC Ada components C components SyntaxSemExpandgigiGCC AST Annotated AST.

ANTLR with ASTs. Abstract Syntax Trees ANTLR can be instructed to produce ASTs for the output of the parser ANTLR uses a prefix notation for representing.

ANTLR Andrew Pangborn & Zach Busser. ANTLR in a Nutshell ANother Tool for Language Recognition generates lexers generates parsers (and parse trees)‏ Java-based,

The Interpreter Pattern. Defining the Interpreter Intent Given a language, define a representation for its grammar along with an interpreter that uses.

Sumant Tambe, et. al LEESA DSPD 2008 An Embedded Declarative Language for Hierarchical Object Structure Traversal Sumant Tambe* Aniruddha Gokhale Vanderbilt.

C++ Code Analysis: an Open Architecture for the Verification of Coding Rules Paolo Tonella ITC-irst, Centro per la Ricerca Scientifica e Tecnologica

Sumant Tambe, et. al LEESA DSPD 2008 An Embedded Declarative Language for Hierarchical Object Structure Traversal Sumant Tambe* Aniruddha Gokhale Vanderbilt.

MDA and QVT  Tom Gullion, Director of Product Management, Together Products.

MDE Model Driven Engineering Xavier Blanc Université Pierre et Marie Curie

Modeling Tools for Healthcare Technical Overview April 8, 2009.

Reviewing Recent ICSE Proceedings For:.  Defining and Continuous Checking of Structural Program Dependencies  Automatic Inference of Structural Changes.

COMP Parsing 1 of 4 Lecture 21. Parsing text Making sense of "structured text": Compiling programs (javac, g++, Python etc) Rendering web sites.

SaveUML System design. System overview Possible...

© Siemens AG, CT SE 2, Iris Groher, Markus Voelter C O R P O R A T E T E C H N O L O G Y XWeave – Models and Aspects in Concert 1 XWeave Models.

Parsing Lecture 5 Fri, Jan 28, Syntax Analysis The syntax of a language is described by a context-free grammar. Each grammar rule has the form A.

COMP Parsing 3 of 4 Lectures 23. Using the Scanner Break input into tokens Use Scanner with delimiter: public void parse(String input ) { Scanner.

JSTL The JavaServer Pages Standard Tag Library (JSTL) is a collection of useful JSP tags which encapsulates core functionality common to many JSP applications.

C# 2.0 and Future Directions Anders Hejlsberg Technical Fellow Microsoft Corporation.

COP 4620 / 5625 Programming Language Translation / Compiler Writing Fall 2003 Lecture 1, 08/28/03 Prof. Roy Levow.

Mitchell McMullen Paul Nguyen SWAN. Python written entirely in C#. Can access all.NET libraries and Silverlight. Created by the same guy as Jython. No.

CPS 506 Comparative Programming Languages Syntax Specification.

Syntax Specification with YACC © Allan C. Milne Abertay University v

Cross Language Clone Analysis Team 2 October 13, 2010.

Evaluating and Improving an OpenMP-based Circuit Design Tool Tim Beatty, Dr. Ken Kent, Dr. Eric Aubanel Faculty of Computer Science University of New Brunswick.

User Profiling using Semantic Web Group members: Ashwin Somaiah Asha Stephen Charlie Sudharshan Reddy.

1 Introduction JAXP. Objectives  XML Parser  Parsing and Parsers  JAXP interfaces  Workshops 2.

Chapter 3 Context-Free Grammars and Parsing. The Parsing Process sequence of tokens syntax tree parser Duties of parser: Determine correct syntax Build.

1 Compiler & its Phases Krishan Kumar Asstt. Prof. (CSE) BPRCE, Gohana.

Your name Visualization of abstract syntax trees.

C H A P T E R T W O Linking Syntax And Semantics Programming Languages – Principles and Paradigms by Allen Tucker, Robert Noonan.

Interpreters and Higher-Order Functions CSE 413 Autumn 2008 Credit: CSE341 notes by Dan Grossman.

CSC 4181 Compiler Construction

OVERVIEW AND PARSING JSON. What is JSON JavaScript Object Notation Used to format data Commonly used in Web as a vehicle to describe data being sent between.

FUNCTIONAL PROGRAMING AT WORK - HASKELL AND DOMAIN SPECIFIC LANGUAGES Dr. John Peterson Western State Colorado University.

Budapest University of Technology and Economics Department of Measurement and Information Systems Foundations of DSLs in the Eclipse Modeling Framework.

Open Source Compiler Construction (for the JVM)

Parsing 1 of 4: Grammars and Parse Trees

Chapter 3 – Describing Syntax

PRINCIPLES OF COMPILER DESIGN

Introduction to Compiler Construction

SysML v2 Formalism: Requirements & Benefits

Syntax Analysis Chapter 4.

CO4301 – Advanced Games Development Week 2 Introduction to Parsing

Formal Language Theory

CSc 453 Compilers & Systems Software 00. Background

Daniel Amyot and Jun Biao Yan

Introduction to Software Testing Chapter 5.1 Syntax-based Testing

Presentation by Julie Betlach 7/02/2009

Basic Program Analysis: AST

Lexical and Syntax Analysis

Department of Software & Media Technology

.NET and .NET Core 9. Towards Higher Order Pan Wuming 2017.

ENERGY 211 / CME 211 Lecture 15 October 22, 2008.

Bottom-up derivation tree, original grammar

Bottom-up derivation tree, original grammar

Bottom-up derivation tree generation

MDT UML2Tools 0.8 Mini-deck

Object Constraint Language (MDT OCL) 1

AST Based Sequence to Sequence Natural Language Question to SQL Method

Introduction to Software Testing Chapter 5.1 Syntax-based Testing

QVT Operational 1.0 Ganymede Simultaneous Release Graduation Review

QVT Operational 1.0 Mini-deck

Faculty of Computer Science and Information System

Presentation transcript:

MDT OCL 1.3 Mini-deck June 10, 2009

What is OCL The OCL component is an implementation of the Object Constraint Language (OCL) OMG standard for EMF-based models. The OCL component provides the following capabilities to support OCL integration: Defines APIs for parsing and evaluating OCL constraints and queries on EMF models. Defines an Ecore implementation of the OCL abstract syntax model, including support for serialization of parsed OCL expressions. Provides a Visitor API for analyzing/transforming the AST model of OCL expressions. Provides an extensibility API for clients to customize the parsing and evaluation environments used by the parser.

What’s New in Galileo Extensibility. Refactored OCL type checking system, evaluation visitor and standard library for extensibility. Escape-sequences in String Literals. Control characters like ‘\n’ or ‘\r’ are now supported by OCL. Error Recovery in OCL Grammar. Backtracking-parser based error recovery allows to report multiple errors in the OCL input. Enhanced Tracing. Finer-grained control is available using system properties named according to the OCL plug-in's trace options.