90 likes | 242 Vues
Integration and ASM. Andreas Prinz Agder University College, Grimstad, Norway Integration of models Meta-models Integration of tools. Integration of different Models.
E N D
Integration and ASM Andreas Prinz Agder University College, Grimstad, Norway Integration of models Meta-models Integration of tools
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
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
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
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
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
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
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
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