meta model and model co evolution
play

Meta-Model and Model co-evolution Jean-Marie Favre University of - PowerPoint PPT Presentation

Jan 31, 2024 •268 likes •995 views

University of Grenoble University of Grenoble ADELE Team ADELE Team LSR LSR IMAG IMAG Meta-Model and Model co-evolution Jean-Marie Favre University of Grenoble ELISA, September 23, 2003, Amsterdam www-adele.imag.fr/~ jmfavre University

  1. University of Grenoble University of Grenoble ADELE Team ADELE Team LSR LSR IMAG IMAG Meta-Model and Model co-evolution Jean-Marie Favre University of Grenoble ELISA, September 23, 2003, Amsterdam www-adele.imag.fr/~ jmfavre

  2. University of Grenoble ADELE Team LSR IMAG OUTLINE OUTLINE I Motivation and background Motivation and background : Industry : Industry I I Software in 3D Software in 3D I N D1: meta dimension D1: meta dimension N D2: engineering dimension D2: engineering dimension N D3: representation dimension D3: representation dimension I Evolution: entering the 4th dimension… Evolution: entering the 4th dimension… I I Conclusion Conclusion I ELISA, September 23, 2003, Amsterdam www-adele.imag.fr/~ jmfavre

  3. University of Grenoble University of Grenoble ADELE Team ADELE Team LSR LSR IMAG IMAG Part I : Part I : Motivation and Background Motivation and Background ELISA, September 23, 2003, Amsterdam www-adele.imag.fr/~ jmfavre

  4. University of Grenoble ADELE Team LSR IMAG Historical mistakes in Software Engineering Historical mistakes in Software Engineering (1) Software is stable (1) Software is stable I (2) Software is made of programs (2) Software is made of programs I Everything evolve in complex industrial contexts Everything evolve in complex industrial contexts ELISA, September 23, 2003, Amsterdam www-adele.imag.fr/~ jmfavre

  5. University of Grenoble ADELE Team LSR IMAG Architecture and Code co- -evolution evolution Architecture and Code co Explicit vs. implicit architecture Explicit vs. implicit architecture I Architecture Architecture and code both evolve Architecture and code both evolve I Horizontal impacts Horizontal impacts I Vertical impacts Vertical impacts I Synchronization and conformance issues Synchronization and conformance issues I Risks of erosion Risks of erosion I Architecture- -driven vs. code driven vs. code- -driven driven Architecture I Code A "well identified" phenomenon nowadays A "well identified" phenomenon nowadays I Initially neglected by academics Initially neglected by academics I ELISA, September 23, 2003, Amsterdam www-adele.imag.fr/~ jmfavre

  6. University of Grenoble ADELE Team LSR IMAG Architecture and Code co- -evolution evolution Architecture and Code co Explicit vs. implicit architecture Explicit vs. implicit architecture I Architecture and code both evolve Architecture and code both evolve I architecture Horizontal impacts Horizontal impacts I Vertical impacts Vertical impacts I Architecture- Architecture -driven vs. code driven vs. code- -driven driven I Synchronization and conformance issues Synchronization and conformance issues I Risks of erosion Risks of erosion I A "well identified" phenomenon nowadays A "well identified" phenomenon nowadays I code Initially neglected by academics Initially neglected by academics I ELISA, September 23, 2003, Amsterdam www-adele.imag.fr/~ jmfavre

  7. University of Grenoble ADELE Team LSR IMAG Architecture and Code co- -evolution evolution Architecture and Code co Explicit vs. implicit architecture Explicit vs. implicit architecture I Architecture Architecture and code both evolve Architecture and code both evolve I Horizontal impacts Horizontal impacts I Vertical impacts Vertical impacts I Synchronization and conformance issues Synchronization and conformance issues I Risks of erosion Risks of erosion I Architecture- -driven vs. code driven vs. code- -driven driven Architecture I Code A "well identified" phenomenon nowadays A "well identified" phenomenon nowadays I Initially neglected by academics Initially neglected by academics I ELISA, September 23, 2003, Amsterdam www-adele.imag.fr/~ jmfavre

  8. University of Grenoble ADELE Team LSR IMAG Program / Language / Tool co- -evolution evolution Program / Language / Tool co language language Program/Language Program/Language Language/Compiler Language/Compiler co- -evolution evolution co co- -evolution evolution co program program compiler Program/Compiler Program/Compiler co- -evolution evolution co ELISA, September 23, 2003, Amsterdam www-adele.imag.fr/~ jmfavre

  9. University of Grenoble ADELE Team LSR IMAG Program / Language / Tool co- -evolution evolution Program / Language / Tool co language language Program/Language Program/Language Language/Compiler Language/Compiler co- -evolution evolution co co- -evolution evolution co program compiler compiler Program/Compiler Program/Compiler co- -evolution evolution co ELISA, September 23, 2003, Amsterdam www-adele.imag.fr/~ jmfavre

  10. University of Grenoble ADELE Team LSR IMAG Program / Language / Tool co- -evolution evolution Program / Language / Tool co language Program/Language Program/Language Language/Compiler Language/Compiler co- -evolution evolution co co- -evolution evolution co program program compiler compiler Program/Compiler Program/Compiler co- -evolution evolution co ELISA, September 23, 2003, Amsterdam www-adele.imag.fr/~ jmfavre

  11. University of Grenoble ADELE Team LSR IMAG Program / Language / Tool co- -evolution evolution Program / Language / Tool co language program compiler ELISA, September 23, 2003, Amsterdam www-adele.imag.fr/~ jmfavre

  12. University of Grenoble ADELE Team LSR IMAG Model / Meta- -Model / Tool co Model / Tool co- -evolution evolution Model / Meta metamodel Model/Metamodel Model/Metamodel Metamodel/Tool Metamodel/Tool co- -evolution evolution co co- -evolution evolution co model tool Model/Tool Model/Tool co- -evolution evolution co ELISA, September 23, 2003, Amsterdam www-adele.imag.fr/~ jmfavre

  13. University of Grenoble ADELE Team LSR IMAG Schema Evolution Schema Evolution Conceptual schema Implementation data schema ELISA, September 23, 2003, Amsterdam www-adele.imag.fr/~ jmfavre

  14. University of Grenoble ADELE Team LSR IMAG Background : Background : A 7- -year case study year case study A 7 Collaboration with industry Collaboration with industry World leader in CAD/CAM World leader in CAD/CAM I 19 000 clients, 180 000 seats 19 000 clients, 180 000 seats I Clients: Boeing, Chrysler, … Clients: Boeing, Chrysler, … I Main software: CATIA Main software: CATIA I ELISA, September 23, 2003, Amsterdam www-adele.imag.fr/~ jmfavre

  15. University of Grenoble ADELE Team LSR IMAG CATIA: a very large CATIA: a very large Software Product Line Software Product Line 1200+ software engineers 1200+ software engineers I 70 000+ classes C++ 70 000+ classes C++ I 8 000+ components 8 000+ components I 5 000+ interfaces 5 000+ interfaces I 3 000+ DLLs 3 000+ DLLs I 800+ frameworks 800+ frameworks I … … I Need to raise the level s s of abstraction of abstraction Need to raise the level I Architecture Architecture I Metamodel Metamodel ELISA, September 23, 2003, Amsterdam www-adele.imag.fr/~ jmfavre

  16. University of Grenoble ADELE Team LSR IMAG A Meta- -Model Driven Architecture Recovery Process Model Driven Architecture Recovery Process A Meta ELISA, September 23, 2003, Amsterdam www-adele.imag.fr/~ jmfavre

  17. University of Grenoble University of Grenoble ADELE Team ADELE Team LSR LSR IMAG IMAG Part II : Part II : The 3D Software Space The 3D Software Space ELISA, September 23, 2003, Amsterdam www-adele.imag.fr/~ jmfavre

  18. University of Grenoble ADELE Team LSR IMAG The 3D Software space The 3D Software space ELISA, September 23, 2003, Amsterdam www-adele.imag.fr/~ jmfavre

  19. University of Grenoble ADELE Team LSR IMAG The 3D Software space The 3D Software space ELISA, September 23, 2003, Amsterdam www-adele.imag.fr/~ jmfavre

  20. University of Grenoble ADELE Team LSR IMAG The 3D Software space The 3D Software space ELISA, September 23, 2003, Amsterdam www-adele.imag.fr/~ jmfavre

  21. University of Grenoble ADELE Team LSR IMAG The 3D Software space The 3D Software space ELISA, September 23, 2003, Amsterdam www-adele.imag.fr/~ jmfavre

  22. University of Grenoble ADELE Team LSR IMAG A taxonomy of software artefacts A taxonomy of software artefacts ELISA, September 23, 2003, Amsterdam www-adele.imag.fr/~ jmfavre

  23. University of Grenoble ADELE Team LSR IMAG D1: The Meta dimension D1: The Meta dimension The Meta- -towers towers The Meta I The Meta- -pyramid pyramid The Meta I The Meta actor pyramid The Meta actor pyramid I ELISA, September 23, 2003, Amsterdam www-adele.imag.fr/~ jmfavre

  24. University of Grenoble ADELE Team LSR IMAG D1: The Meta- -towers towers D1: The Meta ELISA, September 23, 2003, Amsterdam www-adele.imag.fr/~ jmfavre

  25. University of Grenoble ADELE Team LSR IMAG D1: The Meta- -pyramid pyramid D1: The Meta ELISA, September 23, 2003, Amsterdam www-adele.imag.fr/~ jmfavre

  26. University of Grenoble ADELE Team LSR IMAG D1: The Meta- -pyramid pyramid D1: The Meta APPLIWARE ELISA, September 23, 2003, Amsterdam www-adele.imag.fr/~ jmfavre

  27. University of Grenoble ADELE Team LSR IMAG D1: The Meta- -pyramid pyramid D1: The Meta METAWARE ELISA, September 23, 2003, Amsterdam www-adele.imag.fr/~ jmfavre

  28. University of Grenoble ADELE Team LSR IMAG D1: The Meta- -pyramid pyramid D1: The Meta SOFTWARE ELISA, September 23, 2003, Amsterdam www-adele.imag.fr/~ jmfavre

Recommend

Bayesian Model-Agnostic Meta-Learning Taesup Kim* (presenter), Jaesik Yoon* Ousmane Dia,

Bayesian Model-Agnostic Meta-Learning Taesup Kim* (presenter), Jaesik Yoon* Ousmane Dia,

Bayesian Model-Agnostic Meta-Learning Taesup Kim* (presenter), Jaesik Yoon* Ousmane Dia, Sungwoong Kim, Yoshua Bengio, Sungjin Ahn Model-Agnostic Meta-learning (MAML) gradient-based meta-learning framework meta-update task adaptation

886 views • 22 slides
A CSP Approach for Meta Model Instantiation Adel Ferdjoukh , Anne-Elisabeth Baert, Annie Chateau,

A CSP Approach for Meta Model Instantiation Adel Ferdjoukh , Anne-Elisabeth Baert, Annie Chateau,

A CSP Approach for Meta Model Instantiation Adel Ferdjoukh , Anne-Elisabeth Baert, Annie Chateau, R emi Coletta and Cl ementine Nebut Montpellier, France null A CSP Approach for Meta Model Instantiation Summary 1 Model Driven Engineering

1.18k views • 73 slides
System Modeling Introduction Rugby Meta-Model Finite State Machines Petri Nets Untimed Model

System Modeling Introduction Rugby Meta-Model Finite State Machines Petri Nets Untimed Model

System Modeling Introduction Rugby Meta-Model Finite State Machines Petri Nets Untimed Model of Computation Synchronous Model of Computation Timed Model of Computation Integration of Computational Models Tightly Coupled Process Networks

625 views • 34 slides
System Modeling Introduction Rugby Meta-Model Finite State Machines Petri Nets Untimed Model

System Modeling Introduction Rugby Meta-Model Finite State Machines Petri Nets Untimed Model

System Modeling Introduction Rugby Meta-Model Finite State Machines Petri Nets Untimed Model of Computation Synchronous Model of Computation Timed Model of Computation Integration of Computational Models Tightly Coupled Process Networks

946 views • 75 slides
Meta-Evolution Style for Software Architecture Evolution lah Ad Adel Ha Hassan n and Mourad d

Meta-Evolution Style for Software Architecture Evolution lah Ad Adel Ha Hassan n and Mourad d

Meta-Evolution Style for Software Architecture Evolution lah Ad Adel Ha Hassan n and Mourad d Oussalah SOFSEM 2016 1 Harrachov, Czech Republic Outline Motivation Preliminaries Evolution styles Meta-evolution style

554 views • 18 slides
An ontology-based model for representing evolution of both data and semantic in GIS Chamseddine

An ontology-based model for representing evolution of both data and semantic in GIS Chamseddine

An ontology-based model for representing evolution of both data and semantic in GIS Chamseddine Zaki Myriam Servieres Guillaume Moreau 2008 GI-DAYS Plan Introduction Related Work: Snapshot Model Three domain Model MADS Ontologies Our

330 views • 20 slides
Flock on the March A Meta-Proof of a Meta-Model By Zihan Zhou QCS, Class of 2017 What am I

Flock on the March A Meta-Proof of a Meta-Model By Zihan Zhou QCS, Class of 2017 What am I

Flock on the March A Meta-Proof of a Meta-Model By Zihan Zhou QCS, Class of 2017 What am I modeling? Boids Infinite many Same destination Not a transportation protocol Obstacles Infinite many Arbitrary

267 views • 26 slides
Dieter De Hen Model Transformation Explicit Transformation Modeling Traffic and Petri

Dieter De Hen Model Transformation Explicit Transformation Modeling Traffic and Petri

Dieter De Hen Model Transformation Explicit Transformation Modeling Traffic and Petri Net Meta-Model Transformation Formalism Graph Grammar Meta-Model Traffic Model Transforming Traffic to Petri Net Models The Result

546 views • 12 slides
Meta- Meta -Programming with Programming with Modelica Modelica for Meta- for Meta

Meta- Meta -Programming with Programming with Modelica Modelica for Meta- for Meta

Meta- Meta -Programming with Programming with Modelica Modelica for Meta- for Meta -Modeling and Modeling and Model Transformations Model Transformations Peter Fritzson, Adrian Pop Peter Fritzson, Adrian Pop OpenModelica Course, 2007

381 views • 14 slides
Yvette Teiken 2 Agenda Introduction Brief overview of our research activities Model

Yvette Teiken 2 Agenda Introduction Brief overview of our research activities Model

A Common Meta-Model for Data Analysis based on DSM R&D Division Health Yvette Teiken 2 Agenda Introduction Brief overview of our research activities Model Driven MUSTANG Visual MUSTANG A common Meta-Model for data

289 views • 10 slides
Model-based development Meta-modelling creating new languages

Model-based development Meta-modelling creating new languages

TDT4250 - Model-driven Development of Information Systems, Autumn 2009 Model-based development Meta-modelling creating new languages Domain-specific languages some languages are domain-specific Model-based

1.21k views • 34 slides
Proactive Quality Guidance for Model Evolution in Model Libraries Andreas Ganser, Horst Lichter,

Proactive Quality Guidance for Model Evolution in Model Libraries Andreas Ganser, Horst Lichter,

Proactive Quality Guidance for Model Evolution in Model Libraries Andreas Ganser, Horst Lichter, Alexander Roth, and Bernhard Rumpe Setting the Scene If You Take One Thing The Details Some References Setting the Scene ... Model Recommenders

514 views • 10 slides
Analysing Meta-Model Product Lines Esther Guerra, Juan de Lara Universidad Aut onoma de Madrid

Analysing Meta-Model Product Lines Esther Guerra, Juan de Lara Universidad Aut onoma de Madrid

Analysing Meta-Model Product Lines Esther Guerra, Juan de Lara Universidad Aut onoma de Madrid (Spain) Marsha Chechik, Rick Salay University of Toronto (Canada) Esther Guerra Analysing Meta-Model Product Lines SLE 2018 1 / 27 Motivation

492 views • 34 slides
Extra ATL information Extra ATL information Assigning attributes in ATL rules: Assigning

Extra ATL information Extra ATL information Assigning attributes in ATL rules: Assigning

Extra ATL information Extra ATL information Assigning attributes in ATL rules: Assigning references g g Three cases: Meta model In/out Meta model Attribute element Model target element generated by current rule pattern

147 views • 4 slides
A Two-State Model of Tree Evolution and Its Applications

A Two-State Model of Tree Evolution and Its Applications

A Two-State Model of Tree Evolution and Its Applications to Alu Retrotransposition NIEMA MOSHIRI AND SIAVASH MIRARAB Presented by: Surbhi Jain INTRODUCTION Background Approx 6 billion base

248 views • 20 slides
Lemma Learning in the Model Evolution Calculus Peter Baumgartner Alexander Fuchs Cesare Tinelli

Lemma Learning in the Model Evolution Calculus Peter Baumgartner Alexander Fuchs Cesare Tinelli

Lemma Learning in the Model Evolution Calculus Peter Baumgartner Alexander Fuchs Cesare Tinelli Baumgartner/Fuchs/Tinelli Lemma Learning in the Model Evolution Calculus 1 Background Instance Based Methods Model Evolution is a sound

793 views • 20 slides
Design and Use of CSP Meta-Model for Embedded Control Software Development Communicating Process

Design and Use of CSP Meta-Model for Embedded Control Software Development Communicating Process

Design and Use of CSP Meta-Model for Embedded Control Software Development Communicating Process Architectures 2012 Maarten Bezemer, Robert Wilterdink and Jan Broenink Robotics and Mechatronics, University of Twente, The Netherlands Outline

292 views • 17 slides
Model-Based Meta-Analysis with NONMEM Jae Eun Ahn, Ph.D. College of Pharmacy, Kangwon National

Model-Based Meta-Analysis with NONMEM Jae Eun Ahn, Ph.D. College of Pharmacy, Kangwon National

Longitudinal Aggregate Data Model-Based Meta-Analysis with NONMEM Jae Eun Ahn, Ph.D. College of Pharmacy, Kangwon National University 7 Sep 2012 WCoP, Seoul, Korea Acknowledgments Department of Pharmacometrics, Pfizer, Inc. Jonathan

656 views • 31 slides
Generating a Family of Byzantine- Fault-Tolerant Protocol Implementations Using a Meta- Model

Generating a Family of Byzantine- Fault-Tolerant Protocol Implementations Using a Meta- Model

Generating a Family of Byzantine- Fault-Tolerant Protocol Implementations Using a Meta- Model Architecture Graham Kirby, Alan Dearle & Stuart Norcross School of Computer Science, University of St Andrews A Finite State Machine WADS 2007

599 views • 20 slides
Meta-model Pruning Sagar Sen, Naouel Moha, Benoit Baudry, Jean-Marc Jzquel Equipe TRISKELL,

Meta-model Pruning Sagar Sen, Naouel Moha, Benoit Baudry, Jean-Marc Jzquel Equipe TRISKELL,

Meta-model Pruning Sagar Sen, Naouel Moha, Benoit Baudry, Jean-Marc Jzquel Equipe TRISKELL, INRIA Rennes Bretagne-Atlantique October 3-9, MODELS 2009 Denver Colorado 1 Outline Where do large meta-models come from? Why a need to

614 views • 46 slides
Superposition and Model Evolution Combined Peter Baumgartner Uwe Waldmann NICTA and Max Planck

Superposition and Model Evolution Combined Peter Baumgartner Uwe Waldmann NICTA and Max Planck

Superposition and Model Evolution Combined Peter Baumgartner Uwe Waldmann NICTA and Max Planck Institute Australian National University for Informatics 1 P. Baumgartner and U. Waldmann Motivation Both Superposition and Model Evolution

261 views • 24 slides
Meta-Bayesian Analysis A Bayesian decision-theoretic analysis of Bayesian inference under model

Meta-Bayesian Analysis A Bayesian decision-theoretic analysis of Bayesian inference under model

Meta-Bayesian Analysis A Bayesian decision-theoretic analysis of Bayesian inference under model misspecification Jun Yang joint work with Daniel Roy Department of Statistical Sciences University of Toronto World Congress in Probability and

190 views • 17 slides
The Besancon Galaxy Model, a population synthesis tool for galactic structure and evolution

The Besancon Galaxy Model, a population synthesis tool for galactic structure and evolution

The Besancon Galaxy Model, a population synthesis tool for galactic structure and evolution studies A.C. Robin, C. Reyl, B. Debray OSU THETA, Institut UTINAM Besanon, France Outlines Population synthesis approach Model ingredients

787 views • 51 slides
Branching within branching: a general model for host-parasite co-evolution Gerold Alsmeyer (joint

Branching within branching: a general model for host-parasite co-evolution Gerold Alsmeyer (joint

Model The ABPRE Extinction results Survival case Branching within branching: a general model for host-parasite co-evolution Gerold Alsmeyer (joint work with S oren Gr ottrup) May 15, 2017 Gerold Alsmeyer Host-parasite co-evolution 1

538 views • 26 slides

More recommend