Tehnici s i instrumente pentru gestiunea evolu tiei sistemelor soft

Referat la doctorat
doctorat: Modelarea conceptuala a sistemelor soft Teza Conducator s tiin tic: Prof. Dr. Bazil Prv Doctorand: Codru t-Lucian Lazar UNIVERSITATEA BABES-BOLYAI SI FACULTATEA DE MATEMATICA INFORMATICA

Septembrie 2011

Referat la doctorat

Tehnici s i instrumente pentru gestiunea evolu tiei sistemelor soft

Cuprins

Mediu integrat de utilitare pentru modelare Standarde OMG (Object Management Group) Tehnologii Eclipse pentru modelare Aplica tii proprii Concluzii s i direc tii de cercetare

Referat la doctorat

Tehnici s i instrumente pentru gestiunea evolu tiei sistemelor soft

Mediu integrat de utilitare pentru modelare

Crearea modelelor
structura modelului: Diagrame de Clase comportament: limbaje de ac tiuni

Transformarea modelelor Execu tia / testarea modelelor Generarea de cod

Referat la doctorat

Tehnici s i instrumente pentru gestiunea evolu tiei sistemelor soft

Standarde OMG (Object Management Group)

UML (Unied Modeling Language)

structura modelului: Diagrame de Clase ti comportament: Diagrame de Activita

fUML (Semantics Of A Foundational Subset For Executable UML Models)

subset simplicat al UML pentru modele executabile abstracta sintaxa un model de execu specica tie

Alf (Action Language For Foundational UML)

textuala concreta peste fUML sintaxa similar cu Java s i OCL

Referat la doctorat

Tehnici s i instrumente pentru gestiunea evolu tiei sistemelor soft

Standarde OMG (Object Management Group) [2]

OCL (Object Constraint Language)

limbaj declarativ pentru constrngeri s i interogari

QVT (Query/View/Transformation)
dintr-un model n alt model transformari limbaje declarative bi-direc tionale: Core s i Relations limbaj imperativ uni-direc tional: Operational Mappings

MOFM2T (MOF Model to Text Transformation Language)

s abloane textuale

Referat la doctorat

Tehnici s i instrumente pentru gestiunea evolu tiei sistemelor soft

Tehnologii Eclipse pentru modelare

UML2
OMG UML bazat pe EMF

OCL
OMG OCL OCL, editor Xtext OCL consola

GEF (Graphical Editing Framework)

editoare grace pentru orice model

GMP (Graphical Modeling Project)

editoare grace pentru modele EMF sau UML bazat pe GEF

Referat la doctorat

Tehnici s i instrumente pentru gestiunea evolu tiei sistemelor soft

Tehnologii Eclipse pentru modelare [2]

UML2 Tools s i Papyrus
Diagrame UML GMP

Xtext
Editoare de limbaje textuale EMF + UML

M2M
Motoare de transformare: ATL, QVTc+QVTr, QVTo

Acceleo
OMG MOFM2T

pentru fUML Implementarea de referin ta

ModelDriven

Referat la doctorat

Tehnici s i instrumente pentru gestiunea evolu tiei sistemelor soft

Aplica tii proprii

Editor grac pentru un limbaj procedural PAL sintaxa abstracta: Eclipse GEF

Referat la doctorat

Tehnici s i instrumente pentru gestiunea evolu tiei sistemelor soft

Aplica tii proprii [2]

Figura: Perspectiva Eclipse de modelare, folosind PAL

Referat la doctorat

Tehnici s i instrumente pentru gestiunea evolu tiei sistemelor soft

Aplica tii proprii [3]

Editor grac pentru un limbaj de ac tiuni UML UML sintaxa abstracta: Eclipse UML2 + GMP

Referat la doctorat

Tehnici s i instrumente pentru gestiunea evolu tiei sistemelor soft

Aplica tii proprii [4]

Figura: Reprezentarea unei ac tiuni folosind limbajul bazat pe UML

Referat la doctorat

Tehnici s i instrumente pentru gestiunea evolu tiei sistemelor soft

Aplica tii proprii [5]

Editor textual pentru un limbaj de ac tiuni fUML fUML sintaxa abstracta: Eclipse UML2 + Xtext fUML testat cu ma sina virtuala generare de cod cu Eclipse Acceleo

Referat la doctorat

Tehnici s i instrumente pentru gestiunea evolu tiei sistemelor soft

Aplica tii proprii [6]

a unei activita ti Figura: Sintaxa concreta

activity addItem ( product : Product, quantity : Integer ) MAIN_BLOCK [lines 1-6] DEF_STMT [line 2] result : SaleItem

<<createObject>> SaleItem product : Product

newItem ASSIGN_STMT [line 3] value <<addStructuralFeatureValue>> object product product quantity : Integer ASSIGN_STMT [line 4] value <<addStructuralFeatureValue>> object quantity quantity ADD_STMT [line 5] result result <<readSelf>> <<valueSpecification>> self * object insertAt <<addStructuralFeatureValue>> value item

a unei activita ti, folosind fUML Figura: Sintaxa abstracta

Referat la doctorat Tehnici s i instrumente pentru gestiunea evolu tiei sistemelor soft

Concluzii s i direc tii de cercetare

modelele executabile bazate pe fUML sunt o op tiune suport n Eclipse pentru limbajul de ac nu exista tiuni Alf proces de dezvoltare de aplica tii pentru un anumit domeniu (Web) implementarea procesului n Eclipse

Referat la doctorat

Tehnici s i instrumente pentru gestiunea evolu tiei sistemelor soft