Yet Another Approach To Model Merging merge and diff relations and - PowerPoint PPT Presentation

model merging M. Famelis about model algebra Yet Another Approach To Model Merging merge and diff relations and very short version rules merging with rules Michail Famelis famelis@cs.toronto.edu ba3270:d17 September 16, 2008

model merging Who - Where - What M. Famelis about model algebra merge and diff relations and • Diploma thesis rules merging with “A Framework for analysis and transformation of MOF rules models” • National Technical University of Athens School of Electrical and Computer Engineering • Supervisor: Kostas Kontogiannis ( kkontog@softlab.ntua.gr )

model merging An Algebra for Models M. Famelis about model algebra merge and diff • MOF models, seen as directed, typed, attributed graphs relations and rules • Model operations: merging with rules • merging • differencing • matching • splitting • ... • “A manifesto for model merging” (Brunet, Chechik, Easterbrook, Nejati, Niu, Sabetzadeh)

model merging Merging and Differencing M. Famelis about model algebra merge and diff relations and • “An algebraic framework for merging incomplete and rules inconsistent views” (Sabetzadeh, Easterbrook) merging with rules • “Difference detection and visualization in UML class diagrams” (Girschick) • Matching • Suppose it has already been computed • Simple 1-to-1 relations • No inconsistencies or dependencies

model merging Flexible Matching Representation M. Famelis about model algebra merge and diff relations and • More complex relations rules merging with • 1-to-many, many-to-many relations rules • Semantic dependencies, inconsistencies • A way to handle them: Triple Graph Grammar rules • “Triple graph grammars: Concepts, extensions, implementations, and application scenarios” (Kindler, Wagner)

model merging Merging with TGG Rules M. Famelis about model algebra merge and diff • Required inputs relations and rules • A set of complex relations (ie the matching) merging with • A set of TGG rules rules • A rule application mechanism • “Model Transformation with Triple Graph Grammars” (Konigs) • End up with simply connected models • Open issues: Model matching, Rule creation and generation, Rule application