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

▶
formalism transformatjon graph process model
SMART_READER_LITE
LIVE PREVIEW

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

Oct 05, 2022 256 likes •415 views

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

slide-1
SLIDE 1

Formalism Transformatjon Graph Process Model

Hans Vangheluwe, Levi Lucio, Sadaf Mustafjz, Bart Meyers, Joachim Denil, Maris Jukks, Raphael Mannadiar

slide-2
SLIDE 2

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.

slide-3
SLIDE 3

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.

slide-4
SLIDE 4
slide-5
SLIDE 5

Transformatjon Chains

28 formalisms 50 transformatjons

slide-6
SLIDE 6

Transformatjon Chains

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

slide-7
SLIDE 7

Transformatjon Chains

Formalism (Metamodel) Model

slide-8
SLIDE 8

Transformatjon Chains

Plant DSL Formalism Plant DSL Model

slide-9
SLIDE 9

Transformatjon Chains

Transformatjon Defjnitjon Transformatjon Executjon

slide-10
SLIDE 10

Transformatjon Chains

Transformatjon Defjnitjon (1 rule) Transformatjon Executjon

slide-11
SLIDE 11

Transformatjon Chains

slide-12
SLIDE 12

Transformatjon Chains

slide-13
SLIDE 13

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

slide-14
SLIDE 14

… 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

slide-15
SLIDE 15

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.