A state machine model can turn a complex behavioural system into a more accessible graphical model, and can improve the way people work with system design by making it easier to communicate and understand the system. The clear structure of a state machine model enables automatic generation of well structured, and consequently readable, and maintainable code. There are many known implementations and even plenty of commercial software available for working with state machines, and the goal of this project is to compare and discuss some of these implementations in the context of Ericsson's demands for run time, memory usage, scalability, readability, and maintainability. More specifically, the project focuses on the state machine models specified in the UML (the unified modeling language [15]), utilizing UML's associated markup language, XMI, to go from graphical model to generated C code. The resulting C code is primarily a code skeleton which only provides the basic behaviour of transitioning between states given a specific event, it is expected that the developers manually implement additional features themselves. The examined implementations are: Nested Switch, Array of Structs, Function Pointers, Basic State Pattern, State-Table Pattern, and Hierarchical State Pattern. Additionally, the project investigates how multiple state machines can communicate and work together as interacting state machines. And finally, to showcase how a state machine implementation can be maintainable, we develop an iterative code editor that can edit already operating and manually modified state machine implementations. The implementations are tested on a case study example provided by Ericsson, aimed to represent a sort of typical state machine design when it comes to number of states and events. The implementations are further tested with randomly generated state machines, to examine their scalability properties. In our opinion the results favour the Array of Structs and Basic State Pattern implementations and the choice depends on the optimisation used and the priority between run time and memory.

The nature of Web system development is significantly different from conventional software development. Good method for system development is needed. Analysis show, that main known system development methods are good at describing static web application aspects, but does not provide a good description for modeling web application behavioral characteristics. This work uses model driven approach as one, suitable for dealing with web application development problems. The key aspect of model driven approach is specifying system domain model independent of any particular technology (J2EE, Microsoft .NET, etc.) and then generating platform specific model or its implementation. The UML is user-friendly, easy to use and is useful for describing system effectively. Specification expressed in terms of UML can be rendered into an XML document using the OMG’s XMI DTD for UML, which makes UML suitable for model driven approach implementation. In this work, method for specifying application behavior design using UML was presented. This method gives rules for specifying web application behavior model, suitable for its implementation code generation. The main components used in today’s web application which implementation could be generated from the model were also described. It was shown, that it is possible to generate much of implementation, just using such a model representation in XMI. The main idea presented in this work is that web application development should be model driven as... [to full text]

Aim of this master's thesis is to create a tool for checking correctness of design diagrams in UML. The work describes the UML language and connected standards, defines the problem of UML correctness and explains the approach of using incorrectness pattern database to check the UML correctness. Furthermore it suggests the QVT language as a suitable for implementing the incorrectness patterns. The problem is decomposed into shared incorrectness pattern database manageable via web interface, standalone tool for use from the command line and a plugin for the UML design software Visual Paradigm. All of the components are designed, implemented, tested and evaluated. The important aspect is the openness and extensibility of the tool.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-17T14:18:41Z No. of bitstreams: 1 EDEMBERG ROCHA DA SILVA - DISSERTAÇÃO PPGCC 2003..pdf: 1169743 bytes, checksum: 2feda912b0a385f167ab5d5d55ea5a71 (MD5) / Made available in DSpace on 2018-08-17T14:18:41Z (GMT). No. of bitstreams: 1 EDEMBERG ROCHA DA SILVA - DISSERTAÇÃO PPGCC 2003..pdf: 1169743 bytes, checksum: 2feda912b0a385f167ab5d5d55ea5a71 (MD5) Previous issue date: 2003-12-22 / Capes / Padrões de projeto são considerados uma das mais valiosas tecnologias para produzir software de qualidade. Uma técnica para melhorar o uso de padrões é identificar suas realizações e inferir um conhecimento para melhorá-las. Esta tarefa de encontrar todas as realizações de padrões em um projeto caracteriza-se por ser tediosa para o engenheiro de software. Nessa dissertação apresentamos um sistema assistente para programadores e arquitetos de software, chamado SAMOA (Sistema de Apoio a Modelagem Orientada a Objetos de Aplicações). Este sistema é um assistente interativo para automatizar o trabalho de detecção de realizações de padrões de projetos. Basicamente, o SAMOA é capaz de automaticamente (i) encontrar padrões aplicados em diagramas de classes UML e em fontes JAVA; (ii) produzir possíveis criticas sobre esses padrões. Depois que esses são detectados, um conjunto de críticas de projetos são verificadas para testar se a realização dos padrões pode ser melhorada. E (iii) instanciar padrões visando à geração de código do mesmo, na linguagem de programação Java. Foi implementado um protótipo do sistema que realiza as atividades (i) e (iii). Abordamos, também, quais diferenciais nosso sistema tem em relação aos demais existentes / Design patterns are considered one of the most valuable technologies to produce quality software. A technique to improve the use of patterns is to identify their realizations and to induce a knowlege to enhance their use. This work to find all pattern realizations in a software design can be tedious for the software engineer. In this dissertation we show an assistant system for programmers and software architets, called SAMOA (Sistema de Apoio a Modelagem Orientada a Objetos de Aplicações). This system is an interactive assistant to automate the work of detection of the realizations of design patterns. On principle, SAMOA is able to automatically (i) find patterns applied in UML diagrams and in JAVA;sources (ii) make critiques about these patterns. If a pattern has been detected, a set of design critiques are verified to test if the realization of the pattern can be improved. And (iii) instanciate patterns to aim an automatic code generation in the JAVA programming language. We have implemented a prototype of the system that realizes activities (i) and (iii). We also discuss , wich properties differentiate our system from existing others.

XML (eXtensible Markup Language)已經快速成為網際網路上資料交換的標準，其架構適合用來描述複雜的資料結構並提供XML文件驗證的機制。要交換XML文件，就必須使用綱要語言來制定XML語彙，因而由此衍生出XML綱要設計之問題。在本篇研究中，將研究UML資料模型與XML綱要之間轉換的議題並發展一個可進行雙向轉換的模型。此轉換模型包含二部份，一是從UML資料模型結構轉換為XML綱要結構，一是從XML綱要結構反向轉換為UML資料模型結構；這二個模型將分別探討XML DTD (Data Type Definition)及 W3C XML Schema二個主題，將這二個子模型分別從語法及語意轉換之層面切入進行一連串結構轉換規則之延伸及建立。在XML綱要結構反向轉換為UML資料模型結構之模型中亦包含二個子模型，分別由XML綱要結構建立轉換之規則。我們建立此轉換模型之目的在於使UML資料模型結構及XML綱要結構間之轉換方法更為明確、簡單及容易使用，並透過系統實作來驗證其可行性。 / The (eXtensible Markup Language) XML is fast becoming the standard data exchange across the Internet. It is suitable to describe complex-structured data. It also provides a validation mechanism to validate vocabulary used in the XML document. In order to exchange XML document, XML vocabulary needs to be defined. As a result spread out the issues of XML schema design from here. In the research, UML data model and XML schema transformation issue have been studied to develop a bi-directional mapping and transformation model. We design the bidirectional mapping and transformation model in two parts. One is from UML data model to XML schema; another is from XML Schema to UML data model. Each part has two explored subject, including XML DTD (Data Type Definition) and W3C XML Schema. We develop a sequence of transformation rules from the viewpoints of syntactic and semantic transformation. These are also two parts in the transformation model of mapping from XML schema to UML data model. We develop transformation rules from the viewpoints of generic XML constructs step by step. We build up the transformation model to make transformation method more generic, genuine, systematic, explicit, simple and easy to use. Besides, we implement a transformation editor to validate the bi-directional transformation model.

Master’s thesis deals with implementation of a European standard DATEX II. This standard specifies the data format for information transmission in road transport. The road traffic is flowing streams of current information. For the work was selected network of meteorological stations, which will publish the measured data, ie weather conditions of road transport. Measured data will be available to consumers in the format DATEX II. Implementation will be operational in its entirety meteorological station from design to the actual web service that will produce data information for consumers.