Role of Executable UML in MDA. Presented by Shahid Alam

Size: px
Start display at page:

Download "Role of Executable UML in MDA. Presented by Shahid Alam"

Transcription

1 Role of Executable UML in MDA Presented by Shahid Alam 12/2005

2 Outline Introduction to MDA Executable UML Does it apply to MDA Model Compilers Conclusion

3 Model Driven Architecture (MDA) According to OMG guide for MDA [2], it provides an approach for, and enable tools to be provided for: Specifying a system independently of the platform that supports it Specifying platforms Choosing a particular platform for the system Transforming the system specification into one for a particular platform The three primary goals of MDA are portability, interoperability and reusability through architectural separation of concerns

4 OMG's Model Driven Architecture

5 How MDA is Used An application is built as a platform independent model (PIM). Tools are used to convert that model to application implementation. Implementation can be a model (PSM), software platform (C, C++, CORBA, SmallTalk or J2EE etc) or an executable which directly runs on the specified platform

6 How MDA is Used (more detail)

7 How MDA is Used (more detail - continued) PIM describes the system, but does not show details how it is going to use the platform Mapping provides specifications for transformation of a PIM into a PSM for a particular platform. There is no standard yet. But there are implementations of MDA, currently available from different tool vendors like OptimalJ, ArcStyler, Eclipse Modeling Framework, Codagen Architect and Oliva Model Execution System. Marking PIM is marked to indicate the mappings to be used to transform that PIM into a PSM

8 How MDA is Used (more detail - continued) Transformation is the process of converting one model to another model of the same system. The input to the transformation is the marked PIM and the mapping. Basically there are two types of transformations, model-to-model and model-to-code PSM produced by the transformation is a model of the same system specified by the PIM. It also specifies how that system makes use of the chosen platform

9 Benefits of MDA Short development cycle Automation not only shortens the coding time but the overall development cycle. The user and system documentation can be generated from the PIM using appropriate tools Easily migrate applications to new technologies PIM can be transformed to different platforms / technologies. So the model remains independent of the technology Economically support multiple platforms MDA automation saves money for a company to support different platforms and in doing so increase the number of customers

10 Agile MDA In Agile MDA code and models are operationally the same. To shorten the cycle from analysis to implementation, testing and execution are done almost at the same time. From here comes the concept of executable model that is complete enough to be executed stand alone

11 Artifacts for Agile MDA (

12 Executable UML It's a subset of UML, that is sufficient enough to allow definition of models that can be automatically executed on a computer by an execution tool [3] Is Executable UML another (graphical) programming language. It can be considered a program for a particular subject matter An executable UML model describes the data and behaviour about the subject matter at hand

13 Executable UML (but it doesn't) Make coding decisions Specify some of the elements like distribution or number and allocation of threads Make no statement about tasking structures Make statement about classes or encapsulation

14 Concepts in Executable UML Concept Called Modeled As Expressed As Classes Data attributes UML class associations diagram constraints The world is full of things Things have lifecycles Things do things at each stage control algorithm States events transitions procedures actions UML statechart diagram Action language

15 Overview of Entire Process System Models (domain identification, use cases etc). System is divided into domains Modelling a single domain (classes, state machines and procedures). Models are both abstract and detailed at the same time Verification and Execution (model verification and model compilation). This is done continuously as the model is build, it is verified and executed and the performance is checked

16 Overview of Entire Process (domain model)

17 Overview of Entire Process (continued) Executable UML relies on the Precise Action Semantics for UML [7] adopted in late They provide specifications for actions, but do not specify action language syntax, so every tool vendor has it's own action language Another Language Why not Java

18 Overview of Entire Process (continued) Possibly To raise the level of abstraction. As we move from register allocation (assembly) to high level languages, so do we want to move from arrays, lists to domain objects as models Action language keep the design away from software platform. As an example the executable UML model can be executed on a distributed system using CORBA and for resource constrained embedded systems using C with no operating system

19 Overview of Entire Process (action languages) Bridgepoint Action Object Language ( Syntax for object and attribute actions Action Create object Syntax create object instance <object reference> of <class>; Delete object delete object instance <object reference>; Write Attribute <object reference>.<attribute name> = <expression>; Read Attribute... <object reference>.<attribute name>

20 Overview of Entire Process (action languages) Bridgepoint Action Object Language Example for object and attribute actions // newpublisher refers to the instance of // the Publisher Class create object instance newpublisher of Publisher; // name is an attribute of Publisher class newpublisher.name = Addison-Wesley ; // x gets the value for the name x = newpublisher.name; delete object instancenewpublisher;

21 Overview of Entire Process (action languages) SMALL (Shlaer-Mellor Action Language) Syntax for object and attribute actions Action Syntax Create object <object reference> >> <class list>; Delete object <object reference> <<; Write Attribute <expression> > <object reference>. <attribute name>; Read Attribute... <object reference>.<attribute name>

22 Overview of Entire Process (action languages) TALL (That Action Language) Syntax for object and attribute actions Action Syntax Create object <object reference> := new <class list>; Delete object delete <object reference>; Write Attribute <object reference>.<attribute name> = <expression>; Read Attribute... <object reference>.<attribute name>

23 Overview of Entire Process (domain verification) Static Verification.Done by the modelling tools. The tool that understand the semantic of the Executable UML can check the semantic, that is if the classes have attributes, states have procedures, action language compiles correctly etc Dynamic Verification.The process where the test cases are run against the models. Trace all the possible paths (scenarios) in the use cases, determine the objects involved in the scenario. Execution of each scenario is a test case Executable UML makes it much easier as you can run the model

24 Model Compiler An Executable UML model compiler turns an executable UML model into an implementation using a set of decisions about the target hardware and software environment [6]

25 Model Compiler (implementation) A developer of Executable models uses model compiler for the specific platform to execute the models. Model compiler elements can be re-allocated and re-compiled. So it separates the model and the software.

26 Model Compiler (implementation continued) Portable programs Extension of write once run everywhere Number of possibilities for hardware-software co-design

27 Model Compiler (implementation continued) Model compilers include ways to: Create, store and retrieve data Execute procedures and their actions Generate signals and receive events

28 Model Compiler (archetype) Archetype is a fragment of data access and text manipulation logic that states formally how to embed an Executable UML model into text [6]

29 Model Compiler (archetype language) It's a combination of data access language and string processing language. Data access for accessing the repository (where Executable UML models are stored) and string processing for manipulating of strings for output

30 Model Compiler (archetype language continued) Archetype that Creates a Java Class.for each object in O_OBJ public class ${obj.name} extends StateMachine private StateMachineState currentstate;.select many attributes related by object->o_attr[r105].for each attribute in attributes private ${attribute.impltype} ${attribute.name};.end for - -.end for Java Class Created by Applying Above Archetype to Model public class ProductSelection extends StateMachine { private StateMachineState currentstate; private Count quantity; private Currency unitpriceofselection; - - }

31 OMG RFP for Executable UML (specifications will be submitted early next year) Proposals shall define a compact subset of UML that is computationally complete language for executable models Proposals shall define a standard model library Proposal shall select elements that are translatable to multiple implementations and a broad range of languages, including hardware description languages for models where that may be appropriate It must ensure that any conferment tool can execute any valid UML model that is based on this subset The proposed specification shall itself be a UML model (referred to as the execution model )

32 Issues How an incomplete executable UML model will be allowed to execute. That is the ability to execute models where some information required for execution is missing How an executable UML model begins its execution Do we need a simulator or a virtual execution environment (VEE) to simulate/execute the implementation, where there is no real platform present Simulators and VEE are already been used, so what difference does it make now, except for shorter development cycle Will it be possible to build just one VEE to directly execute UML models using a model compiler

33 Conclusion Executable UML support a new OMG initiative MDA. Whose purpose is to compose complete systems out of models. The developer builds a model and then exports it to another tool that interprets it by execution for immediate feedback to the customer. It seems like a very happy solution. But is it that simple? Hopefully soon we will see an Executable UML specification by OMG. This will open up a new research area for academics and opportunities for industries to build supporting tools and applications

34 Conclusion Products that claim to support Executable UML and MDA concept are: ObjectSwitch from BridgePoint from merged with Mentor Graphics iuml/xuml from

35 References [1] OMG Model Driven Architecture URL: [2] MDA Guide Version 1.0.1, june 2003 URL: [3] Semantics of a Foundational Subset for Executable UML Models, Request for Proposal, OMG Document: ad/ [4] MOF Query / Views / Transformations, second revised submission by DSTC, IBM and CBOP, 12 January 2004 [5] Second revised submission to MOF Query / View / Transformation RFP by Interactive Objects Software GmbH and Project Technology, Inc, 12 January 2004 [6] Executable UML, A Foundation for Model-Driven Architecture by Stephen J. Mellor and Marc J. Balcer, published by Addison Wesley 2002 [7] UML Action Semantics URL: [8] Agile MDA by Stephen J. Mellor URL:

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

MDA Driven xuml Plug-in for JAVA

MDA Driven xuml Plug-in for JAVA 2012 International Conference on Information and Network Technology (ICINT 2012) IPCSIT vol. 37 (2012) (2012) IACSIT Press, Singapore MDA Driven xuml Plug-in for JAVA A.M.Magar 1, S.S.Kulkarni 1, Pooja

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

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

UML and the Cost of Defects

UML and the Cost of Defects UML and the of s Stephen J Mellor stephen_mellor@mentor.com It is common knowledge that software defects, especially in embedded systems, are expensive to repair; less well appreciated is just how very

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

A UML SIMULATOR BASED ON A GENERIC MODEL EXECUTION ENGINE

A UML SIMULATOR BASED ON A GENERIC MODEL EXECUTION ENGINE A UML SIMULATOR BASED ON A GENERIC MODEL EXECUTION ENGINE Andrei Kirshin, Dany Moshkovich, Alan Hartman IBM Haifa Research Lab Mount Carmel, Haifa 31905, Israel E-mail: {kirshin, mdany, hartman}@il.ibm.com

More information

Introduction. 1 Robert Block began his book The Politics of Projects[1] in a similar manner.

Introduction. 1 Robert Block began his book The Politics of Projects[1] in a similar manner. 1 Introduction Organizations want systems. They don t want processes, meetings, models, documents, or even code. 1 They want systems that work as quickly as possible, as cheaply as possible, and as easy

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

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

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

MDA, META-MODELLING and MODEL TRANSFORMATION. Introducing new Technology into the Defence Industry

MDA, META-MODELLING and MODEL TRANSFORMATION. Introducing new Technology into the Defence Industry MDA, META-MODELLING and MODEL TRANSFORMATION. Introducing new Technology into the Defence Industry Tony Bloomfield SELEX Sensors and Airborne Systems Ltd. (formerly BAE Systems Avionics Ltd) Crewe Toll,

More information

Open Code Translation from Executable UML Models

Open Code Translation from Executable UML Models Open Code Translation from Executable UML Models Erik Wedin erik.wedin@dynamics.saab.se - Information Systems Development Department, Software Systems (RTLIS) - 2002 Saab Bofors Dynamics AB 2002-10-21

More information

SysML, It s Coming Are You Prepared?

SysML, It s Coming Are You Prepared? SysML, It s Coming Are You Prepared? Presentation for George Mason University Shana L. Lloyd The Aerospace Corporation 703-324-8877 Shana.l.lloyd@aero.org January 31, 07 1 Outline Introduction SysML Background

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

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

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

developer.* The Independent Magazine for Software Professionals

developer.* The Independent Magazine for Software Professionals developer.* The Independent Magazine for Software Professionals Improving Developer Productivity With Domain-Specific Modeling Languages by Steven Kelly, PhD According to Software Productivity Research,

More information

Index. business modeling syntax 181 business process modeling 57 business rule 40

Index. business modeling syntax 181 business process modeling 57 business rule 40 OCL.book Page 203 Tuesday, July 22, 2003 9:48 PM Index Symbols OclAny, of 167 = OclAny, of 167 @pre 34, 86, 155 ^ 34, 156 ^^ 157 A abstract syntax 93 accumulator 153 action in statechart 56 activity

More information

UMLexe UML virtual machine

UMLexe UML virtual machine University of Oslo Department of Informatics UMLexe UML virtual machine A framework for model execution. Kai Fredriksen Master thesis 12th May 2005 1 2 Abstract The aim of this thesis is the specification

More information

Compositional Model Based Software Development

Compositional Model Based Software Development Compositional Model Based Software Development Prof. Dr. Bernhard Rumpe http://www.se-rwth.de/ Seite 2 Our Working Groups and Topics Automotive / Robotics Autonomous driving Functional architecture Variability

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

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

Precise Action Semantics for UML

Precise Action Semantics for UML Precise Action Semantics for UML Stephen J. Mellor Ian Wilkie PROJECT TECHNOLOGY Benefits of Action Semantics Action semantics and executable models enable: complete specification precise specification

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

Executable UML. Stephen J. Mellor Project Technology, Inc.

Executable UML. Stephen J. Mellor Project Technology, Inc. Executable UML Stephen J. Mellor Project Technology, Inc. http://www.projtech.com Application-Independent Software Architecture Physical Telephone On Hook Application Model Off Hook 2 Architecture Code

More information

Reengineering of Distributed Middleware Systems To a Model Driven Architecture (MDA)

Reengineering of Distributed Middleware Systems To a Model Driven Architecture (MDA) Reengineering of Distributed Middleware Systems To a Model Driven Architecture (MDA) LeeRoy Bronner, Ph.D., P.E., Amen Ra Mashariki Morgan State University Introduction This paper describes the processes,

More information

MDA Distilled Stephen J. Mellor Vice-President Project Technology, Inc.

MDA Distilled Stephen J. Mellor Vice-President Project Technology, Inc. MDA Distilled Stephen J. Mellor Vice-President Project Technology, Inc. http://www.projtech.com PROJECT TECHNOLOGYINC. Table of contents 1. What s the problem? 2. Models 3. Metamodels 4. Mappings 5. Marks

More information

Executable UML. Stephen J. Mellor

Executable UML. Stephen J. Mellor Executable UML Stephen J. Mellor Executable UML is here. While it is possible today to add code to UML diagrams and then execute them, in so doing you must make a series of decisions about implementation

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

OMG Workshop MDA. Tool Chains for MDA? Let's consider leaving our tool chains behind us.

OMG Workshop MDA. Tool Chains for MDA? Let's consider leaving our tool chains behind us. Karl Frank Principal Architect: Product Strategy and Architecture kfrank@borland.com OMG Workshop MDA Tool Chains for MDA? Let's consider leaving our tool chains behind us. Please note the existence of

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

MDA Distilled Stephen J. Mellor Vice-President Project Technology, Inc.

MDA Distilled Stephen J. Mellor Vice-President Project Technology, Inc. MDA Distilled Stephen J. Mellor Vice-President Project Technology, Inc. http://www.projtech.com PROJECT TECHNOLOGYINC. Table of contents 1. What s the problem? 2. Models 3. Metamodels 4. Mappings 5. Marks

More information

Model Transformers for Test Generation from System Models

Model Transformers for Test Generation from System Models 1 Model Transformers for Test Generation from System Models M. Busch 1, R. Chaparadza 1, Z.R. Dai 1, A. Hoffmann 1, L. Lacmene 1, T. Ngwangwen 1, G.C. Ndem 1, H. Ogawa 2, D. Serbanescu 1, I. Schieferdecker

More information

* Corresponding Author

* Corresponding Author A Model Driven Architecture for REA based systems Signe Ellegaard Borch, Jacob Winther Jespersen, Jesper Linvald, Kasper Østerbye* IT University of Copenhagen, Denmark * Corresponding Author (kasper@it-c.dk)

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

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

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

Executable and Translatable UML. Stephen J. Mellor Marc J. Balcer

Executable and Translatable UML. Stephen J. Mellor Marc J. Balcer Executable and Translatable UML Stephen J. Mellor Marc J. Balcer Contents What s the problem? UML Models Executable UML elements Executable UML behavior The Repository Model Compiler Concepts How model

More information

xuml, AADL and Beyond

xuml, AADL and Beyond xuml and AADL xuml, AADL and Beyond Chris Raistrick www.kc.com xuml and AADL xuml Overview Chris Raistrick www.kc.com Platform Independent Model A Platform Independent Model (PIM) is a technology agnostic

More information

Model Driven Engineering

Model Driven Engineering Model Driven Engineering Stuart Kent University of Kent Royal Society Industry Fellow with IBM Model Terminology encompasses more than program code design, analysis, specification, business models Driven

More information

Generating UML diagrams from LEM

Generating UML diagrams from LEM Generating UML diagrams from LEM Steven Ring January 28, 2005 1 Introduction to LEM LEM is a Language for Executable Models based on the modelling language described by Mellor and Balcer [MBJ02] and generally

More information

EXECUTABLE UML. Author : Selo Sulistyo and Warsun Najib

EXECUTABLE UML. Author : Selo Sulistyo and Warsun Najib EXECUTABLE UML Author : Selo Sulistyo and Warsun Najib Dept of Information and Communications Technology Agder University College, Norway Email : ssulis01@siving.hia.no wnajib01@siving.hia.no Abstract

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

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

Reusable Object-Oriented Model

Reusable Object-Oriented Model e-informatica Software Engineering Journal, Volume 7, Issue 1, 2013, pages: 35 44, DOI 10.5277/e-Inf130104 Reusable Object-Oriented Model Jaroslav Žáček, František Huňka Faculty of Science, University

More information

Model Driven Architecture with Enterprise Architect

Model Driven Architecture with Enterprise Architect WHITEPAPER Model Driven Architecture with Enterprise Architect Measuring EA Features to MDA Concepts By Frank Truyen frank.truyen@cephas.cc All rights reserved. Page 1 Model Driven Architecture with Enterprise

More information

bahmanzamani.com Computer Engineering i Dept. University of Isfahan

bahmanzamani.com Computer Engineering i Dept. University of Isfahan (MDSE) Bh Bahman Zamani, iphd Ph.D. bahmanzamani.com Computer Engineering i Dept. University of Isfahan Presented at Sheikhbahaee University Baharestan - Isfahan Feb. 4 th, 2010 (1388/11/15) Model What

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

AN AGILE MDA APPROACH FOR EXECUTABLE UML STRUCTURED ACTIVITIES

AN AGILE MDA APPROACH FOR EXECUTABLE UML STRUCTURED ACTIVITIES STUDIA UNIV. BABEŞ BOLYAI, INFORMATICA, Volume LII, Number 2, 2007 AN AGILE MDA APPROACH FOR EXECUTABLE UML STRUCTURED ACTIVITIES I. LAZĂR, B. PÂRV, S. MOTOGNA, I.-G. CZIBULA, AND C.-L. LAZĂR Abstract.

More information

Model Driven, Component Based Development for CBDDS. IDL to C++11. Johnny Willemsen

Model Driven, Component Based Development for CBDDS. IDL to C++11. Johnny Willemsen Model Driven, Component Based Development for CBDDS IDL to C++11 Johnny Willemsen jwillemsen@remedy.nl This presentation is based on material from Northrop Grumman Component Based DDS (CBDDS) CBDDS is

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

2 nd UML 2 Semantics Symposium: Formal Semantics for UML

2 nd UML 2 Semantics Symposium: Formal Semantics for UML 2 nd UML 2 Semantics Symposium: Formal Semantics for UML Manfred Broy 1, Michelle L. Crane 2, Juergen Dingel 2, Alan Hartman 3, Bernhard Rumpe 4, and Bran Selic 5 1 Technische Universität München, Germany

More information

Model Driven Architecture

Model Driven Architecture Name: Anish Mehta Year: 3 Lecturer: Dr. Wolfgang Emmerich Supervisor: Dr. Graham Roberts Model Driven Architecture For many years architects have been designing buildings by looking at other architects

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

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

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

Model Driven Architecture and Rhapsody

Model Driven Architecture and Rhapsody Model Driven Architecture and Rhapsody Dr. Bruce Powel Douglass Chief Evangelist Telelogic Model Driven Architecture and Rhapsody Abstract MDA, short for Model Driven Architecture, is a unification by

More information

Generation Rules in POMA Architecture

Generation Rules in POMA Architecture J. Software Engineering & Applications, 2010, 3, 1040-1046 doi:10.4236/jsea.2010.311122 Published Online November 2010 (http://www.scirp.org/journal/jsea) Mohamed Taleb 1, Ahmed Seffah 2, Alain Abran 1

More information

PisaTel Meeting Roma, 29 novembre 2007

PisaTel Meeting Roma, 29 novembre 2007 Istituto di Scienza e Tecnologie dell'informazione A. Faedo Software Engineering Laboratory Tool support for model driven development in practice Antonino Sabetta ISTI-CNR, Pisa PisaTel Meeting Roma, 29

More information

Execution of UML models Present and Future of Research and Practice

Execution of UML models Present and Future of Research and Practice Execution of UML models Present and Future of Research and Practice Federico Ciccozzi, Ivano Malavolta, Bran Selic Mälardalen University, Vrije University, Malina Software Corp. Ericsson Modeling Days

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

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

Model Driven Development with xtuml and BridgePoint

Model Driven Development with xtuml and BridgePoint Model Driven Development with xtuml and BridgePoint xtuml Executable and Translatable UML Unified Modeling Language Industry standard notation Family of languages Executable UML Defines a method, including:

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

Software Engineering with Objects and Components Open Issues and Course Summary

Software Engineering with Objects and Components Open Issues and Course Summary Software Engineering with Objects and Components Open Issues and Course Summary Massimo Felici Software Engineering with Objects and Components Software development process Lifecycle models and main stages

More information

How to Harvest Reusable Components in Existing Software. Nikolai Mansurov Chief Scientist & Architect

How to Harvest Reusable Components in Existing Software. Nikolai Mansurov Chief Scientist & Architect How to Harvest Reusable Components in Existing Software Nikolai Mansurov Chief Scientist & Architect Overview Introduction Reuse, Architecture and MDA Option Analysis for Reengineering (OAR) Architecture

More information

Domain-Frontier approach to. MDA based. software development

Domain-Frontier approach to. MDA based. software development Domain-Frontier approach to MDA based software development Contents! Software Development Yesterday, Today and Tomorrow! Domain-Frontier Paradigms and Cornerstones! Domain-Frontier Development Process

More information

SCOS-2000 Technical Note

SCOS-2000 Technical Note SCOS-2000 Technical Note MDA Study Prototyping Technical Note Document Reference: Document Status: Issue 1.0 Prepared By: Eugenio Zanatta MDA Study Prototyping Page: 2 Action Name Date Signature Prepared

More information

CSSE 490 Model-Based Software Engineering: Introduction to Domain Engineering

CSSE 490 Model-Based Software Engineering: Introduction to Domain Engineering CSSE 490 Model-Based Software Engineering: Introduction to Domain Engineering Shawn Bohner Office: Moench Room F212 Phone: (812) 877-8685 Email: bohner@rose-hulman.edu Learning Outcomes: Metamodels Design

More information

02291: System Integration

02291: System Integration 02291: System Integration Hubert Baumeister hub@imm.dtu.dk Spring 2012 Contents 1 General Information 1 2 Overview 3 3 Introduction to UML 11 4 Summary 16 1 General Information System Integration Type

More information

OCL for the Specification of Model Transformation Contracts

OCL for the Specification of Model Transformation Contracts OCL for the Specification of Model Transformation Contracts Eric Cariou, Raphaël Marvie, Lionel Seinturier, and Laurence Duchien LIFL - Université des Sciences et Technologies de Lille UMR CNRS 8022 -

More information

Executable UML for Model Driven Architecture

Executable UML for Model Driven Architecture Executable UML for Model Driven Architecture Executable UML update Raising the level of abstraction Some history & benefits. Executable UML and Model Driven Architecture (MDA) PIM vs PSM Separation 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

The etrice Eclipse Project Proposal

The etrice Eclipse Project Proposal The etrice Eclipse Project Proposal Dipl.-Ing. Thomas Schütz, Protos Software GmbH Eclipse Embedded Day 2010, Stuttgart Agenda Motivation Scope of etrice ROOM Language Codegenerators Middleware Realization

More information

Software Communications Architecture (SCA) and Rapid Application Development

Software Communications Architecture (SCA) and Rapid Application Development Software Communications Architecture (SCA) and Rapid Application Development Presented by: Steve Bernier and Hugues Latour Communications Research Centre Canada November 5, 2007 1 Outline SCA Overview

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

MDSE USE CASES. Chapter #3

MDSE USE CASES. Chapter #3 Chapter #3 MDSE USE CASES Teaching material for the book Model-Driven Software Engineering in Practice by Morgan & Claypool, USA, 2012. www.mdse-book.com MDSE GOES FAR BEYOND CODE-GENERATION www.mdse-book.com

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

Behaviour-Driven Development of Foundational UML Components

Behaviour-Driven Development of Foundational UML Components Electronic Notes in Theoretical Computer Science 264 (2010) 91 105 www.elsevier.com/locate/entcs Behaviour-Driven Development of Foundational UML Components Ioan Lazăr 1,2 Simona Motogna 1,3 Bazil Pârv

More information

WHY WE NEED AN XML STANDARD FOR REPRESENTING BUSINESS RULES. Introduction. Production rules. Christian de Sainte Marie ILOG

WHY WE NEED AN XML STANDARD FOR REPRESENTING BUSINESS RULES. Introduction. Production rules. Christian de Sainte Marie ILOG WHY WE NEED AN XML STANDARD FOR REPRESENTING BUSINESS RULES Christian de Sainte Marie ILOG Introduction We are interested in the topic of communicating policy decisions to other parties, and, more generally,

More information

Introduction to Programming

Introduction to Programming Introduction to Programming session 3 Instructor: Reza Entezari-Maleki Email: entezari@ce.sharif.edu 1 Fall 2010 These slides are created using Deitel s slides Sahrif University of Technology Outlines

More information

AT&T Government Solutions, Inc. Lewis Hart & Patrick Emery

AT&T Government Solutions, Inc. Lewis Hart & Patrick Emery AT&T Government Solutions, Inc. Lewis Hart & Patrick Emery http://codip.grci.com Program Overview Problems Addressed intelligent distribution of information based on its semantics Integration of multiple

More information

Representing System Architecture

Representing System Architecture Representing System Architecture Logical View Implementation View End-user Functionality Programmers Software management Use Case View System integrators Performance Scalability Throughput Process View

More information

A (Very) Short Introduction to Model-Driven Development (MDD)

A (Very) Short Introduction to Model-Driven Development (MDD) A (Very) Short Introduction to Model-Driven Development (MDD) (MDD ~ Model-Driven Engineering (MDE)) Introduction to MDD by Jan Pettersen Nytun, UiA, page 1, 4-Aug-11 Content Some background info What

More information

First Steps Towards Conceptual Schema Testing

First Steps Towards Conceptual Schema Testing First Steps Towards Conceptual Schema Testing Albert Tort and Antoni Olivé Universitat Politècnica de Catalunya {atort,olive}@lsi.upc.edu Abstract. Like any software artifact, conceptual schemas of information

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

Science of Computer Programming. GREAT: UML transformation tool for porting middleware applications

Science of Computer Programming. GREAT: UML transformation tool for porting middleware applications Science of Computer Programming 73 (2008) 3 12 Contents lists available at ScienceDirect Science of Computer Programming journal homepage: www.elsevier.com/locate/scico GREAT: UML transformation tool for

More information

Executable UML for Model Driven Architecture

Executable UML for Model Driven Architecture Executable UML for Model Driven Architecture Executable UML update Raising the level of abstraction Some history & benefits. Short about Executable UML and Model Driven Architecture (MDA) PIM vs PSM Separation

More information

Applying UML Modeling and MDA to Real-Time Software Development

Applying UML Modeling and MDA to Real-Time Software Development Michael Benkel Aonix GmbH www.aonix.de michael.benkel@aonix.de Applying UML Modeling and MDA to Real-Time Software Development The growing complexity of embedded real-time applications requires presentation

More information

MODEL-DRIVEN DEVELOPMENT OF COMMAND AND CONTROL CAPABILITIES FOR JOINT AND COALITION WARFARE

MODEL-DRIVEN DEVELOPMENT OF COMMAND AND CONTROL CAPABILITIES FOR JOINT AND COALITION WARFARE 9 TH International Command and Control Research & Technology Symposium MODEL-DRIVEN DEVELOPMENT OF COMMAND AND CONTROL CAPABILITIES FOR JOINT AND COALITION WARFARE Robert Jacobs Computer Systems Center

More information

Middlesex University Research Repository

Middlesex University Research Repository Middlesex University Research Repository An open access repository of Middlesex University research http://eprints.mdx.ac.uk Mellor, Stephen J. and Clark, Tony and Futagami, Takao (2003) Model-driven development:

More information

challenges in domain-specific modeling raphaël mannadiar august 27, 2009

challenges in domain-specific modeling raphaël mannadiar august 27, 2009 challenges in domain-specific modeling raphaël mannadiar august 27, 2009 raphaël mannadiar challenges in domain-specific modeling 1/59 outline 1 introduction 2 approaches 3 debugging and simulation 4 differencing

More information

Deliver robust products at reduced cost by linking model-driven software testing to quality management.

Deliver robust products at reduced cost by linking model-driven software testing to quality management. Quality management White paper September 2009 Deliver robust products at reduced cost by linking model-driven software testing to quality management. Page 2 Contents 2 Closing the productivity gap between

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

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

Model-Based Development of Embedded Systems with MDA and xtuml

Model-Based Development of Embedded Systems with MDA and xtuml Model-Based Development of Embedded Systems with MDA and xtuml Presentation at the MODPROD Workshop on Model-based Product Development at the University of Linköping, Sweden February 7, 2007 Erik Wedin

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

Business Rules in the Semantic Web, are there any or are they different?

Business Rules in the Semantic Web, are there any or are they different? Business Rules in the Semantic Web, are there any or are they different? Silvie Spreeuwenberg, Rik Gerrits LibRT, Silodam 364, 1013 AW Amsterdam, Netherlands {silvie@librt.com, Rik@LibRT.com} http://www.librt.com

More information