Model Driven Engineering
|
|
- Noel Johnston
- 5 years ago
- Views:
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 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 informationAn 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 informationModel 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 informationUML 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 informationComputation 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 informationModellierung 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 informationThis 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 informationModel 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 informationMODEL 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 informationAll 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 informationAn 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 informationModel 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 informationUnambiguous 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 informationMDD 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 informationModel 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 informationModel 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 informationObject 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 informationPractical 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 informationINF5120 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 informationQoS-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 informationObject-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 informationIntroduction 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 informationADT: 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 informationModelling 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 informationTraceability 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 informationCoral: 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 informationBLU 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 informationGMF 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 informationDeveloping 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 informationAn 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 informationRaising 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 informationRole 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 informationModel 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 informationMDSE 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 informationModel-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 informationFuture 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 informationThe 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 informationDefining 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 informationEvent 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 informationThe 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 informationCOSC 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 informationSecond 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 informationMDA-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 informationImpacts 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 informationA 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 informationModel 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 informationAT&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 informationMetamodeling 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 informationOpen 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 informationThe 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 informationAutomation 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 informationImplementing 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 informationOMG 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 informationScience 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 informationIBM 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 informationImproving 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 informationRich 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 informationThe 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 information02291: 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 informationA 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 informationSysML 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 informationSpemmet - 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 informationA 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 informationTransformational 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 informationModel 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 informationCODAGEN 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 informationTowards 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 informationOCL 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 informationAn 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 informationModel-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 informationIntegrating 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 informationOverview 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 informationA 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 informationMethods 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 informationinnoq 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 informationAdapting 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 informationOrthographic 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 informationDefinition 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 informationSmall 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 informationSoftwaretechnik. 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 informationINTRODUCTION. 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 informationDesign 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 informationA 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 informationIt 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 informationUnified 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 informationComposite 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 informationConstruction 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 informationStatic 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 informationEditor 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 informationFrom 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 informationDEV427 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 informationDefining 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 informationTransformation 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 informationIntroduction 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 informationCopying 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 informationComparative 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 informationChristian 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 informationSoftware 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 informationMetamodeling. 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 informationTABLE 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