Formalism Transformatjon Graph Process Model Hans Vangheluwe, Levi - PowerPoint PPT Presentation

Formalism Transformatjon Graph Process Model Hans Vangheluwe, Levi Lucio, Sadaf Mustafjz, Bart Meyers, Joachim Denil, Maris Jukks, Raphael Mannadiar

The NECSIS Project “ NECSIS is focused on the advancement of a sofuware methodology, called Model-Driven Engineering (MDE), that can yield dramatjc improvements in sofuware-developer productjvity and product quality. “ Collaboratjon between: McMaster University, University of Waterloo, University of Britjsh Columbia, CRIM (Centre de recherche informatjque de Montréal), McGill University , Queen’s University, University of Toronto, University of Victoria and General Motors of Canada, IBM Canada and Malina Sofuware.

Case Study: MDE based development of control sofuware for Automobiles’ Power Windows L. Lúcio, J. Denil, and H. Vangheluwe, “ An Overview of Model Transformatjons for a Simple Automotjve Power Window ,” McGill University, Tech. Rep. SOCS-TR-2012.1, 2012.

Transformatjon Chains 28 formalisms 50 transformatjons

Transformatjon Chains FTG (Formalism Transformatjon Graph) + PM (Process Model) , UML 2.0 Actjvity Diagrams

Transformatjon Chains Formalism (Metamodel) Model

Transformatjon Chains Plant DSL Model Plant DSL Formalism

Transformatjon Chains Transformatjon Defjnitjon Transformatjon Executjon

Transformatjon Chains Transformatjon Executjon Transformatjon Defjnitjon (1 rule)

Transformatjon Chains

Transformatjon Chains

We have formalised the FTG+PM language… Levi Lúcio, Joachim Denil, Sadaf Mustafjz and Hans Vangheluwe, " The Formalism Transformatjon Graph as a Guide to Model Driven Engineering ", School of Computer Science, McGill University, March 2012, SOCS-TR-2012.1

… and implemented it in AToMPM ? AToMPM ! Sadaf Mustafjz, Joachim Denil, Levi Lúcio, Hans Vangheluwe, “ The FTG+PM Framework for Multj-Paradigm Modelling: An Automotjve Case Study ” MPM’2012@MoDELS

Advantages of having an explicit representatjon of the MDE process • Repository of formalisms • Repository of transformatjons • Automatjon • Reuse • Mining of higher order transformatjon chain data becomes possible… • … among which propertjes of model transformatjons and their chains.