It s all Done with Mirrors Patterns and OCL. KMF Kent Modelling Framework D.H.Akehurst and O.Patrascoiu

Transcription

1 It s all Done with Mirrors Patterns and OCL KMF Kent Modelling Framework D.H.Akehurst and O.Patrascoiu

2 Goal Model Implementation

3 MDA Goal Meta-Model Specification Tool

4 Code Generation Is a Transformation But a special case mapping from concepts to textual language Templates Strings with slots for parameter values Provides quick way to write and visualise the target of a Model=>Code transformation Requires navigation over meta-model expressions Requires construction of strings

5 OCL Gives good navigation over model expressions Can be used to construct strings We have an executable implementation Use this as a template language A proper template language would be better

6 Patterns Move from Assembly to today's programming languages is due to behavioural patterns. Compilers map constructs to patterns of Assembler Today s patterns are also structural GOF, Visitor, Factory, Observer Repository, Accessor/Mutator, ClassImpl/Interface Enumerations! (implement java.util.enumeration) They are well-understood and widely used why should they be programmed manually? What can / can t be done with Patterns?

7 Scalable Patterns GOF patterns must be implemented in a scalable manner E.g. Factory Pattern Factory per Model Factory per Package Factory per Class How to link multiple factories!

8 KMF: Kent Modelling Framework Model (XMI) Libraries OCL Templates (Patterns) import Implementation

9 (OCL) Templates ~ 30 OCL expressions / templates Can be re-written to provide your own favourite pattern / style. can be used to generate from other models don t have to use UML MM as a source (show some examples)

10 Libraries Browser Tree View of Repository OCL Expression Evaluator Generic XMI Save / Load Linked Association Ends Property Editor

11 XMI Loader Handles Stereotypes looks for stereotype name in repository set properties according to tagged value definitions additional properties added using tagged value values

12 Examples Used KMF to provide implementations of many different models UML 1.X, UML 2.0, MOF BPEL, OCL constraints to validate model RM-ODP Viewpoint models RM-ODP tool for specification of Distributed Systems Demo KMF

13 Transformations Model 1 Model of Mapping Model 2 between 1 and 2 OCL Templates Implementation

14 Relations Transformations are a relation between source and target components / models Use mathematical concept of relations Extend to define a hierarchy of relations relations contain sub-relations Declarative specifications Generate Transformers via patterns Complex mappings require constraint solver! Simple ones can be done without

15 Model Transformation Examples Visual Language definition Diagram Spatial Relationship Abstract Textual Language Text Tokens Abstract Viewpoint Consistency RM-ODP viewpoints Refinement / Code Generation Model (UML) Code (KMF itself!) Language Translation EDOC-ECA Breeze (DSTC) BPEL Timed Automata CSP

16 Example: State Machine Editor a w y b x c z d

17 Three Models Diagram Spatial Relationship Abstract Syntax Models and Mappings defined in a UML tool

18 Conclusion Much can be done with Patterns OCL is essential for Meta-modelling Constraints, well-formedness model navigation (similar role to XPath) What can t be done? More work to be done on behavioural constructs generation patterns from modelled behaviour