Tools for ODP – an MDA approach

Slides:



Advertisements
Similar presentations
Language Specification using Metamodelling Joachim Fischer Humboldt University Berlin LAB Workshop Geneva
Advertisements

Profiles Construction Eclipse ECESIS Project Construction of Complex UML Profiles UPM ETSI Telecomunicación Ciudad Universitaria s/n Madrid 28040,
1Model Driven Architecture – 3. März 2008 – Siegfried Nolte 1.UML – What is it and what is it good for ? 2.MDA – What is it and what is it good for ? 3.MDA.
Systems Analysis and Design 8th Edition
1 Model-driven development of SOA with Web services – using QVT technology Master thesis by Berge Stillingen Department of Informatics, University of Oslo.
Telecom and Informatics :: INF5120 :: Mansur Abbasi & Svein Melby Assignment 1 – First aid - Clarifications, issues and insight.
7 July 2003 MDA presentation Dennis Wagelaar 1 Model-Driven Architecture The current state of affairs.
UML CASE Tool. ABSTRACT Domain analysis enables identifying families of applications and capturing their terminology in order to assist and guide system.
Creating Architectural Descriptions. Outline Standardizing architectural descriptions: The IEEE has published, “Recommended Practice for Architectural.
Systems Analysis & Design Sixth Edition Systems Analysis & Design Sixth Edition Toolkit Part 5.
Whole Platform Tesi di Dottorato di: RICCARDO SOLMI Università degli Studi di Bologna Facoltà di scienze matematiche, fisiche e naturali Corso di Dottorato.
MDD Tutorial for managers Eclipse ECESIS Project A presentation of MDD basics Model-driven development (MDD) tutorial for managers EUROPEAN SOFTWARE INSTITUTE,
Unified Modeling Language(UML) BY
Basic Concepts The Unified Modeling Language (UML) SYSC System Analysis and Design.
OOPSLA 2003 DSM Workshop Diagram Definition Facilities Based on Metamodel Mappings Edgars Celms, Audris Kalnins, Lelde Lace University of Latvia, IMCS,
An Approach and Tool for Synchronous Refactoring of UML Diagrams and Models Using Model-to-Model Transformations Hafsteinn Þór Einarsson Helmut Neukirchen.
Xactium xDSLs Run Models Not Code Tony Clark
Model Transformations
MDE Model Driven Engineering Xavier Blanc Université Pierre et Marie Curie
Model transformation with a dedicated imperative language IRISA Rennes (France) - Triskell team Jean-Marc Jézéquel Didier Vojtisek Jean-Philippe Thibault.
Introduction to MDA (Model Driven Architecture) CYT.
Agenda 1. Introduction 2. Overview of SU-MoVal 3. OCL-based Model Validation 4. QVT-based Transformations 5. Demo of SU-MoVal 6. Conclusion and Future.
Alignment of ATL and QVT © 2006 ATLAS Nantes Alignment of ATL and QVT Ivan Kurtev ATLAS group, INRIA & University of Nantes, France
Building Tools by Model Transformations in Eclipse Oskars Vilitis, Audris Kalnins, Edgars Celms, Elina Kalnina, Agris Sostaks, Janis Barzdins Institute.
I T & S A e r o s p a c eD e f e n c e THALES Research & Technology THALES recommendations for the final OMG standard on Query / Views / Transformations.
Copyright © 2009 AtlanMod. All Rights Reserved Frédéric Jouault & Hugo Bruneliere AtlanMod team (INRIA & Mines de Nantes) Possible Benefits of Bridging.
Object Management Group (OMG) Specifies open standards for every aspect of distributed computing Multiplatform Model Driven Architecture (MDA)
ISO/IEC CD and WD : Core Model and Model Mapping ISO/IEC JTC1/SC32/WG September 2005, Toronto SC32/WG2 Japan (Kanrikogaku Ltd) Masaharu.
XASTRO-2 Overview Presentation CCSDS SAWG Athens Meeting 12 th April 2005.
Systems Analysis & Design 7 th Edition Chapter 5.
Systems Analysis and Design 8 th Edition Chapter 6 Object Modeling.
Hybrid Transformation Modeling Integrating a Declarative with an Imperative Model Transformation Language Pieter Van Gorp
MFI-2-4 and RGPS Registration Masaharu OBAYASHI Kanrikogaku, Ltd. Wuhan meeting (2009/10/24) Revised (2009/10/28)
XASTRO Metamodel. CCSDS SAWG2 Presentation Outline XASTRO-1 Metamodel XASTRO-2 Metamodel Alignment with Model Driven Architecture.
Automata Based Method for Domain Specific Languages Definition Ulyana Tikhonova PhD student at St. Petersburg State Politechnical University, supervised.
Sheet 1 DocEng’03, Grenoble, November 2003 Model Driven Architecture based XML Processing Ivan Kurtev, Klaas van den Berg University of Twente, the Netherlands.
OOPSLA workshop on Domain-Specific Modeling (DSM’03) 1 Vasco Amaral, Univ. of Mannheim Steve Cook, Microsoft Daniel Dvorak, JPL/Cal Tech Lars Grunske,
Graphical Modeling Framework (GMF) Richard C. Gronback Project Lead.
Semantics for DSL Group Members: Ritu Arora, Diyang Chu, Zekai Demirezen, Jeff Gray, Jacob Gulotta, Luis Pedro, Arturo Sanchez, Greg Sullivan,Ximing Yu.
Introduction to UML CS A470. What is UML? Unified Modeling Language –OMG Standard, Object Management Group –Based on work from Booch, Rumbaugh, Jacobson.
Model transformation with a dedicated imperative language IRISA Rennes (France) - Triskell team Jean-Marc Jézéquel Didier Vojtisek Jean-Philippe Thibault.
Modeling the ODP Computational Viewpoint with UML 2.0: The Templeman Library Example José Raúl Romero, Antonio Vallecillo Universidad de Málaga, Spain.
11 th NASA/ESA Workshop on Product Data Exchange 2009 Allison Barnard Feeney, NIST David Price, Eurostep.
October 1st 2015 Alexis Fouché 1, Florian Noyrit 1, Sébastien Gérard 1, Maged Elaasar 2 SYSTEMATIC GENERATION OF STANDARD COMPLIANT TOOL SUPPORT OF DIAGRAMMATIC.
Ontologies Reasoning Components Agents Simulations An Overview of Model-Driven Engineering and Architecture Jacques Robin.
Use Cases UML. Use Cases What are Use Cases?  A statement of the functionality users expect and need, organized by functional units  Different from.
Original Implementation Approach proposed at March 2010 meeting
XASTRO vs RASDS CCSDS SAWG Meeting
SysML 2.0 Requirements for Visualization
SysML 2.0 Formalism Requirements and Potential Language Architectures
SysML 2.0 Formalism: Requirement Benefits, Use Cases, and Potential Language Architectures Formalism WG December 6, 2016.
SysML v2 Formalism: Requirements & Benefits
Review for Midterm, Fall 2009
Workplan for Updating the As-built Architecture of the 2007 GEOSS Architecture Implementation Pilot Session 7B, 6 June 2007 GEOSS Architecture Implementation.
Web Application Modeling
Model Driven Architecture
Proposed SysML v2 Submission Plan
Specifying collaborative decision-making systems
Model-Driven Ontology Engineering
Compiler Design 4. Language Grammars
Chapter 2, Modeling with UML, Part 4 UML 2 Metamodel
Constructing MDA-based Application Using Rational XDE for .NET
OOPSLA Workshop on Domain-Specific Modeling Tools Workgroup
Execute your Processes
Recursive descent parsing
QVT Operational 1.0 Mini-deck
Chapter 5.
Model Driven Software Development
Recursive descent parsing
Software Architecture & Design
Presentation transcript:

Tools for ODP – an MDA approach D.H.Akehurst

Overview OMG standards and tools Metamodelling Transformations An approach to Language Specification Tools from such specifications Language specification for ODP viewpoints Inter-viewpoint correspondences Summary

OMG standards and tools The technologies standardised by the OMG have significantly more take up than the ISO/ITU RM-ODP standard! YES / NO Why is this ? Better Standards ? OMG Marketing ? Easier Concepts ? Metamodelling ? Tool Support ?

Use OMG techniques for ODP metamodel the viewpoint concepts define example languages/concrete syntax more than one! give example specifications define mappings/transformations between syntax and viewpoint concepts helps reduce ambiguity may increase understanding of how to use the syntax helps with generating tools that conform to the standard

Metamodelling Creating a Class Diagram ! Modelling the concepts of a language Instances of the model are expressions or sentences written using the language modelled. destination State incomming name : String Transition source outgoing guard : Expr event : Expr action : Expr

Transformations Specification of a relationship between one model and another. A number of variations text based, graphical based, uni/bi-directional, relation-based, grammar-based. OMG QVT standard Transformations, Relations, Mappings A B R domainType rangeType expression

An approach to Language Specification VP Concepts Concrete Syntax (or specific language) Transformation

Tools from such specifications Metamodels -> Repositories KMF, EMF, etc Transformations -> Implementations Starting to arrive ATL, YATL, QVT approaches, etc Metamodels -> Concrete Syntax Editors still to come can be hand coded (KMF example) Domain specific modelling tools will bring this.

Multiple Languages Z Bespoke CS ODP VP Concepts UML LOTOS

Language specification for ODP viewpoints Should we define bespoke languages for the ODP viewpoints ? YES / NO Metamodelling and Transformations gives an approach. Is it too prescriptive? Discuss other approaches? Facilitates easy generation of tools from the specifications!

Inter-Viewpoint Correspondences An important part of an ODP spec How do we specify them ? Can define some on viewpoint metamodels need system specification before doing much Need a language to define them Is a Transformation language appropriate ? Need some examples

Summary Produce Viewpoint Metamodels Produce One or more Concrete Syntax specs for each viewpoint Use Transformations to define CS to VpMm spec Generate prototype tools from specs to encourage adoption and use of ODP. Look at use of transformations specs in relation to Inter-viewpoint correspondences.