995 resultados para UML specifications
Resumo:
This paper presents a systematic approach to proving temporal properties of arbitrary Z specifications. The approach involves (i) transforming the Z specification to an abstract temporal structure (or state transition system), (ii) applying a model checker to the temporal structure, (iii) determining whether the temporal structure is too abstract based on the model checking result and (iv) refining the temporal structure where necessary. The approach is based on existing work from the model checking literature, adapting it to Z.
Resumo:
Over the last decade, software architecture emerged as a critical design step in Software Engineering. This encompassed a shift from traditional programming towards the deployment and assembly of independent components. The specification of the overall system structure, on the one hand, and of the interactions patterns between its components, on the other, became a major concern for the working developer. Although a number of formalisms to express behaviour and supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from behavioural specifications written in Ccs, the corresponding architectural skeletons in the Microsoft .Net framework in the form of executable C] code. Such prototyping process is automated by means of a specific tool developed in Haskell
Resumo:
The main purpose of the poster is to present how the Unified Modeling Language (UML) can be used for diagnosing and optimizing real industrial production systems. By using a car radios production line as a case study, the poster shows the modeling process that can be followed during the analysis phase of complex control applications. In order to guarantee the continuity mapping of the models, the authors propose some guidelines to transform the use cases diagrams into a single object diagram, which is the main diagram for the next phases of the development.
Resumo:
En este proyecto se ha realizado un estudio en el campo del modelado de los procesos de negocio y sus notaciones. En concreto, se han analizado las notaciones BPMN y UML que se han usado para especificar los procesos en la gestión de la fabricación de una empresa química. Tras estas especificaciones, se ha realizado la comparación de estas dos notaciones con el fin de escoger la mejor de ellas para especificar procesos de negocio. A partir de la especificación de procesos, se ha descrito la implantación del módulo de fabricación de SAP en la misma empresa.
Resumo:
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.
Resumo:
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.
Resumo:
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.
Resumo:
El present projecte final de carrera vol assolir un entorn web per a administrar un videoclub i que els usuaris puguin fer reserves on-line. Així dons l'aplicació es pot dividir en dos mòduls, un d'administració i un altre de gestió de reserves. La implementació s'ha fet sobre l'arquitectura J2EE, la qual proporciona totes les eines per fer una aplicació robusta i escalable.
Resumo:
É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.