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.

Projecto de Software Utilizando a UML Caso Prático: Modelação do Subsistema de Secretaria Digital – Universidade Jean Piaget

O presente trabalho demonstra a utilização da linguagem UML na modelação (também se aplica à projecção e desenvolvimento) de sistemas. Incorpora um estudo de caso que consiste na modelação (também, propostas de implementação, sobretudo ao nível do modelo de dados) de um subsistema que faz parte do Sistema de Gestão Académico (SIAC) na Universidade Jean Piaget de Cabo Verde (Unipiaget).O trabalho surge após a percepção das dificuldades em que os alunos e não só, se enfrentam para terem acessos aos dados académicos, principalmente nos períodos em que estes se encontram de férias, daí a necessidade de implementação da Universidade Digital. Assim, aproveitando as boas práticas do desenvolvimento de sistemas, iniciou-se o processo da subdivisão do problema maior (Universidade Digital) em subproblemas (vários subsistemas), cujo projecto se concentra na análise e modelação do subsistema de secretaria digital. A metodologia adoptada foi a do diálogo directo programado e não programado, aplicação de questionários e entrevistas, assim como a da proposta de melhorias.Sendo assim, o trabalho iniciou-se com o levantamento de requisitos e avaliado face ao comportamento de subsistema no seu modo presencial (estado actual). E, por fim foram efectuadas propostas de melhorias, as quais permitirão alcançar a satisfação dos potênciais actores (utilizador do sistema).

Juego educativo enfocado al desarrollo de habilidades para aprender a modelar requerimientos con artefactos UML

El siguiente trabajo describe los resultados de una experiencia práctica con un juego serio llamado: 'Modela', dirigido tanto a alumnos de Ingeniería de Software como a los profesores que trabajen en esa área, con la intención que practiquen cómo modelar requerimientos con casos de uso y el modelo correcto de un diagrama de caso de uso.

Consistency of UML based designs using ontology reasoners

Software plays an important role in our society and economy. Software development is an intricate process, and it comprises many different tasks: gathering requirements, designing new solutions that fulfill these requirements, as well as implementing these designs using a programming language into a working system. As a consequence, the development of high quality software is a core problem in software engineering. This thesis focuses on the validation of software designs. The issue of the analysis of designs is of great importance, since errors originating from designs may appear in the final system. It is considered economical to rectify the problems as early in the software development process as possible. Practitioners often create and visualize designs using modeling languages, one of the more popular being the Uni ed Modeling Language (UML). The analysis of the designs can be done manually, but in case of large systems, the need of mechanisms that automatically analyze these designs arises. In this thesis, we propose an automatic approach to analyze UML based designs using logic reasoners. This approach firstly proposes the translations of the UML based designs into a language understandable by reasoners in the form of logic facts, and secondly shows how to use the logic reasoners to infer the logical consequences of these logic facts. We have implemented the proposed translations in the form of a tool that can be used with any standard compliant UML modeling tool. Moreover, we authenticate the proposed approach by automatically validating hundreds of UML based designs that consist of thousands of model elements available in an online model repository. The proposed approach is limited in scope, but is fully automatic and does not require any expertise of logic languages from the user. We exemplify the proposed approach with two applications, which include the validation of domain specific languages and the validation of web service interfaces.

Vicepresidencia de operaciones e informatica auditorias telefónicas

Banco del conocimiento

Analyse, à l'aide d'oculomètres, de techniques de visualisation UML de patrons de conception pour la compréhension de programmes

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Dérivation de diagrammes de séquence UML compactes à partir de traces d’exécution en se basant des heuristiques.

Nous proposons une approche d’extraction des diagrammes de séquence à partir de programmes orientés objets en combinant l’analyse statique et dynamique. Notre objectif est d’extraire des diagrammes compacts mais contenant le plus d’informations possible pour faciliter la compréhension du comportement d’un programme. Pour cette finalité, nous avons défini un ensemble d’heuristiques pour filtrer les événements d’exécution les moins importants et extraire les structures de contrôles comme les boucles et la récursivité. Nous groupons aussi les objets en nous basant sur leurs types respectifs. Pour tenir compte des variations d’un même scénario, notre approche utilise plusieurs traces d’exécution et les aligne pour couvrir le plus possible le comportement du programme. Notre approche a été évaluée sur un système de simulation d’ATM. L’étude de cas montre que notre approche produit des diagrammes de séquence concis et informatifs.

Requirements Capture: Using UML Use Cases

This is a presentation for our year one INFO1008 course of Computational Systems. It covers the need for requirements capture and the difficulty of building a specification based on user information. We present UML Use Cases and Use Case diagrams as a way of capturing requirements from the users point of view in a semi-structured way.

System Design: Using UML Use Cases

In this lecture we cover how UML Use Cases can be used for requirements capture. We look at the anatomy of a Use Case Description, and the way in which use cases can be brought together in a use case diagram. We also look at the way that use cases can be derived from problems using noun verb analysis.

System Design: UML Activity and Sequence Diagrams

In this session we look at how to model flow of control and interactions between components using UML Activity and Sequence Diagrams. This is an introductory session and so for Activity Diagrams we only cover branching, forks and joins and swim lanes, and for Sequence we cover lifelines, messages and returns, and alt, par and opt frames.

System Design: UML Class Diagrams

In this session we look at UML Class Diagrams and how they fit into both the family of UML models, and also the software engineering process. We look at some basic features of class diagrams including properties, operations, associations, generalisation, aggregation and composition.

Caracterización de la Cultura Organizacional de Informatica Documental SAS

Actualmente, el estudio de la cultura organizacional se ha convertido en un tema de gran importancia para las empresas ya que, de acuerdo a que tan satisfecho este el empleado, esta tiene un impacto en el desempeño de la compañía, además se vuelve en un factor clave para el fracaso o el éxito de cada uno de los proyectos o tecnologías de gestión que implemente la organización. La cultura organizacional según el autor Carlos Eduardo Méndez Álvarez (2006) es: La conciencia colectiva que se expresa en el sistema de significados compartidos por los miembros de la organización que los identifica y diferencia de otros institucionalizando y estandarizando sus conductas sociales. Tales significados y comportamientos son determinados por el concepto que tiene el líder de la organización tiene sobre el hombre, la estructura, el sistema cultural y el clima organizacional así como por la interrelación y mutua influencia que existe entre estos. Basados en el concepto de este autor, se va a realizar el estudio de cultura organizacional en la empresa Informática Documental SAS, dedicada al manejo y control de documentación a nivel nacional, en el cual, se va a conocer una descripción detallada del comportamiento de los miembros de la organización.