Approccio allo sviluppo di sistemi basato sull’uso sistematico di modelli e trasformazioni fra modelli



Scaricare 445 b.
23.05.2018
Dimensione del file445 b.



Approccio allo sviluppo di sistemi basato sull’uso sistematico di modelli e trasformazioni fra modelli

  • Approccio allo sviluppo di sistemi basato sull’uso sistematico di modelli e trasformazioni fra modelli

  • Concetto di astrazione e refinement



Ubiquitous Web Applications (UWA):

  • Ubiquitous Web Applications (UWA):

    • Metodologie, modelli e tools a supporto per il design concettuale di applicazioni Web ubique
    • Approccio user-centered


Definire un livello di progettazione intermedio tra la progettazione concettuale UWA e l’implementazione

  • Definire un livello di progettazione intermedio tra la progettazione concettuale UWA e l’implementazione

  • Definire e implementare regole di trasformazione per la traduzione semi-automatica di modelli concettuali UWA nei corrispondenti modelli logici











MOF 2.0

  • MOF 2.0

    • E’ uno standard OMG
    • Linguaggio per definire metamodelli
    • Due package: EMOF e CMOF
    • Architettura a quattro strati
  • EMF

    • framework open source per la
    • generazione di tools e applicazioni
    • basati su un modello strutturato
    • Implementa Ecore: variante di EMOF
    • Fornisce supporto per la generazione di editor
    • Può importare modelli di vari tipi
  • Topcased Ecore Editor

    • E’ un meta-modeling toolset
    • Sviluppato da diversi colossi industriali (IBM,Thales, Siemens...)
    • Poggia su EMF e utilizza Ecore, che è la variante EMF di EMOF


Definizione delle regole di trasformazione

  • Definizione delle regole di trasformazione

    • Definite a livello M2 (Metamodel level)
    • Realizzano trasformazioni in ottica MDA
  • Implementazione delle regole

    • ATL (ATLAS Transformation Language)
      • Sviluppato dall’ ATLAS team (University of Nantes)
      • E’ la risposta all’approccio MDA definito dall’OMG
      • Supporta trasformazioni tra modelli
      • Le trasformazioni sono modelli
    • ADT (Eclipse development tools for ATL)
      • Ambiente di sviluppo completo basato su Eclipse per lo
      • sviluppo, il testing e l’implementazione del linguaggio ATL


Definizione di un modello UWA come istanza del rispettivo metamodello

  • Definizione di un modello UWA come istanza del rispettivo metamodello

    • Utilizzando l’editor Ecore di default di EMF
    • Il modello istanziato nel formato Ecore
  • Generazione automatica del modello UML-MVC

    • input:
      • il metamodello UWA in Ecore
      • Il metamodello UML-MVC in Ecore
      • il modello UWA da trasformare
      • le regole di trasformazione implementate in ATL
    • output:








Obiettivi raggiunti:

  • Obiettivi raggiunti:

    • È stato definito un processo di sviluppo model-driven di applicazioni Web basato su UWA
    • Tool di supporto per la traduzione semi-automatica di modelli concettuali UWA nei corrispondenti modelli logici UML-MVC.
      • Pattern MVC come architettura di riferimento per il modello logico
      • Metamodello UML-MVC MOF compliant
      • Metamodello UWA MOF compliant
      • Regole di trasformazione definite ed implementate in ATL
      • Processo di trasformazione in ADT


  • Estendere l’approccio al Transaction Design di UWAT+

  • Estendere l’approccio verso la generazione automatica del codice

    • Sviluppo di un tool per la traduzione del modello logico in codice
    • Classi Java, JavaBeans, Template di pagina, etc…
  • Realizzazione di un editor grafico per ciascun metamodello definito, che consenta di istanziare graficamente modelli concettuali e logici.

    • EMF + GEF
    • GMF (Graphical Modeling Framework)


Grazie per l’attenzione.

  • Grazie per l’attenzione.

  • Domande?







©astratto.info 2017
invia messaggio

    Pagina principale