Aplicativo web para la corrección de modelos UML/OCL

Introducció d'un entorn virtual d' autoaprenentatge que permeti als estudiants millorar les seves habilitats de modelització, una peça clau en la seva capacitació com a professionals de la informàtica adaptats a les demandes de la societat actual.

Generació automàtica de les constraints a partir de un diagrama de classes UML amb restriccions especificades en OCL

L'àmbit d'aquest treball és la generació automàtica de les restriccions d'integritat (claus primàries, alternatives i comprovacions), tant per a les bases de dades relacionals com per a les orientades a objectes.

Fidelidad al modelo especificado en el código generado automáticamente por la herramienta CASE Poseidon for UML

L'objectiu principal d'aquest treball és estudiar el grau de fidelitat al model especificat que manté el codi generat automàticament per l'eina CASE Poseidon Professional for UML. Concretament, estudiarem el codi que es genera en Java i SQL mitjançant un diagrama de classes determinat.

Comparació de Diagrames UML

El nucli del projecte consisteix en desenvolupar una aplicació permeti determinar si dos models UML són iguals i , en cas de no ser-ho, determinar quines són les diferències entre ells. Donada la gran varietat de models UML, el projecte es centra en els diagrames de classes.

Creació de taules d'una base de dades relacional a partir del diagrama de classes d'anàlisi d'UML

És ben sabut que les úniques etapes del cicle de vida del programari que necessàriament s'han d'especificar són les de recollida de requisits i l'anàlisi o l'especificació del programari. La resta (disseny, implementació i prova) es pot generar d'una manera més o menys automàtica a partir de l'anàlisi. En aquest PFC hem volgut estudiar la viabilitat de la construcció automàtica de codi SQL a partir de diagrames de classes d'anàlisi UML. S'ha estès l'eina de modelatge UML Poseidon amb un connector, de manera que amb una interfície molt simple es pot obtenir molt ràpidament l'esquema bàsic d'una base de dades, incloent-hi les taules, les seves columnes, claus rimàries i foranes, i també els disparadors (i les claus úniques) necessaris per a garantir les restriccions de cardinalitat de les associacions.

Estudi d'eines CASE que suporten OCLper a la generació automàtica de codi Java

Es tracta d'una recerca d'eines CASEque actualment suporten OCL en la generació automàtica de codi Java per estudiar-les ianalitzar-les a través d'un model de proves consistent en un diagrama de classes del modelestàtic de l'UML i una mostra variada d'instruccions OCL, amb l'objectiu de detectar lesseves mancances, analitzant el codi obtingut i determinar si controla o no cada tipus derestricció, i si s'han implementat bé en el codi.

Construcció d'una eina per manipular especificacions UML.

La finalitat d'aquest projecte, consisteix en estudiar detalladament el funcionament del llenguatge d'intercanvi XMI (de l'anglès XML Metadata Interchange), cosí del XML, que transporta al seu codi especificacions del llenguatge UML, de manera que ens permet compartir i enviar aquest UML entre diferents plataformes i eines de manipulació d'aquest llenguatge.

PFC : Analitzador de models UML

Aquest projecte descriu la construcció d'una aplicació encarregada de realitzar l'anàlisis d'un model UML. Està encabit dins el marc d'un aplicatiu de gestió de models en un repositori centralitzat de la àrea de Tècniques Avançades d'Enginyeria de Programari de la carrera d'Enginyeria Informàtica de la UOC.

Perpendicular magnetic anisotropy in chemically disordered FePd-FeV(100) alloy thin films

We find that the use of V(100) buffer layers on MgO(001) substrates for the epitaxy of FePd binary alloys yields to the formation at intermediate and high deposition temperatures of a FePd¿FeV mixed phase due to strong V diffusion accompanied by a loss of layer continuity and strong increase of its mosaic spread. Contrary to what is usually found in this kind of systems, these mixed phase structures exhibit perpendicular magnetic anisotropy (PMA) which is not correlated with the presence of chemical order, almost totally absent in all the fabricated structures, even at deposition temperatures where it is usually obtained with other buffer layers. Thus the observed PMA can be ascribed to the V interdiffusion and the formation of a FeV alloy, being the global sample saturation magnetization also reduced.

Alloy inhomogeneities in InAlAs strained layers grown by MBE

Transmission electron microscopy studies have been performed to characterize InxAl1−xAs layers grown by molecular beam epitaxy on (100) InP substrates. The first observations of compositional nonuniformities in strained InAlAs layers are reported. The coarse quasiperiodic structure present in each sample has been found to be dependent upon the growth parameters and the sample characteristics.

Vacancy-driven ordering in a two-dimensional binary alloy

Domain growth in a system with nonconserved order parameter is studied. We simulate the usual Ising model for binary alloys with concentration 0.5 on a two-dimensional square lattice by Monte Carlo techniques. Measurements of the energy, jump-acceptance ratio, and order parameters are performed. Dynamics based on the diffusion of a single vacancy in the system gives a growth law faster than the usual Allen-Cahn law. Allowing vacancy jumps to next-nearest-neighbor sites is essential to prevent vacancy trapping in the ordered regions. By measuring local order parameters we show that the vacancy prefers to be in the disordered regions (domain boundaries). This naturally concentrates the atomic jumps in the domain boundaries, accelerating the growth compared with the usual exchange mechanism that causes jumps to be homogeneously distributed on the lattice.