mamba model based software analysis utilizing omg s smm
play

MAMBA Model-Based Software Analysis Utilizing OMGs SMM WSR 2012 - PowerPoint PPT Presentation

Jan 06, 2023 •121 likes •1.02k views

MAMBA Model-Based Software Analysis Utilizing OMGs SMM WSR 2012 Sren Frey Andr van Hoorn Reiner Jung Benjamin Kiel Wilhelm Hasselbring Christian-Albrechts-University, Kiel Software Engineering Group 3.05.2012 Contents Motivation

  1. MAMBA Model-Based Software Analysis Utilizing OMG’s SMM WSR 2012 Sören Frey André van Hoorn Reiner Jung Benjamin Kiel Wilhelm Hasselbring Christian-Albrechts-University, Kiel Software Engineering Group 3.05.2012

  2. Contents Motivation 1 Structured Metrics Meta-Model 2 MAMBA 3 Conclusions 4 Frey, van Hoorn, Jung, Kiel, Hasselbring MAMBA 3.05.2012 2 / 16

  3. � Motivation Motivation Goal: Model-Based Software Analysis with SMM [Obj12] Frey, van Hoorn, Jung, Kiel, Hasselbring MAMBA 3.05.2012 3 / 16

  4. � Motivation Motivation Goal: Model-Based Software Analysis with SMM [Obj12] Re-usable metrics Frey, van Hoorn, Jung, Kiel, Hasselbring MAMBA 3.05.2012 3 / 16

  5. � Motivation Motivation Goal: Model-Based Software Analysis with SMM [Obj12] Re-usable metrics Use of metrics across technology boundaries Frey, van Hoorn, Jung, Kiel, Hasselbring MAMBA 3.05.2012 3 / 16

  6. � Motivation Motivation Goal: Model-Based Software Analysis with SMM [Obj12] Re-usable metrics Use of metrics across technology boundaries Combination of static and dynamic analysis Frey, van Hoorn, Jung, Kiel, Hasselbring MAMBA 3.05.2012 3 / 16

  7. � Motivation Motivation Goal: Model-Based Software Analysis with SMM [Obj12] Re-usable metrics Use of metrics across technology boundaries Combination of static and dynamic analysis Solution Frey, van Hoorn, Jung, Kiel, Hasselbring MAMBA 3.05.2012 3 / 16

  8. � Motivation Motivation Goal: Model-Based Software Analysis with SMM [Obj12] Re-usable metrics Use of metrics across technology boundaries Combination of static and dynamic analysis Solution OMG’s Structured Metrics Meta-Model (SMM) Frey, van Hoorn, Jung, Kiel, Hasselbring MAMBA 3.05.2012 3 / 16

  9. Motivation Motivation Goal: Model-Based Software Analysis with SMM [Obj12] Re-usable metrics Use of metrics across technology boundaries Combination of static and dynamic analysis Solution OMG’s Structured Metrics Meta-Model (SMM) Measurement Architecture for Model-Based Analysis (MAMBA) [FvHJ � 11] http://mamba-framework.sf.net/ Frey, van Hoorn, Jung, Kiel, Hasselbring MAMBA 3.05.2012 3 / 16

  10. Bookstore - Example Motivation <<component>> <<component>> <<component>> Catalog Bookstore CRM getBook : Book searchBook : List<Book> getOrders : List<Order> Frey, van Hoorn, Jung, Kiel, Hasselbring MAMBA 3.05.2012 4 / 16

  11. Bookstore - Example Motivation <<component>> <<component>> <<component>> Catalog Bookstore CRM getBook : Book searchBook : List<Book> getOrders : List<Order> Example Metrics Frey, van Hoorn, Jung, Kiel, Hasselbring MAMBA 3.05.2012 4 / 16

  12. Bookstore - Example Motivation <<component>> <<component>> <<component>> Catalog Bookstore CRM getBook : Book searchBook : List<Book> getOrders : List<Order> Example Metrics Number of classes Frey, van Hoorn, Jung, Kiel, Hasselbring MAMBA 3.05.2012 4 / 16

  13. Bookstore - Example Motivation <<component>> <<component>> <<component>> Catalog Bookstore CRM getBook : Book searchBook : List<Book> getOrders : List<Order> Example Metrics Number of classes Average response time of methods Frey, van Hoorn, Jung, Kiel, Hasselbring MAMBA 3.05.2012 4 / 16

  14. Bookstore - Example Motivation <<component>> <<component>> <<component>> Catalog Bookstore CRM getBook : Book searchBook : List<Book> getOrders : List<Order> AverageResponseTime Example Metrics Number of classes Average response time of methods (here searchBook ) Frey, van Hoorn, Jung, Kiel, Hasselbring MAMBA 3.05.2012 4 / 16

  15. SMM Features Structured Metrics Meta-Model Composition Definition of measures Frey, van Hoorn, Jung, Kiel, Hasselbring MAMBA 3.05.2012 5 / 16

  16. SMM Features Structured Metrics Meta-Model Composition Definition of measures Definition of observations Frey, van Hoorn, Jung, Kiel, Hasselbring MAMBA 3.05.2012 5 / 16

  17. SMM Features Structured Metrics Meta-Model Composition Definition of measures Definition of observations Collection of measurement results Frey, van Hoorn, Jung, Kiel, Hasselbring MAMBA 3.05.2012 5 / 16

  18. SMM Features Structured Metrics Meta-Model Composition Definition of measures Definition of observations Collection of measurement results Measures Direct measures, like a ClassRecognizer Frey, van Hoorn, Jung, Kiel, Hasselbring MAMBA 3.05.2012 5 / 16

  19. SMM Features Structured Metrics Meta-Model Composition Definition of measures Definition of observations Collection of measurement results Measures Direct measures, like a ClassRecognizer Derived measures, like a NumberOfClasses Frey, van Hoorn, Jung, Kiel, Hasselbring MAMBA 3.05.2012 5 / 16

  20. SMM Features Structured Metrics Meta-Model Composition Definition of measures Definition of observations Collection of measurement results Measures Direct measures, like a ClassRecognizer Derived measures, like a NumberOfClasses Closed: rely only on SMM and observed model Frey, van Hoorn, Jung, Kiel, Hasselbring MAMBA 3.05.2012 5 / 16

  21. SMM Features Structured Metrics Meta-Model Composition Definition of measures Definition of observations Collection of measurement results Measures Direct measures, like a ClassRecognizer Derived measures, like a NumberOfClasses Closed: rely only on SMM and observed model Open: require additional external data (e.g. monitoring data) Frey, van Hoorn, Jung, Kiel, Hasselbring MAMBA 3.05.2012 5 / 16

  22. Measuring with SMM Structured Metrics Meta-Model bookstore.smm :MeasureLibrary Frey, van Hoorn, Jung, Kiel, Hasselbring MAMBA 3.05.2012 6 / 16

  23. Measuring with SMM Structured Metrics Meta-Model bookstore.smm :MeasureLibrary :CollectiveMeasure name="NumberOfClasses" accumulator=sum Frey, van Hoorn, Jung, Kiel, Hasselbring MAMBA 3.05.2012 6 / 16

  24. Measuring with SMM Structured Metrics Meta-Model bookstore.smm :MeasureLibrary :CollectiveMeasure name="NumberOfClasses" accumulator=sum scope :Scope class="kdm.code.CodeModel" Frey, van Hoorn, Jung, Kiel, Hasselbring MAMBA 3.05.2012 6 / 16

  25. Measuring with SMM Structured Metrics Meta-Model bookstore.smm :MeasureLibrary :CollectiveMeasure name="NumberOfClasses" accumulator=sum from scope :BaseMeasureRelationship :Scope class="kdm.code.CodeModel" to :Counting name="ClassRecognizer" Frey, van Hoorn, Jung, Kiel, Hasselbring MAMBA 3.05.2012 6 / 16

  26. Measuring with SMM Structured Metrics Meta-Model bookstore.smm :MeasureLibrary :CollectiveMeasure name="NumberOfClasses" accumulator=sum from scope :BaseMeasureRelationship :Scope class="kdm.code.CodeModel" to :Counting name="ClassRecognizer" scope :Scope class="kdm.code.Package" Frey, van Hoorn, Jung, Kiel, Hasselbring MAMBA 3.05.2012 6 / 16

  27. Measuring with SMM Structured Metrics Meta-Model bookstore.smm :MeasureLibrary :CollectiveMeasure name="NumberOfClasses" accumulator=sum from scope :BaseMeasureRelationship :Scope class="kdm.code.CodeModel" to :Counting name="ClassRecognizer" scope :Scope class="kdm.code.Package" operation :Operation language="OCL" body="isOCLTypeOf(kdm.code.ClassUnit)" Frey, van Hoorn, Jung, Kiel, Hasselbring MAMBA 3.05.2012 6 / 16

  28. Measuring with SMM Structured Metrics Meta-Model bookstore.smm :MeasureLibrary :CollectiveMeasure :CollectiveMeasure name="NumberOfClasses" name="AverageMethodResponseTime" accumulator=sum accumulator=average from scope :BaseMeasureRelationship :Scope class="kdm.code.CodeModel" to :Counting name="ClassRecognizer" scope :Scope class="kdm.code.Package" operation :Operation language="OCL" body="isOCLTypeOf(kdm.code.ClassUnit)" Frey, van Hoorn, Jung, Kiel, Hasselbring MAMBA 3.05.2012 6 / 16

  29. Measuring with SMM Structured Metrics Meta-Model bookstore.smm :MeasureLibrary :CollectiveMeasure :CollectiveMeasure name="NumberOfClasses" name="AverageMethodResponseTime" accumulator=sum accumulator=average from scope from :BaseMeasureRelationship :Scope class="kdm.code.CodeModel" to :Counting :BaseMeasureRelationship name="ClassRecognizer" to scope :Scope :NamedMeasure class="kdm.code.Package" name="kieker.KDMMethodResponseTime" operation :Operation language="OCL" body="isOCLTypeOf(kdm.code.ClassUnit)" Frey, van Hoorn, Jung, Kiel, Hasselbring MAMBA 3.05.2012 6 / 16

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

Utilizing PCM for Online Capacity Management of Component-Based Software Systems Andr van

Utilizing PCM for Online Capacity Management of Component-Based Software Systems Andr van

Utilizing PCM for Online Capacity Management of Component-Based Software Systems Andr van Hoorn Software Engineering Group, University of Kiel http://se.informatik.uni-kiel.de/ Nov. 18, 2011 @ Palladio Days, Karlsruhe Andr van Hoorn (CAU

852 views • 39 slides
Parallelizing Equation-Based Models for Simulation on Multi-Core Platforms by Utilizing Model

Parallelizing Equation-Based Models for Simulation on Multi-Core Platforms by Utilizing Model

Parallelizing Equation-Based Models for Simulation on Multi-Core Platforms by Utilizing Model Structure Martin Sj olund Mahder Gebremedhin Peter Fritzson Programming Environments Laboratory (PELAB) Department of Computer and Information

423 views • 10 slides
A Reference Model for Learning Analytics Service utilizing Open-Source Software Digital

A Reference Model for Learning Analytics Service utilizing Open-Source Software Digital

A Reference Model for Learning Analytics Service utilizing Open-Source Software Digital Publishing &amp; Learning Technology Convergence Fair 2015 2015 September 17, 2015 Jaeho LEE, Ph.D (Professor,

1.03k views • 39 slides
Model-based Mining of Software Repositories Markus Scheidgen 1 Saturday, 27. September 2014

Model-based Mining of Software Repositories Markus Scheidgen 1 Saturday, 27. September 2014

Model-based Mining of Software Repositories Markus Scheidgen 1 Saturday, 27. September 2014 Agenda Mining Software Repositories (MSR) and current approaches srcrepo a model-based MSR system srcrepo components and analysis

518 views • 30 slides
The Promise of Model-Based Testing The Promise of Model-Based Testing Presented by: Mahesh

The Promise of Model-Based Testing The Promise of Model-Based Testing Presented by: Mahesh

T17 Concurrent Session Thursday 05/08/2008 3:00 PM The Promise of Model-Based Testing The Promise of Model-Based Testing Presented by: Mahesh Velliyur Maveric Testing Solutions Presented at: STAR EAST Software Testing Analysis &amp; Review

582 views • 30 slides
Utilizing Commercial Utilizing Commercial Object Libraries Object Libraries w ithin Loosely- w

Utilizing Commercial Utilizing Commercial Object Libraries Object Libraries w ithin Loosely- w

Utilizing Commercial Utilizing Commercial Object Libraries Object Libraries w ithin Loosely- w ithin Loosely- Coupled, Event- Coupled, Event- Based Systems Based Systems Jie Ren, Richard Taylor Institute for Software Research University

438 views • 12 slides
SMT-based Software Model Checking: Experimental Comparison of Four Algorithms Matthias Dangl

SMT-based Software Model Checking: Experimental Comparison of Four Algorithms Matthias Dangl

SMT-based Software Model Checking: Experimental Comparison of Four Algorithms Matthias Dangl Joint work with Dirk Beyer University of Passau, Germany SMT-based Software Model Checking Bounded Model Checking ( Cbmc , CPAchecker , Esbmc ,

496 views • 26 slides
Collaborative Model-based Analysis for Uncertainty Reduction and Quality-based Refactoring Catia

Collaborative Model-based Analysis for Uncertainty Reduction and Quality-based Refactoring Catia

Seminar &quot;Composing Model-Based Analysis Tools&quot; @ Schloss Dagstuhl, Germany, 24-29 November, 2019 Collaborative Model-based Analysis for Uncertainty Reduction and Quality-based Refactoring Catia Trubiani Gran Sasso Science Institute,

445 views • 5 slides
Facets of Software Development Represented by Model Systems: Analysis and Enhancement

Facets of Software Development Represented by Model Systems: Analysis and Enhancement

Facets of Software Development Represented by Model Systems: Analysis and Enhancement Anca-Juliana Stoica 14th Int Forum on SCM/Focused Workshop, USC-CSE, Oct.1999 Contents 1. Introduction 2. Models and Model Systems 3. Generic Software

991 views • 80 slides
SMT-Based Bounded Model Checking for Embedded ANSI-C Software for Embedded ANSI-C Software

SMT-Based Bounded Model Checking for Embedded ANSI-C Software for Embedded ANSI-C Software

SMT-Based Bounded Model Checking for Embedded ANSI-C Software for Embedded ANSI-C Software Lucas Cordeiro, Bernd Fischer, Joao Marques-Silva b.fischer@ecs.soton.ac.uk Bounded Model Checking (BMC) Basic Idea: check negation of given property

957 views • 33 slides
Model-Based Self-Adaptation of Service-Oriented Software Systems GK Workshop 2010 Schloss

Model-Based Self-Adaptation of Service-Oriented Software Systems GK Workshop 2010 Schloss

Model-Based Self-Adaptation of Service-Oriented Software Systems GK Workshop 2010 Schloss Dagstuhl, June 2, 2010 Thomas Vogel Research School on Service-Oriented Systems Engineering System Analysis and Modeling Group Motivation 2 Continuous

472 views • 26 slides
Dynamic Analysis for Model-Driven Software Modernization Andr van Hoorn 2

Dynamic Analysis for Model-Driven Software Modernization Andr van Hoorn 2

Dynamic Analysis for Model-Driven Software Modernization Andr van Hoorn 2 (avh@informatik.uni-kiel.de) , Software Engineering Group, University of Kiel, Germany S. Frey 2 , W. Goerigk 1 , W. Hasselbring 2 , H. Knoche 1 , S. Kster 4 , H. Krause

497 views • 35 slides
Ut Utilizing lizing Free e Op Open n So Source ce So Software are and nd Op Open n

Ut Utilizing lizing Free e Op Open n So Source ce So Software are and nd Op Open n

Ut Utilizing lizing Free e Op Open n So Source ce So Software are and nd Op Open n Data a in the Crop rop Su Suitability ability Anal alysis sis of Adlai dlai for or Cl Climat mate e Ch Change nge Adap daptation ation

670 views • 15 slides
A Model-Based System Supporting Automatic Self-Regeneration of Critical Software Paul Robertson

A Model-Based System Supporting Automatic Self-Regeneration of Critical Software Paul Robertson

A Model-Based System Supporting Automatic Self-Regeneration of Critical Software Paul Robertson &amp; Brian Williams Model-Based and Embedded Robotic Systems http://mers.mit.edu MIT Computer Science and Artificial Intelligence Laboratory

418 views • 30 slides
AUTO-CAAS: Model-Based Fault Prediction and Diagnosis of Automotive Software . Wojciech

AUTO-CAAS: Model-Based Fault Prediction and Diagnosis of Automotive Software . Wojciech

. AUTO-CAAS: Model-Based Fault Prediction and Diagnosis of Automotive Software . Wojciech Mostowski Halmstad University, Sweden . AstaZero Researchers Day 2016 . hh.se . . . . . Outline 1 Project overview 2 Consortium 3 Model-based

311 views • 30 slides
Rotorcraft HIRF Qualification and Accident Investigations driven by model based analysis

Rotorcraft HIRF Qualification and Accident Investigations driven by model based analysis

Rotorcraft HIRF Qualification and Accident Investigations driven by model based analysis Contents Introduction C130 experimentation results DGA model based analysis evolutions axis HIRF tests engineering Cougar qualification

453 views • 29 slides
As there is no screen or ceiling between our heads and the infinite heavens, so there is no bar

As there is no screen or ceiling between our heads and the infinite heavens, so there is no bar

As there is no screen or ceiling between our heads and the infinite heavens, so there is no bar or wall in the soul, where man, the effect, ceases, and God, the cause, begins. The walls are taken away. We lie open on one side to the deeps

767 views • 12 slides
Network Code Forum 30 October 2013 CACM &amp; FCA Network Codes Mark Lane CACM update 29

Network Code Forum 30 October 2013 CACM &amp; FCA Network Codes Mark Lane CACM update 29

Network Code Forum 30 October 2013 CACM &amp; FCA Network Codes Mark Lane CACM update 29 October - Cross Border Committee meeting Still no text from EC Key Issues: Enforceability Timelines Intraday Governance

846 views • 52 slides
RoboCup Multiagent Systems Daniel Polani Adaptive Systems Research Group School of Computer

RoboCup Multiagent Systems Daniel Polani Adaptive Systems Research Group School of Computer

RoboCup Multiagent Systems Daniel Polani Adaptive Systems Research Group School of Computer Science University of Hertfordshire UK August 2, 2013 Daniel Polani RoboCup Multiagent Systems Thanks! Sven Magg Wong J urgen Perl

1.19k views • 83 slides
Content-agnostic Factors that Impact YouTube Video Popularity Youmna Borghol UNSW &amp; NICTA

Content-agnostic Factors that Impact YouTube Video Popularity Youmna Borghol UNSW &amp; NICTA

The Untold Story of the Clones: Content-agnostic Factors that Impact YouTube Video Popularity Youmna Borghol UNSW &amp; NICTA Sebastien Ardon NICTA Niklas Carlsson Linkping University Derek Eager University of Saskatchewan Anirban

893 views • 61 slides
A few mathematical tools for biology and medicine Thierry GOUDON COFFEESophia Antipolis

A few mathematical tools for biology and medicine Thierry GOUDON COFFEESophia Antipolis

A few mathematical tools for biology and medicine Thierry GOUDON COFFEESophia Antipolis Thierry Goudon A few words on the scientific landscape D. Barbolosi, A. Iliadis, F. Hubert... (Marseille): tumor growth, chemiotherapy, toxicity

765 views • 31 slides
A fully Open-Source Platform for Automotive Systems Implementation by Paolo Gai, Bruno Morelli,

A fully Open-Source Platform for Automotive Systems Implementation by Paolo Gai, Bruno Morelli,

A fully Open-Source Platform for Automotive Systems Implementation by Paolo Gai, Bruno Morelli, CEO Evidence Srl Evidence Srl 2 The company Founded in 2002, we do custom design and development of software for small embedded devices ~20

893 views • 44 slides
Americas Energy Renaissance: Top Plays for Income and Growth Elliott H. Gue January 18, 2014

Americas Energy Renaissance: Top Plays for Income and Growth Elliott H. Gue January 18, 2014

Americas Energy Renaissance: Top Plays for Income and Growth Elliott H. Gue January 18, 2014 Editor, Energy &amp; Income Advisor Editor, Capitalist Times Back to July 1988 The Worlds Largest Oil and Gas Producer US Energy Liberty Day is

307 views • 28 slides
Robotics Club References Denise Ratasich Institut fuer Technische Informatik Technische

Robotics Club References Denise Ratasich Institut fuer Technische Informatik Technische

Robotics Club About Motivation Interested? Contact Robotics Club References Denise Ratasich Institut fuer Technische Informatik Technische Universitaet Wien Oktober, 2014 1/16 Robotics Club About About Motivation you: Interested?

467 views • 18 slides

More recommend