Model Driven Engineering

Size: px
Start display at page:

Download "Model Driven Engineering"

Transcription

1 Model Driven Engineering Stuart Kent University of Kent Royal Society Industry Fellow with IBM

2 Model Terminology encompasses more than program code design, analysis, specification, business models Driven models are first class, not just MS-office-ware model simulation and analysis tools code generation, code/model coordination Engineering models and process are intertwined Stuart Kent, May

3 Conclusion: MDE needs MD 2 E instances filmstrips traces specifications PSMs programs PIMs UML models language definitions language 4 defining languages Change all the time hardly ever MD 2 E = Model Driven MDE Automation is required to deal with change effectively MD 2 E means deriving tools from language definitions Added bonus L4defL is itself a language (bootstrap) MOF is a good place to start Stuart Kent, May

4 Background MDA AOSD MDE vs MDA vs AOSD Tools for MDE MD 2 E metamodeling metatooling UML 2 Ongoing & Future Work Outline Stuart Kent, May

5 OMG s new vision Background: MDA MDA trademark owned by OMG Catch phrases PIM platform independent model PSM platform specific model The MDA [] allows the same model specifying system functionality to be realized on multiple platforms [] and allows different applications to be integrated by explicitly relating their models, enabling integration and interoperability and supporting system evolution as platform technologies come and go. OMG doc. on MDA, ormsc/ Stuart Kent, May

6 Background: AOSD Aspect-Oriented Software Development Programming influence, but now moving into design Aspect-oriented programming Subject-oriented programming Catch phrases Separation and composition of concerns Cross-cutting Aspect weaving Stuart Kent, May

7 Background MDA AOSD MDE vs MDA vs AOSD Tools for MDE MD 2 E metamodeling metatooling UML 2 Ongoing & Future Work Outline Stuart Kent, May

8 Multi-dimensional modeling Abstract (PIM) Stakeholder Lifecycle (versions) Concrete (PSM) Subject Aspect MDA focuses on PIM / PSM dimension AOSD focuses on subject / aspect dimensions Stuart Kent, May

9 MDE combines process with artefacts MDA/AOSD focus on artefacts MDE combines process with artefacts Processes can not be defined without knowing artefacts to be delivered / maintained Processes come in many shapes and sizes So different constellations of models are required for different projects Processes evolve Stuart Kent, May

10 So language definitions change too instances filmstrips traces specifications PSMs programs PIMs UML models language definitions language 4 defining languages all the time Change hardly ever Automation is required to deal with change effectively Language definitions are also subject to frequent change Organisation/project-specific processes o New constellations of languages Domain specific languages New technologies and platforms Stuart Kent, May

11 Background MDA AOSD MDE vs MDA vs AOSD Tools for MDE MD 2 E metamodeling metatooling UML 2 Ongoing & Future Work Outline Stuart Kent, May

12 MDE needs sophisticated tools instances filmstrips traces specifications PSMs programs PIMs UML models language definitions language 4 defining languages all the time Change hardly ever Automation is required to deal with change effectively Stuart Kent, May

13 x:l2sd, M:L2as y:l1sd, N:L1as (M,x) (N,M) (y,x) (N,y) (N,y) (N,M) (y,x) (M,x) Note 2-way. Diagram exemplifies PSM2PIM (1-*). This is only an illustration it needn t be that way. So asas and sdsd are closely related. Can make the picture more complicated with concrete syntax (UI?) to abstract syntax mappings. Reference Model for Tools L1as L1as L1as L2as L2as specs L2as L2sd L2as Stuart Kent, May 2002 L2sd 13 N specs M L1as L1sd x examples y examples L1sd L1sd L1sd L2sd L2sd

14 Tools: Model Synchronisation UML EAI UML BP L1as specs L1as L1sd examples L1sd (partial) code gen change propagation L1as L1as L2as L2as L1sd L1sd L2sd L2sd MQ UML EAI J2EE L2as RDB L2as L2sd Stuart Kent, May specs examples L2sd

15 Tools: Model Exploration & Validation UML X (counter) example satisfaction (counter) example gen. e.g. execution (partial) spec. gen. validation Snapshots Filmstrips Rich Pictures L1as specs L1as L1sd examples L1sd Stuart Kent, May 2002 L1as L1as L1sd L1sd 15

16 Dashboard (make use of AS to CS mappings) as specs L1as L1sd examples L1sd Snapshots Filmstrips Rich Pictures display as as EL L as as L1sd L1sd L2sd L2sd abstract as specs examples L2sd Traces of executing system L2as Stuart Kent, May 2002 L2sd 16 monitor

17 Combo 1: BP Improvement Dashboard + Model exp/val + Model Sync UML BP (counter) example satisfaction (counter) example gen. e.g. execution (partial) spec. gen. validation Snapshots Filmstrips Rich Pictures manipulate display L1as specs L1as L1sd examples L1sd change propagation L1as L1as L2as L2as L1sd L1sd L2sd L2sd abstract UML EAI L2as specs L2as L2sd examples Traces of executing system Stuart Kent, May L2sd monitor

18 Combo 2: Model-Driven Testing Dashboard + Model exp/val + Model Sync Test case gen. (example gen.) validation manipulate UML SPEC check results (example sat.) Snapshots Filmstrips Rich Pictures display Test script gen. L1as L1as L1as L2as L2as specs L1as L1sd examples Test data & script generation L1sd L1sd L1sd L2sd L2sd abstract J2EE L2as specs L2as L2sd examples Traces from test execution Stuart Kent, May L2sd monitor

19 Background MDA AOSD MDE vs MDA vs AOSD Tools for MDE MD 2 E metamodeling metatooling UML 2 Ongoing & Future Work Outline Stuart Kent, May

20 Challenge: How to build the tools? instances filmstrips traces specifications PSMs programs PIMs UML models language definitions language 4 defining languages all the time Change hardly ever Automation is required to deal with change effectively Language definitions are also subject to frequent change Organisation/project-specific processes o New constellations of languages Domain specific languages New technologies and platforms Stuart Kent, May

21 Solution: Apply MDE to itself Reflection UML MOF as specs UML MOF as UML MOF as UML MOF sd examples UML MOF sd UML X y or mn tool generation UMLL1as MOF as X Eclipse L2as Public domain tooling framework from IBM Eclipse Stuart Kent, May tools repository instances

22 Meta-Modelling Object modelling of language and process definitions OMG standards Meta Object Facility (MOF) Software Process Engineering Metamodel (SPEM) For example Stuart Kent, May

23 otherend 1 Association End name : String upper : Int lower : Int * Example: Abstract Syntax sourceof * targetof source 1 allparent associationend * Class 2 owner parent * 1 Association name : String Package name : String * owner name : String class 1 1 target owner 1 * allnested * association owner package * 0..1 Plus well-formedness rules, e.g. //Names of classes in a package are unique context Package inv: class.name->asset()->asbag() = class.name Stuart Kent, May

24 Example: Semantics Domain otherend 1 Link End label : String * sourceof targetof linkend source 1 Object id : String class : String target * 2 owner 1 1 * object snapshot * owner Link 1 label : String Snapshot id : String package : String * 1 link 0..1 owner owner Stuart Kent, May

25 Example: Concrete Syntax content Box container hastab : Bool label : String Diagram * box 0..1 box 1 owner owner 1 * line Line label : String 1 lineend owner 2 lineend LineEnd arrowhead : String hasarrow : Bool label : String * Stuart Kent, May

26 Example: AS 2 SD mapping AS Semantics SD Package name : String Class name : String Association name : String Package Rel Snapshot scope elements relation elements Class Rel Object Class Object relation Package Snapshot scope scope Association Rel Link Association Link scope relation elements Object id : String class : String Snapshot id : String package : String Link label : String Association End name : String upper : Int lower : Int AssociationEnd Rel LinkEnd elements relation AssociationEnd LinkEnd Link End label : String Stuart Kent, May

27 Example: CS 2 AS mapping CS CSAS AS Box hastab : Bool label : String Line Box Rel Package scope elements elements relation Box Rel Class Box Class relation scope Box Package scope Line Rel Association Line Association scope relation elements Package name : String Class name : String Association name : String LineEnd arrowhead : String hasarrow : Bool label : String LineEnd Rel AssociationEnd elements relation LineEnd AssociationEnd Association End name : String upper : Int lower : Int Stuart Kent, May

28 Current status of MOF tooling Repository management Meta-Tooling XMI for interchange (MOF in XML syntax) Examples o NetBeans MDR mdr.netbeans.org o dmof from o JMI (open source ref. implementation soon to be released by Adaptive) Eclipse Java framework for constructing inter-operating software development tools Developed by IBM, now in public domain at Work in progress OCL checking o tools beginning to appear Monitoring/executing mappings o on critical path Stuart Kent, May

29 Bootstrap MOF UML MOF as 1 UML MOF as Eclipse 2 Tool to generate (v1) model repository model translator Eclipse M N UML X y 3 Z 2 Tool to generate (v2) model repository model translator 3 3 Repositories Generation tools Visual editors Coordination tools Stuart Kent, May

30 Background MDA AOSD MDE vs MDA vs AOSD Tools for MDE MD 2 E metamodeling metatooling UML 2 Ongoing & Future Work Outline Stuart Kent, May

31 Aside: UML 2? UML currently undergoing revision 4 RFP s infrastructure, superstructure, OCL, diagram interchange Submissions include U2P ( o infra/super o Telelogic, Rational, IBM, Unisys, HP, 2U ( o infra/super o Project Technology (Mellor), Adaptive, Kinetium (D Souza), Siemens, puml (Clark - Kings, Evans - York, Kent - Kent), 1 OCL submission ( o Supported by both U2P and 2U submitters & supporters Stuart Kent, May

32 UML 2 submissions U2P UML 1.5 Bigger, fatter, just as precise o lots of new superstructure o metamodel of AS, English for the rest o wff rules in OCL as an afterthought 2U UML as a family of languages to support MDA / MDE o defined using package templates Integrated core (infrastructure) o metamodel definition of AS and semantics o concrete syntax if time o driven by definition of wff rules Superstructure (not so much so far) being layered on integrated core Stuart Kent, May

33 MOF and UML UML (and its profiles) is a good test for MOF MOF is a member of the UML family This is an OMG requirement for MOF version 2 Get MOF right and we can evolve UML to what it should be MOF is being revised to MOF 2 concurrently with UML 2 initial submissions, main one includes Rational, IBM and most of 2U team UML is a still a powerful brand Stuart Kent, May

34 Background MDA AOSD MDE vs MDA vs AOSD Tools for MDE MD 2 E metamodeling metatooling UML 2 Ongoing & Future Work Outline Stuart Kent, May

35 Ongoing & Future work Infrastructure Define mappings in the metamodel o Need a language for this, or, at least, templates that capture mapping patterns ; constraints are important o (Manually) construct a tool that generates coordination tools and translators from these mappings Use mapping technology to (re)define o Meta-language (include concrete syntax diagrams, XML) o Tool generators Bootstrap meta-tools from the new definition Don t forget process (longer term) Content Model driven business integration Language family for component/port/connector paradigm o Integration with other paradigms o Informed by theory Families of constraint languages, in particular mixed diagrammatic/textual languages Stuart Kent, May

36 Conclusion: MDE needs MD 2 E instances filmstrips traces specifications PSMs programs PIMs UML models language definitions language 4 defining languages Change all the time hardly ever MD 2 E = Model Driven MDE Automation is required to deal with change effectively MD 2 E means deriving tools from language definitions Added bonus L4defL is itself a language (bootstrap) MOF is a good place to start Stuart Kent, May

Outline. A little history. Outline. The Unified Modeling Language Opportunities and Challenges for Formal Methods

Outline. A little history. Outline. The Unified Modeling Language Opportunities and Challenges for Formal Methods Outline The Unified Modeling Language Opportunities and Challenges for Formal Methods An update on UML Language definition Tools A precise OO meta-modeling facility - MMF Stuart Kent University of Kent

More information

An introduction to MOF MetaObject Facility.

An introduction to MOF MetaObject Facility. An introduction to MOF MetaObject Facility pierre-alain.muller@irisa.fr About The MetaObject Facility Specification is the foundation of OMG's industry-standard standard environment where models can be

More information

Model Driven Architecture

Model Driven Architecture Model Driven Architecture Vision VS Reality EDOC 2001 September 4-7, Seattle, USA Sridhar Iyengar Unisys Fellow Member, OMG Architecture Board sridhar.iyengar2@unisys.com Slide 1 Model Driven Architecture

More information

UML 2.5: Specification Simplification

UML 2.5: Specification Simplification A division of Data Access Technologies, Inc. UML 2.5: Specification Simplification Presented at the Third Biannual Workshop on Eclipse Open Source Software and OMG Open Specifications Ed Seidewitz Timeline

More information

Computation Independent Model (CIM): Platform Independent Model (PIM): Platform Specific Model (PSM): Implementation Specific Model (ISM):

Computation Independent Model (CIM): Platform Independent Model (PIM): Platform Specific Model (PSM): Implementation Specific Model (ISM): viii Preface The software industry has evolved to tackle new approaches aligned with the Internet, object-orientation, distributed components and new platforms. However, the majority of the large information

More information

Modellierung operationaler Aspekte von Systemarchitekturen. Master Thesis presentation. October 2005 March Mirko Bleyh - Medieninformatik

Modellierung operationaler Aspekte von Systemarchitekturen. Master Thesis presentation. October 2005 March Mirko Bleyh - Medieninformatik Modellierung operationaler Aspekte von Systemarchitekturen Master Thesis presentation October 2005 March 2006 Agenda Goals Model-Driven Software Development Pro-active Infrastructure (PAI) Operational

More information

This paper is more intended to set up a basis for a constructive discussion than to offer definitive answers and closed solutions.

This paper is more intended to set up a basis for a constructive discussion than to offer definitive answers and closed solutions. The TopModL Initiative Pierre-Alain Muller pa.muller@uha.fr INRIA/Irisa Université de Rennes France Cédric Dumoulin cedric.dumoulin@lifl.fr LIFL Université de Lille France Frédéric Fondement frederic.fondement@epfl.ch

More information

Model Driven Engineering

Model Driven Engineering Model Driven Engineering Stuart Kent University of Kent, Canterbury, UK sjhk@ukc.ac.uk http://www.cs.ukc.ac.uk Abstract. The Object Management Group s (OMG) Model Driven Architecture (MDA) strategy envisages

More information

MODEL DRIVEN ENGINEERING: A MODEL BASED APPROACH TO SOFTWARE DEVELOPMENT

MODEL DRIVEN ENGINEERING: A MODEL BASED APPROACH TO SOFTWARE DEVELOPMENT MODEL DRIVEN ENGINEERING: A MODEL BASED APPROACH TO SOFTWARE DEVELOPMENT Dr. Vijay Singh 1 1Assistant Professor, Department of Management, SRMGPC, Lucknow affiliated to UPTU. ABSTRACT The Object Management

More information

All you need are models Anneke Kleppe, Klasse Objecten

All you need are models Anneke Kleppe, Klasse Objecten Model Driven Architecture All you need are models Anneke Kleppe, Klasse Objecten Contents Limited Vision on MDA Modeling Maturity Levels Models Model Driven Development Model Driven Architecture MDA in

More information

An Introduction to MDE

An Introduction to MDE An Introduction to MDE Alfonso Pierantonio Dipartimento di Informatica Università degli Studi dell Aquila alfonso@di.univaq.it. Outline 2 2» Introduction» What is a Model?» Model Driven Engineering Metamodeling

More information

Model Abstraction versus Model to Text Transformation

Model Abstraction versus Model to Text Transformation Model Abstraction versus Model to Text Transformation Jon Oldevik, Tor Neple, Jan Øyvind Aagedal SINTEF Information and Communication Technology, Forskningsvn 1, N-0314 Oslo, Norway {jon.oldevik tor.neple

More information

Unambiguous UML (2U) Revised Submission to UML 2 Infrastructure RFP (ad/ ) Convenience document with errata (ad/ ) applied

Unambiguous UML (2U) Revised Submission to UML 2 Infrastructure RFP (ad/ ) Convenience document with errata (ad/ ) applied Unambiguous UML (2U) Revised Submission to UML 2 Infrastructure RFP (ad/00-09-0) Submitted by Adaptive Data Access Project Technology Softlab Siemens Convenience document with errata (ad/2002-06-3) applied

More information

MDD with OMG Standards MOF, OCL, QVT & Graph Transformations

MDD with OMG Standards MOF, OCL, QVT & Graph Transformations 1 MDD with OMG Standards MOF, OCL, QVT & Graph Transformations Andy Schürr Darmstadt University of Technology andy. schuerr@es.tu-darmstadt.de 20th Feb. 2007, Trento Outline of Presentation 2 Languages

More information

Model Driven Development Unified Modeling Language (UML)

Model Driven Development Unified Modeling Language (UML) Model Driven Development Unified Modeling Language (UML) An Overview UML UML is a modeling notation standardized by OMG (proposal 1997, ver.1.1 in 1998, ver. 2.0 in 2004) now in 2.4.1 mature based on notations

More information

Model driven Engineering & Model driven Architecture

Model driven Engineering & Model driven Architecture Model driven Engineering & Model driven Architecture Prof. Dr. Mark van den Brand Software Engineering and Technology Faculteit Wiskunde en Informatica Technische Universiteit Eindhoven Model driven software

More information

Object Management Group Model Driven Architecture (MDA) MDA Guide rev. 2.0 OMG Document ormsc/

Object Management Group Model Driven Architecture (MDA) MDA Guide rev. 2.0 OMG Document ormsc/ Executive Summary Object Management Group Model Driven Architecture (MDA) MDA Guide rev. 2.0 OMG Document ormsc/2014-06-01 This guide describes the Model Driven Architecture (MDA) approach as defined by

More information

Practical Model-Driven Development with the IBM Software Development Platform

Practical Model-Driven Development with the IBM Software Development Platform IBM Software Group Practical Model-Driven Development with the IBM Software Development Platform Osmond Ng (ong@hk1.ibm.com) Technical Consultant, IBM HK SWG 2005 IBM Corporation Overview The Challenges

More information

INF5120 Model-Based System Development

INF5120 Model-Based System Development INF5120 Model-Based System Development Lecture #3: Metamodelling and UML profiles, MDA technologies 04 February 2008 Brian Elvesæter, SINTEF 1 Outline Model-driven interoperability (MDI) framework MDA

More information

QoS-aware model-driven SOA using SoaML

QoS-aware model-driven SOA using SoaML QoS-aware model-driven SOA using SoaML Niels Schot A thesis submitted for the degree of MSc Computer Science University of Twente EEMCS - TRESE: Software Engineering Group Examination committee: Luís Ferreira

More information

Object-Oriented Theories for Model Driven Architecture

Object-Oriented Theories for Model Driven Architecture Object-Oriented Theories for Model Driven Architecture Tony Clark 1, Andy Evans 2, Robert France 3 1 King s College London, UK, anclark@dcs.kcl.ac.uk, 2 University of York, UK, andye@cs.york.ac.uk, 3 University

More information

Introduction to MDE and Model Transformation

Introduction to MDE and Model Transformation Vlad Acretoaie Department of Applied Mathematics and Computer Science Technical University of Denmark rvac@dtu.dk DTU Course 02291 System Integration Vlad Acretoaie Department of Applied Mathematics and

More information

ADT: Eclipse development tools for ATL

ADT: Eclipse development tools for ATL ADT: Eclipse development tools for ATL Freddy Allilaire (freddy.allilaire@laposte.net) Tarik Idrissi (tarik.idrissi@laposte.net) Université de Nantes Faculté de Sciences et Techniques LINA (Laboratoire

More information

Modelling in Enterprise Architecture. MSc Business Information Systems

Modelling in Enterprise Architecture. MSc Business Information Systems Modelling in Enterprise Architecture MSc Business Information Systems Models and Modelling Modelling Describing and Representing all relevant aspects of a domain in a defined language. Result of modelling

More information

Traceability in Model to Text Transformations

Traceability in Model to Text Transformations Traceability in Model to Text Transformations Jon Oldevik, Tor Neple SINTEF Information and Communication Technology, Forskningsveien 1, 0314 Oslo, Norway {Jon.Oldevik, Tor.Neple@sintef.no Abstract. Traceability

More information

Coral: A Metamodel Kernel for Transformation Engines

Coral: A Metamodel Kernel for Transformation Engines Coral: A Metamodel Kernel for Transformation Engines Marcus Alanen and Ivan Porres TUCS Turku Centre for Computer Science Department of Computer Science, Åbo Akademi University Lemminkäisenkatu 14, FIN-20520

More information

BLU AGE 2009 Edition Agile Model Transformation

BLU AGE 2009 Edition Agile Model Transformation BLU AGE 2009 Edition Agile Model Transformation Model Driven Modernization for Legacy Systems 1 2009 NETFECTIVE TECHNOLOGY -ne peut être copiésans BLU AGE Agile Model Transformation Agenda Model transformation

More information

GMF Tooling 3.0 Vision, Architecture, Roadmap

GMF Tooling 3.0 Vision, Architecture, Roadmap GMF Tooling 3.0 Vision, Architecture, Roadmap 2012.03.25, OMG/Eclipse Symposium, Reston VA Michael Golubev, GMF Tooling lead Montages AG www.montages.com GMF Tooling - Overview Vision: Support creation

More information

Developing Web-Based Applications Using Model Driven Architecture and Domain Specific Languages

Developing Web-Based Applications Using Model Driven Architecture and Domain Specific Languages Proceedings of the 8 th International Conference on Applied Informatics Eger, Hungary, January 27 30, 2010. Vol. 2. pp. 287 293. Developing Web-Based Applications Using Model Driven Architecture and Domain

More information

An Open Modeling Infrastructure. Olaf Kath Marc Born

An Open Modeling Infrastructure. Olaf Kath Marc Born An Open Modeling Infrastructure Olaf Kath Marc Born Agenda Architecture Guidelines Users View Medini Toolset Model Transformations Conclusions Our Vision on MDA: A Modeling Infrastructure open to a variety

More information

Raising the Level of Development: Models, Architectures, Programs

Raising the Level of Development: Models, Architectures, Programs IBM Software Group Raising the Level of Development: Models, Architectures, Programs Dr. James Rumbaugh IBM Distinguished Engineer Why Is Software Difficult? Business domain and computer have different

More information

Role of Executable UML in MDA. Presented by Shahid Alam

Role of Executable UML in MDA. Presented by Shahid Alam Role of Executable UML in MDA Presented by Shahid Alam salam3@connect.carleton.ca 12/2005 Outline Introduction to MDA Executable UML Does it apply to MDA Model Compilers Conclusion Model Driven Architecture

More information

Model Driven Engineering (MDE)

Model Driven Engineering (MDE) Model Driven Engineering (MDE) Yngve Lamo 1 1 Faculty of Engineering, Bergen University College, Norway 26 April 2011 Ålesund Outline Background Software Engineering History, SE Model Driven Engineering

More information

MDSE PRINCIPLES. Chapter #2

MDSE PRINCIPLES. Chapter #2 Chapter #2 MDSE PRINCIPLES Teaching material for the book Model-Driven Software Engineering in Practice by Morgan & Claypool, USA, 2012. www.mdse-book.com MDSE Principles Contents Concepts Approaches Adoption

More information

Model-Driven Architecture

Model-Driven Architecture THE IT-ARCHITECTURE PROFESSIONALS Model-Driven Architecture Stephen J. Mellor, Kendall Scott, Axel Uhl, Dirk Weise Interactive Objects Software info@io-software.com Agenda 2 Motivation for MDA Terminology:

More information

Future Directions for SysML v2 INCOSE IW MBSE Workshop January 28, 2017

Future Directions for SysML v2 INCOSE IW MBSE Workshop January 28, 2017 Future Directions for SysML v2 INCOSE IW MBSE Workshop January 28, 2017 Sanford Friedenthal safriedenthal@gmail.com 1/30/2017 Agenda Background System Modeling Environment (SME) SysML v2 Requirements Approach

More information

The Eclipse Modeling Framework and MDA Status and Opportunities

The Eclipse Modeling Framework and MDA Status and Opportunities The Eclipse Modeling Framework and MDA Status and Opportunities David Frankel Consulting df@davidfrankelconsulting.com www.davidfrankelconsulting.com Portions adapted from the book Model Driven Architecture:

More information

Defining Domain-Specific Modeling Languages

Defining Domain-Specific Modeling Languages Defining Domain-Specific Modeling Languages 1 st Oct 2008 Juha-Pekka Tolvanen MetaCase 1 Relevant language classifications to start with General-Purpose / Domain-Specific Narrow area of interest Often

More information

Event Metamodel and Profile (EMP) Proposed RFP Updated Sept, 2007

Event Metamodel and Profile (EMP) Proposed RFP Updated Sept, 2007 Event Metamodel and Profile (EMP) Proposed RFP Updated Sept, 2007 Robert Covington, CTO 8425 woodfield crossing boulevard suite 345 indianapolis in 46240 317.252.2636 Motivation for this proposed RFP 1.

More information

The Model Driven (R)evolution. Richard Mark Soley, Ph.D. Chairman and CEO Object Management Group, Inc.

The Model Driven (R)evolution. Richard Mark Soley, Ph.D. Chairman and CEO Object Management Group, Inc. The Model Driven (R)evolution Richard Mark Soley, Ph.D. Chairman and CEO Object Management Group, Inc. Modeling Changes Everything! Throw out those pesky objects! Toss away your silly compilers! No more

More information

COSC 3351 Software Design. An Introduction to UML (I)

COSC 3351 Software Design. An Introduction to UML (I) COSC 3351 Software Design An Introduction to UML (I) This lecture contains material from: http://wps.prenhall.com/esm_pfleeger_softengtp_2 http://sunset.usc.edu/classes/cs577a_2000/lectures/05/ec-05.ppt

More information

Second OMG Workshop on Web Services Modeling. Easy Development of Scalable Web Services Based on Model-Driven Process Management

Second OMG Workshop on Web Services Modeling. Easy Development of Scalable Web Services Based on Model-Driven Process Management Second OMG Workshop on Web Services Modeling Easy Development of Scalable Web Services Based on Model-Driven Process Management 88 solutions Chief Technology Officer 2003 Outline! Introduction to Web Services!

More information

MDA-Based Architecture of a Description Logics Reasoner

MDA-Based Architecture of a Description Logics Reasoner MDA-Based Architecture of a Description Logics Reasoner Nenad Krdzavac^ Dragan Duric^, Vladan Devedzic^ 1 Faculty of Electrical Engineering, University of Belgrade, Bulevar ICralja Aleksandra 73, 11 000

More information

Impacts of changes in enterprise software construction for telecommunications

Impacts of changes in enterprise software construction for telecommunications Project Report Impacts of changes in enterprise software construction for telecommunications Model Driven Architecture Assessments of relevant technologies Editor: Olaf Kath, IKV++ Technologies AG DRAFT

More information

A Feasibility Study in Rearchitecting UML as a Family of Languages using a Precise OO Meta-Modeling Approach

A Feasibility Study in Rearchitecting UML as a Family of Languages using a Precise OO Meta-Modeling Approach A Feasibility Study in Rearchitecting UML as a Family of Languages using a Precise OO Meta-Modeling Approach Version 1.0. September 2000 Tony Clark, Andy Evans, Stuart Kent (for puml group) Steve Brodsky,

More information

Model Driven Architecture - The Vision

Model Driven Architecture - The Vision Model Driven Architecture - The Vision Marko Fabiunke Fraunhofer Institut für Rechnerarchitektur und Softwaretechnik marko.fabiunke@first.fraunhofer.de The Fraunhofer FIRST Institut Your partner We support

More information

AT&T Government Solutions, Inc.

AT&T Government Solutions, Inc. AT&T Government Solutions, Inc. Lewis Hart Patrick Emery Key Goals The CODIP program provides frameworks and components for intelligent processing of information based on its semantics.!application of

More information

Metamodeling with Metamodels. Using. UML/MOF including OCL

Metamodeling with Metamodels. Using. UML/MOF including OCL Metamodeling with Metamodels Using UML/MOF including OCL Introducing Metamodels (Wikipedia) A metamodel is a model of a model An instantiation of metamodel gives a model Metamodeling is the process of

More information

Open Source egovernment Reference Architecture. Cory Casanave, President. Data Access Technologies, Inc.

Open Source egovernment Reference Architecture. Cory Casanave, President. Data Access Technologies, Inc. Open Source egovernment Reference Architecture Cory Casanave, President www.enterprisecomponent.com Slide 1 What we will cover OsEra OsEra Overview Model to Integrate From business model to execution Synthesis

More information

The Unified Modelling Language. Example Diagrams. Notation vs. Methodology. UML and Meta Modelling

The Unified Modelling Language. Example Diagrams. Notation vs. Methodology. UML and Meta Modelling UML and Meta ling Topics: UML as an example visual notation The UML meta model and the concept of meta modelling Driven Architecture and model engineering The AndroMDA open source project Applying cognitive

More information

Automation of Semantic Web based Digital Library using Unified Modeling Language Minal Bhise 1 1

Automation of Semantic Web based Digital Library using Unified Modeling Language Minal Bhise 1 1 Automation of Semantic Web based Digital Library using Unified Modeling Language Minal Bhise 1 1 Dhirubhai Ambani Institute for Information and Communication Technology, Gandhinagar, Gujarat, India Email:

More information

Implementing Model Driven Architecture

Implementing Model Driven Architecture TUTORIAL Implementing Model Driven Architecture Using Enterprise Architect MDA in Practice By Frank Truyen frank.truyen@cephas.cc All rights reserved. Page 1 Cephas Consulting Corp. Implementing Model

More information

OMG Specifications for Enterprise Interoperability

OMG Specifications for Enterprise Interoperability OMG Specifications for Enterprise Interoperability Brian Elvesæter* Arne-Jørgen Berre* *SINTEF ICT, P. O. Box 124 Blindern, N-0314 Oslo, Norway brian.elvesater@sintef.no arne.j.berre@sintef.no ABSTRACT:

More information

Science of Computer Programming. Aspect-oriented model-driven skeleton code generation: A graph-based transformation approach

Science of Computer Programming. Aspect-oriented model-driven skeleton code generation: A graph-based transformation approach Science of Computer Programming 75 (2010) 689 725 Contents lists available at ScienceDirect Science of Computer Programming journal homepage: www.elsevier.com/locate/scico Aspect-oriented model-driven

More information

IBM Rational Software Architect

IBM Rational Software Architect Unifying all aspects of software design and development IBM Rational Software Architect A complete design & development toolset Incorporates all the capabilities in IBM Rational Application Developer for

More information

Improving Military Information Technology Through Common Conceptual Models

Improving Military Information Technology Through Common Conceptual Models Improving Military Information Technology Through Common Conceptual Models Andreas Tolk, Ph.D. Virginia Modeling Analysis and Simulation Center Old Dominion University Presentation Outline Common Conceptual

More information

Rich Hilliard 20 February 2011

Rich Hilliard 20 February 2011 Metamodels in 42010 Executive summary: The purpose of this note is to investigate the use of metamodels in IEEE 1471 ISO/IEC 42010. In the present draft, metamodels serve two roles: (1) to describe the

More information

The Specifications Exchange Service of an RM-ODP Framework

The Specifications Exchange Service of an RM-ODP Framework The Specifications Exchange Service of an RM-ODP Framework X. Blanc (*+), M-P. Gervais(*), J. Le Delliou(+) (*)Laboratoire d'informatique de Paris 6-8 rue du Capitaine Scott F75015 PARIS (+)EDF Research

More information

02291: System Integration

02291: System Integration 02291: System Integration Week 10 Hubert Baumeister huba@dtu.dk DTU Compute Technical University of Denmark Spring 2018 Last Week Principles of good design: layered architecture Software Development Processes

More information

A Formal Approach to Modeling and Model Transformations in Software Engineering

A Formal Approach to Modeling and Model Transformations in Software Engineering A Formal Approach to Modeling and Model Transformations in Software Engineering Department of Computer Engineering Faculty of Engineering Bergen University College 17.06.2008 EXPO 2008, Integration and

More information

SysML Past, Present, and Future. J.D. Baker Sparx Systems Ambassador Sparx Systems Pty Ltd

SysML Past, Present, and Future. J.D. Baker Sparx Systems Ambassador Sparx Systems Pty Ltd SysML Past, Present, and Future J.D. Baker Sparx Systems Ambassador Sparx Systems Pty Ltd A Specification Produced by the OMG Process SysML 1.0 SysML 1.1 Etc. RFI optional Issued by Task Forces RFI responses

More information

Spemmet - A Tool for Modeling Software Processes with SPEM

Spemmet - A Tool for Modeling Software Processes with SPEM Spemmet - A Tool for Modeling Software Processes with SPEM Tuomas Mäkilä tuomas.makila@it.utu.fi Antero Järvi antero.jarvi@it.utu.fi Abstract: The software development process has many unique attributes

More information

A Metamodel independent approach for Conflict Detection to support distributed development in MDE. Mostafa Pordel A THESIS

A Metamodel independent approach for Conflict Detection to support distributed development in MDE. Mostafa Pordel A THESIS A Metamodel independent approach for Conflict Detection to support distributed development in MDE By Mostafa Pordel mpl08001@student.mdh.se A THESIS Submitted in partial fulfillment of requirements for

More information

Transformational Design with

Transformational Design with Fakultät Informatik, Institut für Software- und Multimediatechnik, Lehrstuhl für Softwaretechnologie Transformational Design with Model-Driven Architecture () Prof. Dr. U. Aßmann Technische Universität

More information

Model Driven Engineering (MDE) and Diagrammatic Predicate Logic (DPL)

Model Driven Engineering (MDE) and Diagrammatic Predicate Logic (DPL) Model Driven Engineering (MDE) and Department of Computer Engineering Faculty of Engineering Bergen University College NORWAY 06.06.2008 Institute of Mathematics and Informatics, Vilnius, LITHUANIA Project

More information

CODAGEN TECHNOLOGIES AND MODEL-DRIVEN ARCHITECTURE (MDA)

CODAGEN TECHNOLOGIES AND MODEL-DRIVEN ARCHITECTURE (MDA) CODAGEN TECHNOLOGIES AND MODEL-DRIVEN ARCHITECTURE (MDA) March 2002 info@codagen.com www.codagen.com Agenda OMG s MDA Gap between the PIM and code PSM Codagen s MDA Approach Benefits of the Codagen s Approach

More information

Towards a Transformation Chain Modeling Language

Towards a Transformation Chain Modeling Language Towards a Transformation Chain Modeling Language Bert Vanhooff, Stefan Van Baelen, Aram Hovsepyan, Wouter Joosen, and Yolande Berbers Department of Computer Science, K.U. Leuven, Celestijnenlaan 200A,

More information

OCL Support in MOF Repositories

OCL Support in MOF Repositories OCL Support in MOF Repositories Joachim Hoessler, Michael Soden Department of Computer Science Technical University Berlin hoessler@cs.tu-berlin.de, soden@cs.tu-berlin.de Abstract From metamodels that

More information

An Introduction to Model Driven Engineering (MDE) Bahman Zamani, Ph.D. bahmanzamani.com

An Introduction to Model Driven Engineering (MDE) Bahman Zamani, Ph.D. bahmanzamani.com An Introduction to Model Driven Engineering (MDE) Bahman Zamani, Ph.D. bahmanzamani.com Department of Software Systems Engineering University of Isfahan Fall 2013 Overview Model & Modeling UML & UML Profile

More information

Model-Based Social Networking Over Femtocell Environments

Model-Based Social Networking Over Femtocell Environments Proc. of World Cong. on Multimedia and Computer Science Model-Based Social Networking Over Femtocell Environments 1 Hajer Berhouma, 2 Kaouthar Sethom Ben Reguiga 1 ESPRIT, Institute of Engineering, Tunis,

More information

Integrating Software Architecture Concepts into the MDA Platform with UML Profile

Integrating Software Architecture Concepts into the MDA Platform with UML Profile Journal of Computer Science 3 (10): 793-802, 2007 ISSN 1549-3636 2007 Science Publications Integrating Software Architecture Concepts into the MDA Platform with UML Profile 1 Adel Alti, 2 Tahar Khammaci

More information

Overview of lectures today and Wednesday

Overview of lectures today and Wednesday Model-driven development (MDA), Software Oriented Architecture (SOA) and semantic web (exemplified by WSMO) Draft of presentation John Krogstie Professor, IDI, NTNU Senior Researcher, SINTEF ICT 1 Overview

More information

A Model Driven Approach based on Interaction Flow Modeling Language to Generate Rich Internet Applications

A Model Driven Approach based on Interaction Flow Modeling Language to Generate Rich Internet Applications International Journal of Electrical and Computer Engineering (IJECE) Vol. 6, No. 6, December 2016, pp. 3073~3079 ISSN: 2088-8708, DOI: 10.11591/ijece.v6i6.10541 3073 A Model Driven Approach based on Interaction

More information

Methods for the Development

Methods for the Development Methods for the Development Of Dependable and Adaptive Information Systems Carolina Gomez Hernandez Index of Contents History of Modeling Methods for the Development of DAIS: Model Driven Architecture

More information

innoq Deutschland GmbH innoq Schweiz GmbH D Ratingen CH-6330 Cham Tel Tel

innoq Deutschland GmbH innoq Schweiz GmbH D Ratingen CH-6330 Cham Tel Tel innoq Deutschland GmbH innoq Schweiz GmbH D-40880 Ratingen CH-6330 Cham Tel +49 2102 77 1620 Tel +41 41 743 01 11 www.innoq.com Stefan Tilkov, stefan.tilkov@innoq.com 1 Goals Introduce MDE, MDA, MDD, MDSD,...

More information

Adapting FUJABA for Building a Meta Modelling Framework

Adapting FUJABA for Building a Meta Modelling Framework Adapting FUJABA for Building a Meta Modelling Framework Carsten Amelunxen, Alexander Königs, Tobias Rötschke, Andy Schürr Technische Univeristät Darmstadt Institut für Datentechnik, FG Echtzeitsysteme

More information

Orthographic Software Modeling A Practical Approach to View Based Development

Orthographic Software Modeling A Practical Approach to View Based Development Orthographic Software Modeling A Practical Approach to View Based Development Colin Atkinson University of Mannheim Germany MSI 2009 7 th October 2009 Oldenburg Outline Modern software engineering paradigms

More information

Definition of Visual Language Editors Using Declarative Languages

Definition of Visual Language Editors Using Declarative Languages Definition of Visual Language Editors Using Declarative Languages Torbjörn Lundkvist TUCS Turku Centre for Computer Science SoSE Graduate School on Software Systems and Engineering Department of Information

More information

Small is Beautiful Building a flexible software factory using small DSLs and Small Models

Small is Beautiful Building a flexible software factory using small DSLs and Small Models Small is Beautiful Building a flexible software factory using small DSLs and Small Models Jos Warmer Partner, Ordina jos.warmer@ordina.nl 1 Modeling Maturity Levels MML 0: No specification MML 1: Textual

More information

Softwaretechnik. Lecture 19: Model Driven Engineering. Peter Thiemann. University of Freiburg, Germany

Softwaretechnik. Lecture 19: Model Driven Engineering. Peter Thiemann. University of Freiburg, Germany Softwaretechnik Lecture 19: Model Driven Engineering Peter Thiemann University of Freiburg, Germany 23.07.2012 Peter Thiemann (Univ. Freiburg) Softwaretechnik 23.07.2012 1 / 50 Introduction MDA Introduction

More information

INTRODUCTION. Chapter #1

INTRODUCTION. Chapter #1 Chapter #1 INTRODUCTION Teaching material for the book Model-Driven Software Engineering in Practice by Morgan & Claypool, USA, 2012. www.mdse-book.com Introduction Contents Human cognitive processes Models

More information

Design and Prototypical Implementation of a Pivot Model as Exchange Format for Models and Metamodels in a QVT/OCL Development Environment

Design and Prototypical Implementation of a Pivot Model as Exchange Format for Models and Metamodels in a QVT/OCL Development Environment Faculty of Computer Science, Institute for Software- and Multimedia-Technology, Chair for Software Technology Matthias Bräuer Design and Prototypical Implementation of a Pivot Model as Exchange Format

More information

A Solution Based on Modeling and Code Generation for Embedded Control System

A Solution Based on Modeling and Code Generation for Embedded Control System J. Software Engineering & Applications, 2009, 2: 160-164 doi:10.4236/jsea.2009.23023 Published Online October 2009 (http://www.scirp.org/journal/jsea) A Solution Based on Modeling and Code Generation for

More information

It s all Done with Mirrors Patterns and OCL. KMF Kent Modelling Framework D.H.Akehurst and O.Patrascoiu

It s all Done with Mirrors Patterns and OCL. KMF Kent Modelling Framework D.H.Akehurst and O.Patrascoiu It s all Done with Mirrors Patterns and OCL KMF Kent Modelling Framework D.H.Akehurst and O.Patrascoiu Goal Model Implementation MDA Goal Meta-Model Specification Tool Code Generation Is a Transformation

More information

Unified Modeling Language (UML)

Unified Modeling Language (UML) Unified Modeling Language (UML) Troy Mockenhaupt Chi-Hang ( Alex) Lin Pejman ( PJ ) Yedidsion Overview Definition History Behavior Diagrams Interaction Diagrams Structural Diagrams Tools Effect on Software

More information

Composite Domain-Specific Language Design and Development using Aspect-Oriented Weaving. Master thesis 60 credits

Composite Domain-Specific Language Design and Development using Aspect-Oriented Weaving. Master thesis 60 credits UNIVERSITY OF OSLO Department of Informatics Composite Domain-Specific Language Design and Development using Aspect-Oriented Weaving Master thesis 60 credits Henning Berg [hennb@ifi.uio.no] 1 st February

More information

Construction of Complex UML Profiles

Construction of Complex UML Profiles Construction of Complex UML Profiles UPM ETSI Telecomunicación Ciudad Universitaria s/n Madrid 28040, Spain mmiguel@dit.upm.es!1 Context of this work Profiles Construction The present courseware has been

More information

Static analysis and testing of executable DSL specification

Static analysis and testing of executable DSL specification Static analysis and testing of executable DSL specification Qinan Lai 1, Andy Carpenter 1 1 School of Computer Science, the University of Manchester, Manchester, UK {laiq,afc}@cs.man.ac.uk Keywords: Abstract:

More information

Editor s Draft. Outcome of Berlin Meeting ISO/IEC JTC 1/SC32 WG2 N1669 ISO/IEC CD :ED2

Editor s Draft. Outcome of Berlin Meeting ISO/IEC JTC 1/SC32 WG2 N1669 ISO/IEC CD :ED2 ISO/IEC JTC 1/SC32 WG2 N1669 2012-06 ISO/IEC CD19763-1:ED2 ISO/IEC JTC 1/SC 32/WG 2 Secretariat: Information Technology Metamodel framework for interoperability (MFI) Part 1: Reference model, Second Edition

More information

From Object Composition to Model Transformation with the MDA

From Object Composition to Model Transformation with the MDA From Object Composition to Transformation with the MDA Jean Bézivin University of Nantes 2, rue de la Houssinière, BP 92208 44322 Nantes cedex 3, France Jean.Bezivin@sciences.univ-nantes.fr Abstract The

More information

DEV427 MODEL-DRIVEN DEVELOPMENT USING PowerDesigner. Xiao-Yun WANG PowerDesigner Chief Architect

DEV427 MODEL-DRIVEN DEVELOPMENT USING PowerDesigner. Xiao-Yun WANG PowerDesigner Chief Architect DEV427 MODEL-DRIVEN DEVELOPMENT USING PowerDesigner Xiao-Yun WANG PowerDesigner Chief Architect xwang@sybase.com OBJECTIVES 1. Understand what s Model-Driven Development 2. Understand why Model-Driven

More information

Defining Model Driven Engineering Processes

Defining Model Driven Engineering Processes Defining Model Driven Engineering Processes Frédéric Fondement and Raul Silaghi Software Engineering Laboratory Swiss Federal Institute of Technology in Lausanne CH-1015 Lausanne EPFL, Switzerland {Frederic.Fondement,

More information

Transformation of the system sequence diagram to an interface navigation diagram

Transformation of the system sequence diagram to an interface navigation diagram Transformation of the system sequence diagram to an interface navigation diagram William Germain DIMBISOA PhD Student Laboratory of Computer Science and Mathematics Applied to Development (LIMAD), University

More information

Introduction to Dependable Systems: Meta-modeling and modeldriven

Introduction to Dependable Systems: Meta-modeling and modeldriven Introduction to Dependable Systems: Meta-modeling and modeldriven development http://d3s.mff.cuni.cz CHARLES UNIVERSITY IN PRAGUE faculty of mathematics and physics 3 Software development Automated software

More information

Copying Subgraphs within Model Repositories

Copying Subgraphs within Model Repositories Copying Subgraphs within Model Repositories Pieter van Gorp, Hans Schippers, Dirk Janssens April 2, 2006 1 / 37 Contents Languages 2 / 37 Outline Languages 3 / 37 : Model Driven Software Engineering Model

More information

Comparative analysis of MDA tools

Comparative analysis of MDA tools STUDIA INFORMATICA Nr 1-2(16) Systems and information technology 2012 Comparative analysis of MDA tools Krzysztof Pietraszek 1 1 Institute of Computer Science, University of Natural Sciences and Humanities,

More information

Christian Doppler Laboratory

Christian Doppler Laboratory Christian Doppler Laboratory Software Engineering Integration For Flexible Automation Systems AutomationML Models (in EMF and EA) for Modelers and Software Developers Emanuel Mätzler Institute of Software

More information

Software Architecture

Software Architecture Software Architecture Benjamin Satzger Distributed Systems Group TU Wien http://www.infosys.tuwien.ac.at/staff/ bsatzger Models Terms Unified Modeling Language (UML) Architecture Description Language (ADL)

More information

Metamodeling. Janos Sztipanovits ISIS, Vanderbilt University

Metamodeling. Janos Sztipanovits ISIS, Vanderbilt University Metamodeling Janos ISIS, Vanderbilt University janos.sztipanovits@vanderbilt.edusztipanovits@vanderbilt edu Content Overview of Metamodeling Abstract Syntax Metamodeling Concepts Metamodeling languages

More information

TABLE OF CONTENT CHAPTER TITLE PAGE DECLARATION OF THESIS STATUS SUPERVISOR DECLARATION TITLE PAGE STUDENT DECLARATION ACKNOWLEDGEMENT ABSTRACT

TABLE OF CONTENT CHAPTER TITLE PAGE DECLARATION OF THESIS STATUS SUPERVISOR DECLARATION TITLE PAGE STUDENT DECLARATION ACKNOWLEDGEMENT ABSTRACT TABLE OF CONTENTS CHAPTER TITLE PAGE DECLARATION OF THESIS STATUS SUPERVISOR DECLARATION TITLE PAGE STUDENT DECLARATION ACKNOWLEDGEMENT ABSTRACT TABLE OF CONTENT LIST OF TABLE LIST OF FIGURE LIST OF ABBREVATION

More information