1 / 15

Formalizing Material Flow Diagrams

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.

norm
Download Presentation

Formalizing Material Flow Diagrams

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. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Formalizing Material Flow Diagrams Robert-Jan Bijl

  2. 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

  3. 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

  4. First attempts

  5. First Attempts (cnt’d)

  6. First Attempts (cnt’d)

  7. 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

  8. The Final Idea (cnt’d) / Department of Mathematics and Computer Science

  9. 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

  10. Libraries (cnt’d) / Department of Mathematics and Computer Science

  11. ‘Instantiated’ Meta-Model / Department of Mathematics and Computer Science

  12. 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())));

  13. 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 ) }

  14. 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»

  15. 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

More Related