Presentation is loading. Please wait.

Presentation is loading. Please wait.

Chess Review November 18, 2004 Berkeley, CA Model-Based Design Edited and Presented by Janos Sztipanovits, Co-PI ISIS, Vanderbilt University.

Published by Modified over 9 years ago

Similar presentations

Presentation on theme: "Chess Review November 18, 2004 Berkeley, CA Model-Based Design Edited and Presented by Janos Sztipanovits, Co-PI ISIS, Vanderbilt University."— Presentation transcript:

1 Chess Review November 18, 2004 Berkeley, CA Model-Based Design Edited and Presented by Janos Sztipanovits, Co-PI ISIS, Vanderbilt University

2 Chess Review, November 18, 2004 2 Model-Based Design Model-based design focuses on the formal representation, composition, and manipulation of models during the design process.

3 Chess Review, November 18, 2004 3 doTransition (fsm as FSM, s as State, t as Transition) = require s.active step exitState (s) step if t.outputEvent <> null then emitEvent (fsm, t.outputEvent) step activateState (fsm, t.dst) Semantic Domain Meta-models Domain Specific Modeling Languages (DSML) Semantic Domain S Abstract Syntax A Concrete Syntax C Parsing Semantic Mapping Concepts Relations Well formed-ness rules Mathematical abstraction for specifying the meaning of models Notation for representing models L = MSMS MCMC Domain models Interchange Formats Abstract Syntax Meta-models MCMC MSMS DSML-s are the foundations for model-based design

4 Chess Review, November 18, 2004 4 Tool Chain Example Abstract Syntax: Meta-Models Common Semantic Domain: Hybrid Automata Domain Models and Tool Interchange Formats DESERT PTOLEMY AIRES OSEK/ Code ECSL-DP GME SL/SF  ECSL-DP  MOML ECSL-DP  AIF SL/SF  DSE EDP  C Vehicle Control Platform Tool Chain Simulink StateFlow

5 Chess Review, November 18, 2004 5 Research Agenda in Model-Based Design 1.Composition of Domain Specific Modeling Languages 2.Model Transformation 3.Model Synthesis

6 Chess Review, November 18, 2004 6 ECSL-DP GME SL/SF  ECSL-DP Simulink StateFlow SL/SF  DSE Domain Models and Tool Interchange Formats SC A M C2 M S2 DSML-2 CS A M C1 M S1 DSML-1 DSML1 DM DSML2 DM Transformation T Constructing Design Flow: Modeling and Transformations - Large influence of concrete syntax - No clear role of semantics -It is not clear what are we doing?

7 Chess Review, November 18, 2004 7 ECSL-DP GME SL/SF  ECSL-DP Simulink StateFlow SL/SF  DSE Domain Models and Tool Interchange Formats ECSL-DP Meta-Model SL/SF Meta-Model SL/SF  ECSL- DP SL/SF  DESERT Abstract Syntax: Meta-Models ECSL-DP Meta-Model Abstract Syntax Metamodeling M DSML1,DSML2 MOF A DSML1MOF A DSML2MTL T DSML1,DSM2 MOF MTL MOF M 12 : MOF A DSML1  MOF A DSML2 -Gives structural semantics for the models -Set-valued Semantic Domain for the metamodels and transformations SC A M C2 M S2 DSML-2 CS A M C1 M S1 DSML-1 DSML1 DM DSML2 DM Transformation T

8 Chess Review, November 18, 2004 8 DSML MOF A DSML MOF MetaGME A MOF T1T1 GME-MOF GME/ Meta Meta GME T2T2 MetaGME A DSML T1T1 GME-DSML GME/ Meta Metamodeling of DSML Using MOF Metamodeling of MOF Using MetaGME Metamodeling Languages Changing from GMEMeta to MOF

9 Chess Review, November 18, 2004 9 UMT: A Simple Model Transformation Language 1.Pattern specification –Pattern variables are typed with their UML classes –Cardinality of association-ends is checked –Extra (OCL) constraints define guard conditions 2.Graph transformation and rewrite –Create new/delete/modify objects –Attribute mapping (procedural) –“Cross-links”: edges between old/new objects –Input/output ports: pre-bound pattern variables 3.“High-level” control flow over the rules –Port connections imply “data flow” and control flow –Hierarchy/Sequencing/Recursion/Branching

10 Chess Review, November 18, 2004 10 Results: MIC Metaprogrammable Tool Meta-model DSML: StateFlow DOMAIN-MODEL META-MODEL Meta-Model of StateFlow using uml/OCL as meta modeling language. Rewrite Engine Input Models Target Models Physical interface Input abstract syntax Output abstract syntax Input Interface Output Interface API API API API UDM GReAT Metamodel of Input Metamodel of Output Metamodel of Transformatio n Meta-level: Translatordesign Implementation:Execution GME, UDM & GREAT Completed tool suite, available through the ESCHER Repository

11 Chess Review, November 18, 2004 11 Modeling and Model Transformation Tool Chain GRE DEBUG C/G Tools: UMT Language, GRE (engine), C/G, GR-DEBUG GME

12 Chess Review, November 18, 2004 12 Ongoing Research on DSML-s and Model Transformations Semantic Domain: Set-Valued Domain models Interchange Formats Abstract Syntax Meta-models MCMC MSMS interface Event structure ModelEvent implements Event case ModelEvent1 Structural Semantics Compositional construction of Metamodels (inheritance, packages, libraries, operators) Compositional construction of Model Transformations Multiple Aspect Modeling and modeling of aspect inter-dependences: - constraint-based, - transformation-based Reasoning about properties of transformations Formal semantics of transformations Platform modeling and use of embedded platform models in transformations Pushback reasoning in transformations Generation of efficient code from graph transformations Transformations for embedded system platforms Using graph transformations for embedded component adaptation Embedding graph transformations in the run-time platform

13 Chess Review, November 18, 2004 13 Metamodeling and Model Transformation Use Cases M S1 = M 12 ○ M S2 doTransition (fsm as FSM, s as State, t as Transition) = Semantic Domain Meta-models Domain models Interchange Formats Abstract Syntax Meta-models MCMC MSMS SC A M C2 M S2 DSML-2 CS A M C1 M S1 DSML-1 DSML1 DM DSML2 DM Transformation T M DSML1,DSML2 MOF A DSML1MOF A DSML2MTL T DSML1,DSM2 MOF MTL MOF M 12 : MOF A DSML1  MOF A DSML2 M S2 : A DSML2  S M S1 : A DSML1  S ? Behavioral Semantics 1. Transformational Specification of Behavioral Semantics

14 Chess Review, November 18, 2004 14 M DSMLi,SU SC A M C2 M SU SU CS A M C1 M Si DSML-i MOF A DSMLiMOF A SUMTL T DSMLi,SU MOF MTL MOF M i : MOF A DSMLi  MOF A SU Transformation T M SU : A SU  S M Si = M i ○ M SU Semantic “Units” DSML-i doTransition (fsm as FSM, s as State, t as Transition) = Semantic Domain Meta-models Domain models Interchange Formats Abstract Syntax Meta-models MCMC MSMS 2. Semantic Anchoring of DSML-s -The “Semantic Units” are MoC-s -DSML-s or their aspects are anchored to the MoC-s using transforma- tions -The “Semantic Units” are specified in a formal framework Metamodeling and Model Transformations Use Cases

15 Chess Review, November 18, 2004 15 More On Semantic Anchoring Step 1 –Define the DSML metamodel Step 2 –Select a proper MoC as a “semantic unit” (MoC library): L i = Step 3 –Anchor the semantics: M A = A → A i –DSML semantics: L =

16 Chess Review, November 18, 2004 16 Example: HSML (Ptolemy II)->FSM FSM Interpreter Asml Set-Valued + Abstract State Machine SD FSM Data Model FSM Data Inst. MOF Set-Valued SD T FSM Model HSML Model t FSM MetaModel HSML MetaModel Syntax conversion Expressed in Instance of

17 Chess Review, November 18, 2004 17 SC A M C M S SU MOF A SU MOF M S3 : MOF A DSML1  MOF A SU M S : A SU  S Semantic Unit (Common Semantic Domain) MTL Transformation T 1 CS A M C1 M S1 DSML-1 MOF A DSML1 MOF DSML-1 M DSML1,SU MTL T DSML1,SU DSML1 DM SC A M S2 M C2 DSML-2 MOF A DSML2 MOF DSML-2 MTL Transformation T 2 M SU,DSML2 MTL T SU,DSML2 DSML2 DM Modeling Tool Analysis Tool T=T 1 ○ T 2 3. Semantic Integration of Tools M S1 = M DSML1,SU ○ M S M S = M SU, DSML2 ○ M S2 Metamodeling and Model Transformation Use Cases

18 Chess Review, November 18, 2004 18 xGiotto and Metropolis xGiotto Formal Verification xGiotto functional description xGiotto-to- Metropolis MMM functional description Mapping1 Mapping2 Mapping3 Platform1 Metropolis Description Platform2 Metropolis Description Platform3 Metropolis Description WCET Estimator Schedulability Results Simulator Platform Selection xGiotto Code Verification Code for the Target platform Platform Estimation

19 Chess Review, November 18, 2004 19 SC A M C M S MMM MOF A SU MOF M S3 : MOF A DSML1  MOF A SU M S : A SU  S Common Semantic Domain Simulator MTL Transformation T 1 M S1 = M DSML1,SU ○ M S CS A M C1 M S1 DSML-1 MOF A DSML1 MOF DSML-1 M DSML1,SU MTL T DSML1,SU DSML1 DM SC A M S2 M C2 DSML-2 MOF A DSML2 MOF DSML-2 MTL Transformation T 2 M SU,DSML2 MTL T SU,DSML2 DSML2 DM xGiotto Functional Modeling Tool Metropolis Platform Architecture Modeling 4. xGiotto and Metropolis M S2 = M DSML2,SU ○ M S xGiotto Functional Description Metropolis: Common Semantic Domain and Function- Architecture Mappings Platform Models Metamodeling, Model Transformation and Analysis

20 Chess Review, November 18, 2004 20 M S3 : MOF A DSML1  MOF A SU Common Semantic Domain: Petri Nets Concurrent Program 5. QSS Set of communicating processes Find a single process that realizes a feasible execution of the original set under a bounded memory Single process DATA PORT IN while(1){ read(START, N, 1); for(i=0,y=0;i<N;i++){ read(IN, x, 2); y = y+x[0]+2*x[1]; } write(OUT, y, 1); } while(1){ read(DATA, d, 1); D = d * d; write(PORT, D, 1); } START OUT DATA A B 2 START C D E F 2,6 START 2,5,6 C D E 2,8 2,6,9 OU T 2,7 1,2,8 3,8 2,4,8 DATA A B 1,2, 4,8 3,4,8 A B 2,4 4,8 F OUT START while(1){ read(START, N, 1); for(i=0,y=0;i<N;i++){ read(DATA, d, 1); D = d * d; x[0] = D; read(DATA, d, 1); D = d * d; x[1] = D; y = y+x[0]+2*x[1]; } write(OUT, y, 1); } DATA Transformed Concurrent Program Metamodeling, Model Transformation and Analysis

21 Chess Review, November 18, 2004 21 M S3 : MOF A DSML1  MOF A SU Resource Interfaces Component Structure Interface Theory (Henzinger et. al.) PORT IN New Semantic Domains: Resource Interfaces PORT IN Resource interfaces = Methodology for compositional state-aware resource-usage analysis of open systems + Efficient algorithms for finding how a set of components can be made to work together using the least amount of a scarce resource + Algorithms implemented in the tool Chic (http://www.eecs.berkeley.edu/~tah/Chic/) Two synthesis questions: Strategy Synthesis. (e.g. resource scheduler, sensornet routing algorithm) Given a resource bound, how can player Environment achieve her objective ? Resource Synthesis (e.g. necessary buffer size, battery capacity). What is the minimum resource requirement so that player Environment can achieve her objective ? Game algorithms can be generalized to answer both. 0 stopslowfast 12 fast? slow ? stop ? slow ? fast? stop ? slow ? fast? Common Semantic Domain

22 Chess Review, November 18, 2004 22 Model Synthesis Component Abstraction (T A ) Design Space Modeling (M D ) Design Space Encoding (T E ) Design Space Pruning Design Decoding Component Reconstruction Behavioral Models And Model Components Main Design Flow Design Space Modeler DESERT Model Synthesis Flow We have extended the Design Space Exploration Tool with a Mozart-based constraint engine.

23 Chess Review, November 18, 2004 23 Backup Slides

24 Chess Review, November 18, 2004 24 Metamodel for a Subset of AsmL Data Structures

25 Chess Review, November 18, 2004 25 Metamodel for HSML Ptolemy II Model

26 Chess Review, November 18, 2004 26 AsmL data Structure Event & FSM class interface Event structure ModelEvent implements Event case ModelEvent1 case ModelEvent2 structure LocalEvent implements Event class FSM var outputEvents as Seq of ModelEvent var localEvents as Set of LocalEvent var initialState as State var children as Set of State

27 Chess Review, November 18, 2004 27 AsmL data Structure (cont’d) State & Transition class class State var active as Boolean = false var initial as Boolean var initialState as State? var parentState as State? var slaves as Set of State var outTransitions as Set of Transition class Transition var guard as Boolean var preemptive as Boolean var triggerEvent as Event? var outputEvent as Event? var src as State var dst as State

28 Chess Review, November 18, 2004 28 Operational Semantics Top-level FSM model reaction fsmReact (fsm as FSM, e as ModelEvent) = step let cs as State = getCurrentState (fsm, e) step let pt as Transition? = getPreemptiveTrasition (fsm, cs, e) step if pt <> null then doTransition (fsm, cs, pt) else step if isHierarchicalState (cs) then invocateSlaves (fsm, cs, e) step let npt as Transition? = getNonpreemptiveTranstion (fsm, cs, e) step if npt <> null then doTransition (fsm, cs, npt)

29 Chess Review, November 18, 2004 29 Operational Semantics (cont’d) Do transition doTransition (fsm as FSM, s as State, t as Transition) = require s.active step exitState (s) step if t.outputEvent <> null then emitEvent (fsm, t.outputEvent) step activateState (fsm, t.dst)

30 Chess Review, November 18, 2004 30 Activate state activateState (fsm as FSM, s as State) = step s.active := true step if isAtomicState (s) then let t as Transition? = getInstantaneousTransition (s) step if t <> null then doTransition (fsm, s, t) Operational Semantics (cont’d)

31 Chess Review, November 18, 2004 31 Get instantaneous transition getInstantaneousTransition (s as State) as Transition? = require isAtomicState (s) step let ts = {t|t in s.outTransitions where t.triggerEvent = null and t.guard } step if Size (ts) > 1 then error "non-deterministic error" step choose t in ts return t ifnone return null Operational Semantics (cont’d)

32 Chess Review, November 18, 2004 32 Semantic Mapping Specification The semantic mapping specification for FML consists of a sequence of mapping rules.

33 Chess Review, November 18, 2004 33 Semantic Mapping Specification (cont’d)

34 Chess Review, November 18, 2004 34 Semantic Mapping Specification (cont’d)

35 Chess Review, November 18, 2004 35 A Hierarchical FSM Model

36 Chess Review, November 18, 2004 36 Output XML file

37 Chess Review, November 18, 2004 37 Host Language ( Behavioral Semantics) Model Transf. Model Transf. Spec. Meta-metamodel ( Set-Valued Semantics Model Simulation Model Execution DSML Metamodel (Set-Valued Semantics) DSM Model (Set-Valued Semantics) Host Language ( Behavioral Semantics) Metamodel ( Set-Valued Semantics) Semantic Domain (Behavioral Semantics) ASML TLA+ JAVA MoC “Semantic Units” Host Language ( Behavioral Semantics) Model Semantics ASML TLA+ JAVA Model Verification Syntactic Level Semantic Level Translation Semantic Anchoring Architecture of DSML-s M3 M2M1

Download ppt "Chess Review November 18, 2004 Berkeley, CA Model-Based Design Edited and Presented by Janos Sztipanovits, Co-PI ISIS, Vanderbilt University."

Similar presentations

Language Specification using Metamodelling Joachim Fischer Humboldt University Berlin LAB Workshop Geneva 24.11.02.

Language Specification using Metamodelling Joachim Fischer Humboldt University Berlin LAB Workshop Geneva
Profiles Construction Eclipse ECESIS Project - 1 - Construction of Complex UML Profiles UPM ETSI Telecomunicación Ciudad Universitaria s/n Madrid 28040,

Profiles Construction Eclipse ECESIS Project Construction of Complex UML Profiles UPM ETSI Telecomunicación Ciudad Universitaria s/n Madrid 28040,
Semantic Translation of Simulink/Stateflow Models to Hybrid Automata using Graph Transformations A. Agarwal, Gy. Simon, G. Karsai ISIS, Vanderbilt University.

Semantic Translation of Simulink/Stateflow Models to Hybrid Automata using Graph Transformations A. Agarwal, Gy. Simon, G. Karsai ISIS, Vanderbilt University.
Presented by: Thabet Kacem Spring 2010. Outline Contributions Introduction Proposed Approach Related Work Reconception of ADLs XTEAM Tool Chain Discussion.

Presented by: Thabet Kacem Spring Outline Contributions Introduction Proposed Approach Related Work Reconception of ADLs XTEAM Tool Chain Discussion.
Background information Formal verification methods based on theorem proving techniques and model­checking –to prove the absence of errors (in the formal.

Background information Formal verification methods based on theorem proving techniques and model­checking –to prove the absence of errors (in the formal.
Institute for Software Integrated Systems Vanderbilt University MODEL-INTEGRATED DESIGN IN SOFTWARE, SYSTEMS AND CONTROL ENGINEERING Janos Sztipanovits.

Institute for Software Integrated Systems Vanderbilt University MODEL-INTEGRATED DESIGN IN SOFTWARE, SYSTEMS AND CONTROL ENGINEERING Janos Sztipanovits.
Event Driven Real-Time Programming CHESS Review University of California, Berkeley, USA May 10, 2004 Arkadeb Ghosal Joint work with Marco A. Sanvido, Christoph.

Event Driven Real-Time Programming CHESS Review University of California, Berkeley, USA May 10, 2004 Arkadeb Ghosal Joint work with Marco A. Sanvido, Christoph.
Chess Review November 21, 2005 Berkeley, CA Edited and presented by New results in Platform Modeling Tivadar Szemethy ISIS, Vanderbilt University.

Chess Review November 21, 2005 Berkeley, CA Edited and presented by New results in Platform Modeling Tivadar Szemethy ISIS, Vanderbilt University.
Irina Rychkova. 9/20061 Systemic approach towards model definition Model transformation semantics.

Irina Rychkova. 9/20061 Systemic approach towards model definition Model transformation semantics.
Chess Review May 11, 2005 Berkeley, CA Advances In MIC Tools for Networked Embedded Systems Applications Edited and Presented by Janos Sztipanovits ISIS,

Chess Review May 11, 2005 Berkeley, CA Advances In MIC Tools for Networked Embedded Systems Applications Edited and Presented by Janos Sztipanovits ISIS,
Chess Review October 4, 2006 Alexandria, VA Edited and presented by Advanced Tool Architectures Edward A. Lee UC Berkeley.

Chess Review October 4, 2006 Alexandria, VA Edited and presented by Advanced Tool Architectures Edward A. Lee UC Berkeley.
Chess Review November 18, 2004 Berkeley, CA Advanced Tool Architectures Edited and Presented by Edward A. Lee, Co-PI UC Berkeley.

Chess Review November 18, 2004 Berkeley, CA Advanced Tool Architectures Edited and Presented by Edward A. Lee, Co-PI UC Berkeley.
Chess Review May 10, 2004 Berkeley, CA Metamodeling Infrastructure for Model-Integrated Computing Matthew J. Emerson, Kai Chen, Andrew D. Dixon, Janos.

Chess Review May 10, 2004 Berkeley, CA Metamodeling Infrastructure for Model-Integrated Computing Matthew J. Emerson, Kai Chen, Andrew D. Dixon, Janos.
Chess Review November 21, 2005 Berkeley, CA Edited and presented by A Semantic Unit for Timed Automata Based Modeling Languages Kai Chen ISIS, Vanderbilt.

Chess Review November 21, 2005 Berkeley, CA Edited and presented by A Semantic Unit for Timed Automata Based Modeling Languages Kai Chen ISIS, Vanderbilt.
Institute For Software Integrated Systems Vanderbilt University Applications of Model Integrated Computing to The Synchronous Language Signal Ethan Jackson.

Institute For Software Integrated Systems Vanderbilt University Applications of Model Integrated Computing to The Synchronous Language Signal Ethan Jackson.
UC Berkeley: Chess Vanderbilt University: ISIS University of Memphis: MSI CHESS Review May 10, 2004 Berkeley, CA Model-Based Design Edited by Janos Sztipanovits,

UC Berkeley: Chess Vanderbilt University: ISIS University of Memphis: MSI CHESS Review May 10, 2004 Berkeley, CA Model-Based Design Edited by Janos Sztipanovits,
Chess Review May 10, 2004 Berkeley, CA Advanced Tool Architectures Edited and Presented by Edward A. Lee, Co-PI UC Berkeley.

Chess Review May 10, 2004 Berkeley, CA Advanced Tool Architectures Edited and Presented by Edward A. Lee, Co-PI UC Berkeley.
Ontologies Reasoning Components Agents Simulations An Overview of Model-Driven Engineering and Architecture Jacques Robin.

Ontologies Reasoning Components Agents Simulations An Overview of Model-Driven Engineering and Architecture Jacques Robin.
A Formal Foundation Supporting MDD --- ZOOM Approach Hongming Liu Lizhang Qin 11/08/2003.

A Formal Foundation Supporting MDD --- ZOOM Approach Hongming Liu Lizhang Qin 11/08/2003.
Chess Review November 21, 2005 Berkeley, CA Edited and presented by Model-Based Design Overview Janos Sztipanovits and Gabor Karsai ISIS, Vanderbilt University.

Chess Review November 21, 2005 Berkeley, CA Edited and presented by Model-Based Design Overview Janos Sztipanovits and Gabor Karsai ISIS, Vanderbilt University.

Similar presentations

Ads by Google