1 / 39

System Development Through Meta-modeling

System Development Through Meta-modeling. Concepts for the development of complex , distributed , heterogeneous , systems using (meta-) modeling and refinement Employment and active use of meta-modeling layers , typing , and formal semantics

christmas
Download Presentation

System Development Through Meta-modeling

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. System Development Through Meta-modeling Concepts for the development of complex, distributed, heterogeneous, systems using (meta-) modeling and refinement Employment and active use of meta-modelinglayers, typing, and formalsemantics Tool support through adaptive,integrated, development environment

  2. “the psychological profiling [of a programmer] is mostly the ability to shift levels of abstraction, from low level to high level.” — Donald Knuth. in Jack Woehr. “An Interview with Donald Knuth” (Dr. Dobb’s Journal, April 1996) MET Colloquium. Georg: "System Development Through Meta Modeling"

  3. Outline MET Colloquium. Georg: "System Development Through Meta Modeling"

  4. Part I: Abstraction, semantics, semiotics, and meta-modeling tools of the trade: abstraction and meta-modeling behavior–structure–topology: modeling perspectives on a system why bother? The concept of the model-driven approach Essentials of Modeling and Model Driven Design MET Colloquium. Georg: "System Development Through Meta Modeling"

  5. The principle of abstraction real-world object Formation of concepts Abstraction Understanding concept, notion information Depiction Interpretation representation, symbol MET Colloquium. Georg: "System Development Through Meta Modeling"

  6. The principle of abstraction real-world object actual, concrete apple Formation of concepts Abstraction Understanding concept, notion information fruit of the MalusDomestica tree, Apple, Manzana, Apfel Depiction Interpretation ‘A’, ‘p’, ‘p’, ‘l’, ‘e’; 林檎(Ux #: 6797, 6a8e) representation, symbol MET Colloquium. Georg: "System Development Through Meta Modeling"

  7. Bird’s eye view on semantics: semantic scheme Example: Semantic scheme Definition (Semantic Scheme) A Semantic Scheme is a tuple〈R, I, 〚.〛〉, with R is a set of representations I is a set of concepts (information) 〚.〛 ⊆ R ✕ I is a semantic relation (interpretation) MET Colloquium. Georg: "System Development Through Meta Modeling"

  8. Bird’s eye view on semantics: semantic scheme i∈ I, i = 〚r〛(real-world object) Formation of concepts Abstraction Understanding concept, notion, information 〚林檎〛= Depiction Interpretation r ∈ R (representation, symbol) MET Colloquium. Georg: "System Development Through Meta Modeling"

  9. Semiotics: Structure of the model to object relation Original semiotic triangle by Ogden, Richards Altered triangle for the use in modeling R Apple, Manzana, Apfel Definition symbolizes refers to has designates I 〚.〛 Term 林檎 stands for describes in: Ogden, Richards. The meaning of Meaning. Routledge & Kegan Paul, London (1923). MET Colloquium. Georg: "System Development Through Meta Modeling"

  10. Stacking semiotic layers: meta-modeling taught by the example of the Meta Object Facility (MOF) Excursus: UML MET Colloquium. Georg: "System Development Through Meta Modeling"

  11. Stacking semiotic layers: meta-modeling taught by the example of the Meta Object Facility (MOF) R Semiotic notation Semantic scheme notation Term Term Term Why is there no M4 layer? 〚.〛 I R Why is there no M17 layer? Definition Definition Definition Object Object Object 〚.〛 I R 〚.〛 I MET Colloquium. Georg: "System Development Through Meta Modeling"

  12. Behavior–Structure–Topology: Different perspectives of the same system Echolon/ Behavior, Dynamics In: Mesarovic, Mako, Takahara. Theory of Hierarchical, Multilevel, Systems (1970). System dynamic static Layer/ Architecture Stratum/ (Data-) Structures MET Colloquium. Georg: "System Development Through Meta Modeling"

  13. Behavior–Structure–Topology: Different perspectives of the same system Echolon/ Behavior, Dynamics Program Data-flow Processes Orchestration/Coordination Activity Diagram (UML) In: Mesarovic, Mako, Takahara. Theory of Hierarchical, Multilevel, Systems (1970) System dynamic static Resource allocation Modularization Topology/Connectivity Layers/Tiers Component Diagrams (UML) Layer/ Architecture Stratum/ (Data-) Structures Representation Static semantics Class diagrams (UML) MET Colloquium. Georg: "System Development Through Meta Modeling"

  14. Why bother? The concept of the model-driven approach MET Colloquium. Georg: "System Development Through Meta Modeling"

  15. Why bother? The concept of the model-driven approach We distinguish: Model Based Design Model Driven Design Excursus: OMG MDD MET Colloquium. Georg: "System Development Through Meta Modeling"

  16. Part II: Meta-modeling within the component-oriented paradigm using CADENA Middleware-oriented component platforms CADENA: Putting meta-modeling layers to practical use MDD put into practice: Architecture in CADENA MET Colloquium. Georg: "System Development Through Meta Modeling"

  17. Cadena: MDD in practice – the project MET Colloquium. Georg: "System Development Through Meta Modeling"

  18. Cadena: MDD in practice – the project MET Colloquium. Georg: "System Development Through Meta Modeling"

  19. Component-oriented software architecture: Examples MET Colloquium. Georg: "System Development Through Meta Modeling"

  20. Real-life challenges of middleware component platforms Typical examples MET Colloquium. Georg: "System Development Through Meta Modeling"

  21. Style–Module–Scenario: Activating the upper modeling tiers Meta-modell on top of the CADENA modeling hierarchie Style Tier Module Tier Scenario Tier MET Colloquium. Georg: "System Development Through Meta Modeling"

  22. Style–Module–Scenario: Activating the upper modeling tiers CADENA Modeling Style Tier Platform- design describes possible component and interface kinds Module Tier Component development provides the infrastructure for integration provides the building- blocks for integration Scenario Tier System- integration MET Colloquium. Georg: "System Development Through Meta Modeling"

  23. Type-semantics and tool-support: integrated meta-modeling Style Style Module Module Scenario Scenario clear, formal, semantics MET Colloquium. Georg: "System Development Through Meta Modeling"

  24. Type-semantics and tool-support: integrated meta-modeling Thorough realization through an integrated development environment (IDE) Module Style Scenario MET Colloquium. Georg: "System Development Through Meta Modeling"

  25. Applying meta-modeling: a real-life example from aviation industry asynchronous notification of newly available data GPS Airframe synchronous RPC to fetch the data Modell in UML Syntax The Event Channel MET Colloquium. Georg: "System Development Through Meta Modeling"

  26. Applying meta-modeling: a real-life example from aviation industry a realistic topology without additional abstractions MET Colloquium. Georg: "System Development Through Meta Modeling"

  27. Applying meta-modeling: a real-life example from aviation industry the same topology with additional abstractions There are multiple strategies, conventions, creative uses, etc. that benefit from such tailored abstractions MET Colloquium. Georg: "System Development Through Meta Modeling"

  28. Modeling over different levels of abstraction logical motion sensor alarm logical radiation sensor monitor Global conceptual layer MET Colloquium. Georg: "System Development Through Meta Modeling"

  29. Modeling over different levels of abstraction logical motion sensor alarm logical radiation sensor monitor Global conceptual layer RS1 RS2 RSn … Sensor-bank layer local network controler MET Colloquium. Georg: "System Development Through Meta Modeling"

  30. Modeling over different levels of abstraction logical motion sensor alarm logical radiation sensor monitor Global conceptual layer RS1 RS2 RSn … Sensor-bank layer local network controler sensor Sensor internals timer send buffer MET Colloquium. Georg: "System Development Through Meta Modeling"

  31. Modeling over different architectural layers logical motion sensor alarm logical radiation sensor monitor Global conceptual layer MET Colloquium. Georg: "System Development Through Meta Modeling"

  32. Modeling over different architectural layers logical motion sensor alarm logical radiation sensor monitor Global conceptual layer Network layer remote send remote receive MET Colloquium. Georg: "System Development Through Meta Modeling"

  33. Modeling over different architectural layers logical motion sensor alarm logical radiation sensor monitor Global conceptual layer Network layer remote send remote receive timeout ack-rec Data link layer control queue transmit MET Colloquium. Georg: "System Development Through Meta Modeling"

  34. Part III: What’s left to be done CADENA’s accomplished goals Mid-term challenges Visions and long-term goals Synopsis And Future Work MET Colloquium. Georg: "System Development Through Meta Modeling"

  35. Accomplished goals in CADENA MET Colloquium. Georg: "System Development Through Meta Modeling"

  36. Short- and mid-term goals MET Colloquium. Georg: "System Development Through Meta Modeling"

  37. Leightweight Process Coordination as generic, variably grained, operational semantics GPS or cell-range localization (depending on the device capabilities) Human intervention with active support by the system Synchronization of positional data with map service (e.g., Google Maps) Immediate dispatch necessary? Alternatives? Consultation with a physitian, tele-diagnosis, tele-therapy MET Colloquium. Georg: "System Development Through Meta Modeling"

  38. Supplemental theoretical research MET Colloquium. Georg: "System Development Through Meta Modeling"

  39. Thanks. Questions? MET Colloquium. Georg: "System Development Through Meta Modeling"

More Related