formalizing material flow diagrams
Download
Skip this Video
Download Presentation
Formalizing Material Flow Diagrams

Loading in 2 Seconds...

play fullscreen
1 / 15

Formalizing Material Flow Diagrams - PowerPoint PPT Presentation


  • 148 Views
  • Uploaded on

Formalizing Material Flow Diagrams. Robert-Jan Bijl. Introduction. The Falcon Project Vanderlande Industries Embedded Systems Institute Material Flow Diagrams ‘building plans’ for distribution centers give an idea of the material flow through setup purely pictures, mostly in Visio.

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about ' Formalizing Material Flow Diagrams' - lexi


An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
introduction
Introduction
  • The Falcon Project
    • Vanderlande Industries
    • Embedded Systems Institute
  • Material Flow Diagrams
    • ‘building plans’ for distribution centers
    • give an idea of the material flow through setup
    • purely pictures, mostly in Visio
project goals
Project Goals
  • Formalize MFD’s to give them a central role in development process
    • create a meta-model
    • create tooling
    • derive artifacts from the created models
  • Get insight in the involved processes
    • design of meta-models
    • evolution of meta-models (when already in use)
    • creation/availability of tooling
the final idea
The Final Idea

General Hierarchy Pattern

Abstract from unit type

Abstract from positional information

Introduce connections as part of the MFD

Allow different libraries for different domains

the final idea cnt d
The Final Idea (cnt’d)

/ Department of Mathematics and Computer Science

libraries
Libraries
  • Contain information about the building blocks of an MFD
    • unit types
    • connector types
    • constraints
  • Merging a library with the abstract meta-model results in an instantiated meta-model, aimed at a (more) specific domain
libraries cnt d
Libraries (cnt’d)

/ Department of Mathematics and Computer Science

instantiated meta model
‘Instantiated’ Meta-Model

/ Department of Mathematics and Computer Science

validation
Validation
  • Formal models can be checked for correctness, consistency and other properties
  • Using ‘Check’, a language to specify constraints that the model has to fulfill in order to be correct
  • context MFD ERROR "The MFD must have valid MId and MName":
  • this.MName != null && this.MName != \'\' && this.MId != null && this.MId != \'\';
  • context MFD ERROR "Every component must have a unique CId (no distinction in caps)":
  • let s = getAllComponents(this):

s.forAll(s1 | !s.exists(s2|(s1 != s2) && (s1.CId.toLowerCase() == s2.CId.toLowerCase())));

transformations
Transformations
  • Transforming a model conforming to meta-model A to a model conforming the meta-model B
  • Atlas Transformation Language, ATL

rule createRoot{

from

a : MM!MFD

to

p : MM1!Planner(

PName <- \'Planner\' + a.MName,

PId <- \'P\' + a.MId

)

}

code generation
Code Generation
  • From a formal model we can generate all sorts of artifacts, e.g. source code
  • Using ‘Xpand’, a statically-typed template language, part of the Eclipse M2T-project

«DEFINE main FOR Planner»

«LET removeSpace(PName) AS name»

«FILE name + “.dot”»

digraph «name» {

«EXPAND createNode FOR firstNode()»

«EXPAND createNodeLinks FOR firstNode()»

}

«ENDFILE»

«ENDLET»

«ENDDEFINE»

further steps
Further Steps

Generate a graphical editor (using GMF), look into automating this

Research into (co-)evolution of models en meta-models

Generation of High Level Controller Software with techniques as described earlier

Typing, typing, typing

ad