Techn. University, Diss., 2005--Berlin.

Thesis (M.S.)--University of Nevada, Reno, 2008. / "August, 2008." Includes bibliographical references (leaves 62-66). Online version available on the World Wide Web.

Made available in DSpace on 2013-08-07T18:43:06Z (GMT). No. of bitstreams: 1 000425004-Texto+Completo-0.pdf: 1283916 bytes, checksum: 06a02199cf1e50a23c7a99c93e1147e3 (MD5) Previous issue date: 2010 / The process of software development is a task that involves a set of activities to be performed and, in many cases, by large and geographically dispersed teams. This requires the utilization of methods that renders a broad vision of all stages of the development process. The UML (Unified Modeling Language) is a modeling language that enables this vision through the use of diagrams that graphically demonstrates the software structure being developed. The activity diagram is used to model the behavior of the system with executing flows for every defined activity In order to obtain a behavioral model of computational systems, this work presents a proposal to converter activity diagrams to SAN (Stochastic Automata Networks), a mathematical formalism for modeling probabilistic index extraction related to the states, allowing decisions making for project resources allocated. To demonstrate how to execute the conversion, we use a simplified version of the elements from the UML activity diagrams to describe both parameters and rules associated to de conversion. We also present the results generated from the SAN model. / O processo de desenvolvimento de software é uma tarefa que envolve um conjunto de atividades a serem realizadas, e em muitos casos, por equipes grandes que podem se encontrar geograficamente dispersas. Isso exige do desenvolvedor a utilizacão de métodos que proporcionem uma visão de todas as etapas desse processo de desenvolvimento. A UML (Unified Modeling Language) é uma linguagem de modelagem que possibilita essa visão através do uso de diagramas que demonstram graficamente a estrutura do software em desenvolvimento. O diagrama de atividades é utilizado para modelar o comportamento do sistema, através dos fluxos de execução de cada atividade desempenhada pelo mesmo. Com o objetivo de obter um modelo comportamental de sistemas computacionais apresentamos neste trabalho uma proposta de conversão de diagramas de atividades para SAN (Stochastic Automata Networks), um formalismo matemático que possibilita a modelagem de sistemas em geral, a partir do qual é possível extrair índices probabilísticos relacionados aos estados, permitindo aos responsáveis pelo processo de desenvolvimento tomar decisões sobre os recursos alocados no projeto. Com o intuito de demonstrarmos como executar a conversão, usamos uma versão simplificada dos elementos do diagrama de atividades da UML, para descrever os parâmetros e regras utilizadas para a conversão proposta. Apresentamos ainda os resultados obtidos a partir do modelo SAN gerado.

Neste trabalho apresenta-se um método de desenvolvimento integrado baseado no paradigma de orientação a objetos, que visa abordar todo o ciclo de desenvolvimento de uma aplicação tempo real. Na fase de especificação o método proposto baseia-se no uso de restrições temporais padronizadas pelo perfil da UML-TR, sendo que uma alternativa de mapeamento destas restrições para o nível de programação é apresentada. Este mapeamento serve para guiar a fase de projeto, onde utilizou-se como alvo a interface de programação orientada a objetos denominada TAFT-API, a qual foi projetada para atuar junto ao ambiente de execução desenvolvido no âmbito desta tese. Esta API é baseada na especificação padronizada para o Java-TR. Este trabalho também discute o ambiente de execução para aplicações tempo real desenvolvido. Este ambiente faz uso da política de escalonamento tolerante a falhas denominada TAFT (Time-Aware Fault- Tolerant). O presente trabalho apresenta uma estratégia eficiente para a implementação dos conceitos presentes no escalonador TAFT, que garante o atendimento a todos os deadlines mesmo em situações de sobrecarga transiente. A estratégia elaborada combina algoritmos baseados no Earliest Deadline, sendo que um escalonador de dois níveis é utilizado para suportar o escalonamento combinado das entidades envolvidas. Adicionalmente, também se apresenta uma alternativa de validação dos requisitos temporais especificados. Esta alternativa sugere o uso de uma ferramenta que permite uma análise qualitativa dos dados a partir de informações obtidas através de monitoração da aplicação. Um estudo de caso baseado em uma aplicação real é usado para demonstrar o uso da metodologia proposta.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-18T04:30:30Z (GMT). No. of bitstreams: 0

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-graduação em Automação e Sistemas / Made available in DSpace on 2012-10-24T05:30:59Z (GMT). No. of bitstreams: 1 255209.pdf: 2427376 bytes, checksum: 5125296a32a0df94c7714b1893cb9a63 (MD5) / Analisando a história dos sistemas embarcados, podemos dividi-la em dois momentos. Em um primeiro momento, a origem dos problemas destes sistemas provinha, na grande maioria dos casos, da parte física chamada hardware. A partir dos anos 60, graças à chegada dos circuitos integrados, desenvolvidos para o Programa Espacial Americano, a parte física dos sistemas se tornou mais confiável. Nós últimos 20 anos, devido à complexidade inerente ao desenvolvimento dos softwares para sistemas embarcados, estes se tornaram a origem da maior parte dos erros. Uma das grandes dificuldades no desenvolvimento destes softwares é assegurar um funcionamento correto (de acordo com as especificações). A fim de reduzir a incidência de erros, a indústria passou a estudar o uso de métodos formais para auxiliar o desenvolvimento destes sistemas complexos. Estas técnicas auxiliam o processo decisório porque permitem afirmar antes de implementar o protótipo se uma dada especificação será cumprida ou não pelo sistema. Entretanto, a verificação formal ainda não é largamente empregada no ambiente industrial devido à dificuldade no intercâmbio de informações entre as linguagens de modelagem de alto nível (UML, AADL, SDL, etc) e as ferramentas de verificação formal. Esta dificuldade é decorrente da falta de uma semântica formal para estas linguagens de modelagem largamente utilizadas pela indústria. Além disto, cada ferramenta de verificação trabalha com formalismos matemáticos diferentes, não havendo uma fácil integração entre elas. Outro fator importante é que não podemos afirmar que existe um formalismo único capaz de atender a todas as necessidades de um sistema complexo. Isto implica que sistemas futuros vão cada vez mais requerer uma combinação de métodos baseados em modelos, tais como sistema de transição, álgebra de processos, lógica temporal, entre outros. Estas restrições impõem à indústria a necessidade de desenvolver uma ferramenta de tradução de modelos para cada par linguagem-formalismo empregado. A fim de facilitar este intercâmbio de informações entre as diferentes linguagens de modelagem e as ferramentas de verificação formais existentes - tais como TINA (Time Petri Net Analyser), CADP (Construction and Analysis of Distributed Processes), entre outras - o projeto TOPCASED (Toolkit in Open-Source for Critical Application & Systems Development) desenvolveu uma arquitetura de verificação original, que promove a transformação de modelos entre os diferentes níveis. Esta transformação é simplificada pelo advento de uma linguagem intermediária formal chamada FIACRE (Format Intermédiaire pour les Architectures de Composants Répartis Embarqués). Dentro deste contexto, as atividades desenvolvidas neste trabalho fazem parte da especificação e operacionalização da linguagem FIACRE do projeto TOPCASED. A primeira atividade apresentada neste trabalho é o estudo preliminar da tradução entre SDL e FIACRE para auxiliar na especificação da linguagem FIACRE. A segunda atividade consiste inicialmente na proposição de um esquema conceitual para a tradução de FIACRE para o formalismo matemático TTS (Sistema de Transições Temporizadas), e posteriormente na sua implementação na forma de um compilador (front-end) para a ferramenta TINA. Por último, um exemplo de verificação de sistema é apresentado com o intuito de demonstrar as vantagens das ferramentas que fazem parte do projeto TOPCASED.

This thesis deals with the development of quotation system for Mikroelektronika company in the electronic manufactoring services business area. The first part analyzes the current state of the quotation system using the BPMN 2.0 standard. Requirements for system development are formulated based on identified shortcomings. The second part describes the proposed solution using use case diagrams, process diagrams and entity-relationship diagrams. The implementation of the proposed changes via Nette Framework tool is described in the third section. Developed solution provides all the necessary tools for a complete offer creation.

This diploma thesis deals with business processes of enterprise developing ERP solutions for importers and suppliers of consumer goods. Analysis of specific processes in Apprise Software enterprise is base for business process modelling with UML notation in CASE software tools of Enterprise Architect. Effectiveness of modelled processes are evaluated, optimizations and innovations are designed.

This thesis deals with analysis of real processes in company Morfico s.r.o., which does business in the market of construction materials. The processes are modeled using UML 2.0 and BPMN 2.0 notation using CASE tool Enterprise Architect. Thereafter is per-formed their analysis and evaluation of their effectiveness. Based on the analysis of in-novation processes are executed and one of the innovations is implemented as a web application using PHP and MySQL technologies.

Implementation of web application for sport club with the support of CASE tool WebRatio and IFML notation. Diploma thesis. Brno: Mendel University in Brno, 2015. This diploma thesis deals with implementation of web application for sport club with the support of CASE tool WebRatio and IFML notation. The thesis describes software development method-ologies with a main focus on web applications and IFML notation. The practical part of this thesis deals with the implementation of a web application based on analysis of the current state of the problem domain and defined business requirements. Development process of entire application was conducted in accordance with the IFML notation. For the analysis and system modelling were used diagrams and models of UML2 and IFML languages. Models and diagrams were made by CASE tool WebRatio and Enterprise Architect. The application was implemented using ASP.NET MVC technology, Mi-crosoft SQL Server database tool and C# language.