1 / 9

Integration and ASM

Integration and ASM. Andreas Prinz Agder University College, Grimstad, Norway Integration of models Meta-models Integration of tools. Integration of different Models.

ossie
Download Presentation

Integration and ASM

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. Integration and ASM Andreas Prinz Agder University College, Grimstad, Norway Integration of models Meta-models Integration of tools

  2. Integration of different Models • Modern Software is distributed, heterogeneous, long-living (including old components) and provides services by cooperation. • Therefore consider systems instead of programs. • Take a higher level of abstraction. • Describe systems using several partial models. • Use specific (modelling) languages for parts of the system. • Use executable models. • Use agile methods of software engineering. • And ASMs? • need to express components and interfaces • need to express evolution • need to identify proper interfaces Prepared by Andreas Prinz@AUC FACULTY OF ENGINEERING & SCIENCE

  3. Aspects of a meta-model / language Structure Representation Behaviour graphical run • XMF from Xactium as example tool set. • Idea: The meta-model IS the tool. Simulator Graphical editor Transformator textual transform Exchange format Textual editor Constraints Parser Access interface Repository Checker Prepared by Andreas Prinz@AUC FACULTY OF ENGINEERING & SCIENCE

  4. Structure (grammar) Representation Behaviour graphical run textual transform Constraints Meta-models for SDL and UML Representation Structure (meta-model) Behaviour graphical run SDL (Z?) UML textual transform Constraints Prepared by Andreas Prinz@AUC FACULTY OF ENGINEERING & SCIENCE

  5. Meta-model for ASM Structure Representation Behaviour graphical run textual transform Constraints ASM as a meta-modelling language Prepared by Andreas Prinz@AUC FACULTY OF ENGINEERING & SCIENCE

  6. x x x g g g R R R S S S B B B t t t m m m C C C ASM in several levels Language Description Language Language Tool (Code) Language Description Prepared by Andreas Prinz@AUC FACULTY OF ENGINEERING & SCIENCE

  7. Code generation out of models Meta-model MM Code Model Code Running Model Running Code VM Model VM Code Interface for integration Prepared by Andreas Prinz@AUC FACULTY OF ENGINEERING & SCIENCE

  8. Integration of Tools Extend1 Basic Meta-model Basic Meta-model Extend2 Meta-model 1 Theory 1 Tool 1 Meta-model 2 Theory 2 Tool 2 Model Prepared by Andreas Prinz@AUC FACULTY OF ENGINEERING & SCIENCE

  9. Conclusions • Integration between ASM tools: need a modular standard • based on a meta-model (AsmM) • proper static conditions (constraints) • proper standard textual representation • definition of a dynamic semantics in some formalism (ASM?) • Standard ASM can be a behaviour language • Integration between ASM and other frameworks: needs ways to express • components and interfaces • evolution (refinement and change) Prepared by Andreas Prinz@AUC FACULTY OF ENGINEERING & SCIENCE

More Related