A common meta-model for the interoperation of tools with heterogeneous data models ECMFA 2010 Third Workshop on Model-Driven Tool & Process Integration.

Slides:



Advertisements
Similar presentations
MDI 2010, Oslo, Norway Behavioural Interoperability to Support Model-Driven Systems Integration Alek Radjenovic, Richard Paige The University of York,
Advertisements

MTVV Automated tests generation from SysML models July 1st Jonathan Lasalle.
Professor John Hosking, Dean of Engineering and Computer Science Models, Modelling, MBSE.
Modelling Class T05 Conceptual Modelling – Domain References: –Conceptual Modeling of Information Systems (Chapters 1.2.1, 2, 3) –A practical Guide to.
SysML in META Greg Eakman, Ph.D. BAE Systems V 1.2 7/7/2011.
Background information Formal verification methods based on theorem proving techniques and model­checking –to prove the absence of errors (in the formal.
OMG Systems Modeling Language (OMG SysML™) Matthew Hause ARTiSAN Software Tools Some slides reused from the OMG SysML™ Tutorial with permission.
Filling the Gap Between System Design & Performance Verification Rafik HENIA, Laurent RIOUX, Nicolas SORDON Thales Research & Technology.
Automated Analysis and Code Generation for Domain-Specific Models George Edwards Center for Systems and Software Engineering University of Southern California.
UML CASE Tool. ABSTRACT Domain analysis enables identifying families of applications and capturing their terminology in order to assist and guide system.
Ontologies Reasoning Components Agents Simulations An Overview of Model-Driven Engineering and Architecture Jacques Robin.
November 18, 2004 Embedded System Design Flow Arkadeb Ghosal Alessandro Pinto Daniele Gasperini Alberto Sangiovanni-Vincentelli
Department of Computer Science & Engineering College of Engineering Dr. Betty H.C. Cheng, Laura A. Campbell, Sascha Konrad The demand for distributed real-time.
NON-FUNCTIONAL PROPERTIES IN SOFTWARE PRODUCT LINES: A FRAMEWORK FOR DEVELOPING QUALITY-CENTRIC SOFTWARE PRODUCTS May Mahdi Noorian
1 Ivano Malavolta, University of L’aquila, Computer Science Department Ivano Malavolta DUALLy: an Eclipse platform for architectural languages interoperability.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 11 Slide 1 Architectural Design.
SysML: A Modeling Language for Systems of Systems
Basic Concepts The Unified Modeling Language (UML) SYSC System Analysis and Design.
Spectra Software Defined Radio Products Applying Model Driven Design, Generative Programming, and Agile Software Techniques to the SDR Domain OOPSLA '05.
Model-Driven User Requirements Specification using SysML Authors: Michel dos Santos Soares, Jos Vrancken Source: Journal of Software(JSW), Vol. 3, No.
MDA Guide Version CYT. 2 Outline OMG Vision and Process Introduction to MDA How is MDA Used? MDA Transformations Other MDA Capabilities Using the.
Free Mini Course: Applying SysML with MagicDraw
Systems Modeling Language ™ Overview Cris Kobryn and Sandy Friedenthal SysML Partners ( October 2003.
An Approach and Tool for Synchronous Refactoring of UML Diagrams and Models Using Model-to-Model Transformations Hafsteinn Þór Einarsson Helmut Neukirchen.
Chapter 6 System Engineering - Computer-based system - System engineering process - “Business process” engineering - Product engineering (Source: Pressman,
Workshop on Integrated Application of Formal Languages, Geneva J.Fischer Mappings, Use of MOF for Language Families Joachim Fischer Workshop on.
©Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 10Slide 1 Architectural Design l Establishing the overall structure of a software system.
 Dipl.-Ing. Lars Grunske, 1 Hasso-Plattner-Institute for Software System Engineering at the University of Potsdam Department of Software Engineering and.
RTS Meeting 8th July 2009 Introduction Middleware AUTOSAR Conclusion.
Agenda 1. Introduction 2. Overview of SU-MoVal 3. OCL-based Model Validation 4. QVT-based Transformations 5. Demo of SU-MoVal 6. Conclusion and Future.
©Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 10Slide 1 Architectural Design l Establishing the overall structure of a software system.
Alignment of ATL and QVT © 2006 ATLAS Nantes Alignment of ATL and QVT Ivan Kurtev ATLAS group, INRIA & University of Nantes, France
What is MOF? The Meta Object Facility (MOF) specification provides a set of CORBA interfaces that can be used to define and manipulate a set of interoperable.
ITEA International Workshop on Challenges in Methodology, Representation, and Tooling for Automotive Embedded Systems, Berlin 2012 AMALTHEA Tool.
SaveUML System design. System overview Possible...
11 CORE Architecture Mauro Bruno, Monica Scannapieco, Carlo Vaccari, Giulia Vaste Antonino Virgillito, Diego Zardetto (Istat)
Architectural Design lecture 10. Topics covered Architectural design decisions System organisation Control styles Reference architectures.
Abstract Use Case Map (UCM) scenarios are useful for elicitation and analysis of software requirements However, they must be used in cooperation with complementary.
© 2012 xtUML.org Bill Chown – Mentor Graphics Model Driven Engineering.
©Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 10Slide 1 Architectural Design l Establishing the overall structure of a software system.
Architectural Design Yonsei University 2 nd Semester, 2014 Sanghyun Park.
XASTRO-2 Overview Presentation CCSDS SAWG Athens Meeting 12 th April 2005.
Refining middleware functions for verification purpose Jérôme Hugues Laurent Pautet Fabrice Kordon
Modeling Component-based Software Systems with UML 2.0 George T. Edwards Jaiganesh Balasubramanian Arvind S. Krishna Vanderbilt University Nashville, TN.
Model Checking and Model-Based Design Bruce H. Krogh Carnegie Mellon University.
Graphical Modeling Framework (GMF) Richard C. Gronback Project Lead.
ARTEMIS JU Grant Agreement number WP4 Instantiation WP4 Status 25 September, 2013.
XASTRO-2 Presentation CCSDS SAWG th November 2004.
© Fraunhofer IESE Fraunhofer IESE Multi-Language Development of Embedded Systems Dr. Thomas Kuhn Tel.:
Formal Verification. Background Information Formal verification methods based on theorem proving techniques and model­checking –To prove the absence of.
Software Engineering Lecture 10: System Engineering.
Ontologies Reasoning Components Agents Simulations An Overview of Model-Driven Engineering and Architecture Jacques Robin.
XASTRO vs RASDS CCSDS SAWG Meeting. CCSDS SAWG2 Presentation Outline XASTRO study analysis phase conclusions Relationship between XASTRO and UML 2 / SysML.
© 2009 Artisan Software Tools. All rights reserved. Testing Solutions with UML/SysML Andrew Stuart, Matthew Hause.
INCOSE MDSD SysML/AP233 Mapping Workshop Results David Price Allison Feeney
©Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 10Slide 1 Chapter 5:Architectural Design l Establishing the overall structure of a software.
Mechanisms for Requirements Driven Component Selection and Design Automation 최경석.
SysML/AP233 Mapping Status Report to SE DSIG David Price Allison Feeney June 2009.
Model-based design inspection based on traceability information models and design slicing Shiva Nejati April 15, 2015.
SysML 2.0 Requirements for Visualization
SysML 2.0 Formalism: Requirement Benefits, Use Cases, and Potential Language Architectures Formalism WG December 6, 2016.
SysML v2 Formalism: Requirements & Benefits
SysML v2 Usability Working Session
Introduction to SysML v.2.0 Metamodel (KerML)
Domain Specific Product Description Exchange
UML profiles.
Architecture Description Languages
Automated Analysis and Code Generation for Domain-Specific Models
Copyright © 2015, 2012, 2009 Elsevier Inc. All rights reserved.
Introduction to TDL and TOP
Presentation transcript:

A common meta-model for the interoperation of tools with heterogeneous data models ECMFA 2010 Third Workshop on Model-Driven Tool & Process Integration Andreas Baumgart

Motivation Embedded system development processes with various tools and different meta-models Cover requirements and models at different abstraction levels and with different viewpoints during process Meta-model transformations expensive when required between various meta-models Giant meta-model covering all specific artefacts difficult to handle Common meta-model provides common understanding of model artefacts and traceability Currently developped in european research project CESAR

Related Work SysML (OMG, UML based unification of standards for systems engineers) Structural modeling with blocks, properties, connectors, data types, physical units, dimensions Behavioral descriptions in terms of activity diagrams and state machines Requirements descriptions, use cases, trace links and test cases HRC (SPEEDS) Generic and formal description of hierarchical components with connectors, ports, port specifications and data types State Machines, Expression Language, Action Language (C like) Contracts with assumption / promise pairs on components and viewpoints EAST-ADL (ATESST, Automotive Domain Specific Language) Hierarchical modelling at different abstraction levels, features, functional and hardware models, connectors, flow / client-server / hardware ports, variability External nominal behavior, error behavior, timing descriptions Textual requirements, trace links, verification and validation

Concepts and artefacts of a common meta-model Heterogeneous Components hierarchical, reuse, connectors, ports, port specifications, data flows, services, data types, behavior Requirements, models and verification / validation along development process requirements, levels of abstraction / formalization, traceability, viewpoints (safety, realtime, …), fault models, product lines, test cases

Identication of concepts in different meta-models ArtifactReferenceEAST-ADL 2Reference ComponentPart typed by Component ADLFunctionType ADLFunctionPrototype.type [1] PartComponent has Parts ADLFunctionPrototype ADLFunctionType.part [*] PortsComponent has Data Ports ADL[In|Out]FlowPort ADLFunctionType.flowPort [*] Component has Service Interface ADL[Client|Server]Port ADLFunctionType.clientServerPort [*] Service ConnectorInterfaces connected ADLConnectorPrototype.[flow, clientServer]Port [*] BehaviourComponent has Behaviour ADL[Native, External]Behavior ADLFunctionType.behavior [0..1] Data TypePort is typedADLDesignDataType ADLFlowPort.type [1]

Tool interoperation using the common meta-model Common understanding of model artefacts Mapping needed Exchange format Native format (i.e. for analysis) Common interface Identify foreign model artefacts Provide traceability between heterogeneous model elements Provide model with elements coming from different models Further trace model can provide linkage to original model elements Get language specific information from original model

Modelling and analyzing a hybrid engine controller EAST-ADL (Papyrus) Automotive model HRC (A/P-Editor) Common model HRC (Dominance analysis) Model with contracts ModelBus Model driven tool integration framework Plugged Papyrus, A/P-Editor, Dominance Analysis Service Plugged model transformation service (QVT, EAST-ADL  HRC) Model repository Common meta-model provides common interface to requirements and structure Scenario

A common-meta-model for the interoperation of tools with heterogeneous data-models No combination of all elements of different data-models Provides common concepts Hierarchical components with data flows and behaviour Requirements, traceability, abstraction levels, verification / validation, product lines … (to be identified) Mapping between data-models and common-meta-model required Provide common view / interface for a heterogeneous set of model artefacts Conclusion