O projeto de produtos e sistemas técnicos complexos requer a compreensão em nível de sistemas e subsistemas para formular soluções eficientes e integradas ao seu contexto. Para auxiliar esta compreensão, o conhecimento de projeto deve ser representado utilizando níveis adequados de abstração de acordo com a fase do projeto. A fase de projeto conceitual requer tipos de representação capazes de atingir um alto nível de abstração para a exploração de conceitos que conduzam a soluções criativas. O paradigma da orientação a objetos, que é fundamentado pela abstração, faz parte da engenharia de software, mas também pode ser aplicado para o projeto de artefatos físicos porque permite a representação dos elementos do mundo real através de uma linguagem simples, acessível e com alto nível de abstração. Ademais, o paradigma da orientação a objetos permite a reutilização do conhecimento de projeto devido à sua capacidade de estruturar a informação em um formato adequado para isto. O presente trabalho propõe um framework para representar o conhecimento de projeto de produto aplicando o paradigma da orientação a objeto. Inicialmente, foram identificados os elementos conceituais da tese e suas relações, para na sequência definir o modelo do framework e o seu método de aplicação O framework utiliza uma linguagem de representação diagramática que pode evoluir desde um mapa mental, com elementos diversificados e pouco ordenados, até uma rede estruturada de classes e relacionamentos em um modelo de classes. Um modelo de classes pode concentrar conhecimento sobre o projeto, servindo como uma estrutura geral que conecta e relaciona diferentes blocos de informação associados aos produtos e sistemas que estão sendo elaborados. A verificação da aplicabilidade do framework foi realizada por especialistas da área de design mediante o desenvolvimento de um projeto de produto em nível conceitual e do preenchimento de questionário de avaliação. / The design of complex technical products requires understanding at the system and subsystem level to formulate efficient and integrated solutions to their context. To support this understanding, the project knowledge can be represented using appropriate levels of abstraction according to the project phase. The conceptual design phase requires types of representation that reach a high level of abstraction for the exploration of concepts that lead to creative solutions. The object-oriented paradigm is based on abstraction and is part of software engineering, but can also be applied to the design of physical artifacts because it allows the representation of realworld elements through simple, accessible and in high-level abstraction language. In addition, the object orientation paradigm supports the reusability of project knowledge due to its capacity to structure the information in patterns. The present work proposes a framework to represent product design knowledge using the objectoriented paradigm First, the conceptual elements of the thesis and their relationships were identified, after; the framework model and their method of application were constructed. The framework uses a diagrammatic representation language in which a mental map, with diversified and unordered elements, can progress into a structured network of classes and relationships in a class model. A class model can focus knowledge about the project, serving as a general structure that connects and relates different blocks of information associated with the products and systems being developed. The verification of the applicability of the framework was carried out by specialists in the design area through the development of a product design at conceptual level and the answering an evaluation questionnaire.

Um método composto de quatro passos para conduzir engenharia reversa orientada a objetos de sistemas desenvolvidos sem usar a tecnologia de orientação a objetos e apresentado. Este método abrangente e detalhado mostrando como fazer engenharia reversa constitui um avanço para o estado da arte, pois não há métodos publicados nesse nível de detalhe ate o momento. A documentação produzida pela engenharia reversa baseada no Método Fusion para desenvolvimento de sistemas orientados a objetos e composta de um Modelo de Objetos, um Modelo de Operação e um Modelo de Ciclo de Vida. Um conjunto de modelos intermediário extraído diretamente do código e dos documentos de interação processo/dados e também incluído com o nome de Modelo de Análise do Sistema Atual. A engenharia reversa de um ambiente de software para projetar sistemas reativos e mostrada em detalhes. Esse software tem 30.000 linhas de código C, divididas em 495 procedimentos agrupados em 36 módulos. Um documento semelhante a um dicionário de dados foi preparado com base na documentação contida em diversas dissertações, artigos e principalmente em seu código fonte. O ambiente de desenvolvimento de sistemas reativos e descrito, bem como sua evolução através de diversas versões e sua aplicação e ilustrada pelo projeto do statechart correspondente a um relógio despertador. Facilidades para especificar atividades associadas aos statecharts foram incorporadas ao ambiente StatSim como parte dos trabalhos desenvolvidos nesta tese e são também discutidas e aplicadas a um exemplo. A simulação de statecharts de controle sujeitos a diferentes eventos possíveis e incluída através de diagramas e \"logs\". Esse exemplo é também usado para ilustrar um procedimento relacionado ao acoplamento de statercharts e diagramas de atividades na especificação de sistemas reativos e para mostrar o uso do ambiente de software para verificar essa especificação. O Método Fusion e comparado a outros métodos de desenvolvimento de sistemas orientados a objetos. O ambiente de desenvolvimento de sistemas reativos baseado em statecharts e posicionado entre outras ferramentas para o desenvolvimento de tais sistemas. / A method composed of four steps to conduct object oriented reverse engineering in systems developed using non object oriented technology is presented. This comprehensive, detailed method showing how to do reverse engineering is an advance to the state of the art as there are no published methods hitherto at this level of detail. The documentation produced by the reverse engineering based on the Fusion Method for object oriented systems development is composed by an Object Model, an Operation Model and a Life Cycle Model. An intermediary set of models directly extracted from the code and from a process/data interaction document is also included with the name of Current Systems Analysis Model. The reverse engineering of a software environment for designing reactive systems is shown in detail. This software comprises 30.000 lines of code in C, spread for 495 procedures grouped in 36 modules. This data dictionary-like document was prepared based on documentation contained in several dissertations and papers and mainly on the code itself. The reactive systems software development environment is described as well as its evolution through several versions, and its application is illustrated by designing the statecharts corresponding to an alarm clock. Facilities to specify activities triggered by the statecharts incorporated to the StatSim environment as part of this thesis\' are also discussed and applied to the example. The simulation of the controlling statecharts subjected to different possible events is included through diagrams and logs. This example is also used to illustrate a procedure devised for coupling statecharts and activity diagrams in the specification of reactive systems and for using the software environment to verify this specification. The Fusion Method is compared to other methods for object oriented systems development. The reactive systems development environment based on statecharts is situated among other tools for the development of such systems.

Made available in DSpace on 2013-08-07T18:43:26Z (GMT). No. of bitstreams: 1 000406275-Texto+Completo-0.pdf: 5088741 bytes, checksum: 77356f5ee18c1f01b23fcf0d1843be33 (MD5) Previous issue date: 2008 / Performance evaluation of an object oriented software nowadays can be done, basically, by three different kinds of methods: Stress Testing, Simulations or Analytic Methods, like Stochastic Automata Networks or Queuing Networks. Stress Testing is an efficient method, but could only be performed on final phases of a software development process when the final product is almost finished. Simulations can be performed in initial phases of a software development process, but usually at a high cost, because it depends on a creation of a simulator. The Analytic Methods could be performed at the earlier phases of the software development process too, but they require a creation of a performance evaluation model. ln the object oriented software development a model is created, which contains detailed information about the system. This information could be used to generate a performance evaluation model, since many of the information containing on each other are common. Following that idea researches were made generating methods for conversion of UML diagram into performance evaluation methods, for example, to Queuing Network. However, does not exist a method or technique that converts UML to formalisms like SAN, which has a higher representative power then Queuing Networks. This work will present a technique for converting UML diagrams into Stochastic Automata Networks focusing on the representation of the logical architecture of object oriented softwares. / A avaliação de desempenho de um software orientado a objetos, hoje, pode ser feita basicamente de três maneiras: com testes de desempenho, simulações ou utilizando métodos analíticos como redes de Autômatos estocásticos e redes de filas de espera. Os testes de desempenho são eficientes e, porem podem ser aplicados apenas nas fases finais do desenvolvimento de software, quando o produto esta praticamente pronto, as simulações podem ser realizadas nas etapas iniciais do processo de desenvolvimento de software porém, geralmente, são custosas, pois dependem da criação de um simulador. Os métodos analíticos podem ser aplicados nas fases iniciais do desenvolvimento, mas exigem a criação de um modelo de avaliação de desempenho. No desenvolvimento de software orientados a objetos já se constrói um modelo, o qual possui informações detalhadas sobre o sistema. Estas informações podem ser utilizadas para gerar um modelo de avaliação de desempenho que represente o software já que muitas das informações contidas no modelo do software são comuns ao modelo de avaliação de desempenho. Utilizando esta idéia foram criados alguns métodos de conversão de UML para formalismos de avaliação de desempenho como redes de filas de espera. Porem, ainda inexiste métodos ou técnicas que convertem UML para formalismos como SAN, que é mais abrangente que, por exemplo, redes de espera. Este trabalho demonstra uma técnica de conversão de UML para SAN, onde explora-se a representação da arquitetura lógica de software orientados a objetos.

O projeto de produtos e sistemas técnicos complexos requer a compreensão em nível de sistemas e subsistemas para formular soluções eficientes e integradas ao seu contexto. Para auxiliar esta compreensão, o conhecimento de projeto deve ser representado utilizando níveis adequados de abstração de acordo com a fase do projeto. A fase de projeto conceitual requer tipos de representação capazes de atingir um alto nível de abstração para a exploração de conceitos que conduzam a soluções criativas. O paradigma da orientação a objetos, que é fundamentado pela abstração, faz parte da engenharia de software, mas também pode ser aplicado para o projeto de artefatos físicos porque permite a representação dos elementos do mundo real através de uma linguagem simples, acessível e com alto nível de abstração. Ademais, o paradigma da orientação a objetos permite a reutilização do conhecimento de projeto devido à sua capacidade de estruturar a informação em um formato adequado para isto. O presente trabalho propõe um framework para representar o conhecimento de projeto de produto aplicando o paradigma da orientação a objeto. Inicialmente, foram identificados os elementos conceituais da tese e suas relações, para na sequência definir o modelo do framework e o seu método de aplicação O framework utiliza uma linguagem de representação diagramática que pode evoluir desde um mapa mental, com elementos diversificados e pouco ordenados, até uma rede estruturada de classes e relacionamentos em um modelo de classes. Um modelo de classes pode concentrar conhecimento sobre o projeto, servindo como uma estrutura geral que conecta e relaciona diferentes blocos de informação associados aos produtos e sistemas que estão sendo elaborados. A verificação da aplicabilidade do framework foi realizada por especialistas da área de design mediante o desenvolvimento de um projeto de produto em nível conceitual e do preenchimento de questionário de avaliação. / The design of complex technical products requires understanding at the system and subsystem level to formulate efficient and integrated solutions to their context. To support this understanding, the project knowledge can be represented using appropriate levels of abstraction according to the project phase. The conceptual design phase requires types of representation that reach a high level of abstraction for the exploration of concepts that lead to creative solutions. The object-oriented paradigm is based on abstraction and is part of software engineering, but can also be applied to the design of physical artifacts because it allows the representation of realworld elements through simple, accessible and in high-level abstraction language. In addition, the object orientation paradigm supports the reusability of project knowledge due to its capacity to structure the information in patterns. The present work proposes a framework to represent product design knowledge using the objectoriented paradigm First, the conceptual elements of the thesis and their relationships were identified, after; the framework model and their method of application were constructed. The framework uses a diagrammatic representation language in which a mental map, with diversified and unordered elements, can progress into a structured network of classes and relationships in a class model. A class model can focus knowledge about the project, serving as a general structure that connects and relates different blocks of information associated with the products and systems being developed. The verification of the applicability of the framework was carried out by specialists in the design area through the development of a product design at conceptual level and the answering an evaluation questionnaire.

Sistemas supervisórios são sistemas computacionais que permitem a monitoração de informações de processos produtivos ou de dispositivos de automação e de plantas industriais. Neste trabalho é proposto um framework para construção de tais sistemas, direcionada a dispositivos móveis, tais como Personal Digital Assistants (PDAs), telefones celulares e computadores de bolso. O framework proposto define uma arquitetura que é implementada gerando sistemas supervisórios com três características principais: (i) as telas de supervisão são construídas com base em um modelo orientado a objetos que utiliza conceitos da área da aplicação, mapeando o mundo real para um modelo computacional; (ii) o projeto de sistemas supervisórios apresenta flexibilidade com relação aos recursos computacionais disponíveis, oferecendo opções para armazenamento local ou remoto de dados multimídia, com o objetivo de não sobrecarregar os dispositivos móveis onde são executados; (iii) os sistemas supervisórios são capazes de se adaptarem dinamicamente às variações na Qualidade de Serviços (QoS) oferecidos pela infra-estrutura de comunicação, ajustando as suas telas gráficas em função de uma especificação de requisitos definidos em tempo de projeto e do nível de QoS obtido na rede em tempo de execução. Duas ferramentas computacionais são propostas e desenvolvidas no âmbito deste trabalho: (i) a primeira responsável pelo ambiente de desenvolvimento dos projetos de sistemas supervisórios, que resulta na geração automática de código em linguagem Java, correspondente à aplicação de supervisão; (ii) a segunda é responsável pela adaptação de mensagens e comunicação de dados entre as aplicações de supervisão projetadas e outros sistemas supervisórios e de controle, disponíveis no mercado. Os conceitos propostos neste trabalho foram validados através de três estudos de caso descritos na presente dissertação. / Supervisory systems are computational systems which allow information monitoring of production processes or automation and technical plant devices. This paper proposes a framework for building supervisory systems, targeted to mobile devices, such as Personal Digital Assistants (PDAs), cell phones and Pocket PCs. The proposed framework allows the development of supervisory systems with three main characteristics: (i) supervision screens, which graphically depict the technical plant, are built using an object oriented model that uses concepts of the application area, allowing a direct mapping of real world concepts, such as automation devices to a computational model; (ii) the supervisory systems project presents flexibility about the available computational resources, offering options for local or remote storing of multimedia and graphical data, with the purpose of not overloading the mobile devices where they are executed; (iii) the supervisory systems runtime environment can dynamically adapt to variations in the Quality of Services (QoS) offered by the communication infrastructure, adjusting their graphic displays by comparing required and offered QoS. Two computational tools are proposed and developed in this work: (i) the first one supports the development of supervisory systems and allows, from an object-oriented model of the application, an automatic code generation - in Java language - of the supervision application; (ii) the second one is responsible for the online adaptation of messages and data communication among the projected supervision applications and other control and supervisory systems. The proposed concepts are validated through three case studies described in the present dissertation.

Made available in DSpace on 2013-08-07T18:53:05Z (GMT). No. of bitstreams: 1 000406808-Texto+Completo-0.pdf: 2762949 bytes, checksum: 9d55fc103261e3cb2396f6e23c8c2552 (MD5) Previous issue date: 2008 / This work presents the description of the development of a integrated system of arti cial neural network and fuzzy logic, where the objective is to create a general purpose environment for the creation of solutions that could combine both techniques, and furthermore aggregate that functionalities to the Framework para An alise de Sistemas de Energia El etrica (FASEE). For that it was created two distinct frameworks, one for each technique. The arti cial neural network was developed in C++ using the FASEE as it background, since that have an automated mechanism for the calculus of partial deviation that facilitate the development process of training methods that use this kind of resource, for instance, the back-propagation. However, because a restriction on the FASEE, the fuzzy logic framework was developed in Lua. This language was chose given it integration capabilities in others languages, such as C++, making the union of the two arti cial intelligence techniques by the union of both languages, delivering so an environment for neuro-fuzzy systems. / Esta dissertação apresenta a descrição do processo de desenvolvimento de um sistema integrado de redes neurais artificiais e lógica fuzzy, onde o objetivo criar um ambiente, de propósito geral, para a criação de soluções que possam englobar ambas as técnicas, além de agregar estas ferramentas ao Framework para Análise de Sistemas de Energia Elétrica (FASEE). Para tanto, foram criados dois frameworks distintos, um para cada técnica. O framework de redes neurais artificiais foi desenvolvido em C++ utilizando como base o FASEE, devido a este apresentar um mecanismo de derivadas parciais automáticas que facilita o processo de desenvolvimento de métodos de treinamento que usam este recurso, como, por exemplo, o back-propagation. Porém, devido a uma restrição do FASEE, o framework de lógica fuzzy foi desenvolvido utilizando a linguagem Lua. Esta foi escolhida pela sua capacidade de interagir com programas desenvolvidos em C++, fazendo com que a união das duas técnicas de inteligência artificial se dê pela união das duas tecnologias, obtendo-se assim um ambiente para a elaboração de sistemas neuro-fuzzy.

O projeto de produtos e sistemas técnicos complexos requer a compreensão em nível de sistemas e subsistemas para formular soluções eficientes e integradas ao seu contexto. Para auxiliar esta compreensão, o conhecimento de projeto deve ser representado utilizando níveis adequados de abstração de acordo com a fase do projeto. A fase de projeto conceitual requer tipos de representação capazes de atingir um alto nível de abstração para a exploração de conceitos que conduzam a soluções criativas. O paradigma da orientação a objetos, que é fundamentado pela abstração, faz parte da engenharia de software, mas também pode ser aplicado para o projeto de artefatos físicos porque permite a representação dos elementos do mundo real através de uma linguagem simples, acessível e com alto nível de abstração. Ademais, o paradigma da orientação a objetos permite a reutilização do conhecimento de projeto devido à sua capacidade de estruturar a informação em um formato adequado para isto. O presente trabalho propõe um framework para representar o conhecimento de projeto de produto aplicando o paradigma da orientação a objeto. Inicialmente, foram identificados os elementos conceituais da tese e suas relações, para na sequência definir o modelo do framework e o seu método de aplicação O framework utiliza uma linguagem de representação diagramática que pode evoluir desde um mapa mental, com elementos diversificados e pouco ordenados, até uma rede estruturada de classes e relacionamentos em um modelo de classes. Um modelo de classes pode concentrar conhecimento sobre o projeto, servindo como uma estrutura geral que conecta e relaciona diferentes blocos de informação associados aos produtos e sistemas que estão sendo elaborados. A verificação da aplicabilidade do framework foi realizada por especialistas da área de design mediante o desenvolvimento de um projeto de produto em nível conceitual e do preenchimento de questionário de avaliação. / The design of complex technical products requires understanding at the system and subsystem level to formulate efficient and integrated solutions to their context. To support this understanding, the project knowledge can be represented using appropriate levels of abstraction according to the project phase. The conceptual design phase requires types of representation that reach a high level of abstraction for the exploration of concepts that lead to creative solutions. The object-oriented paradigm is based on abstraction and is part of software engineering, but can also be applied to the design of physical artifacts because it allows the representation of realworld elements through simple, accessible and in high-level abstraction language. In addition, the object orientation paradigm supports the reusability of project knowledge due to its capacity to structure the information in patterns. The present work proposes a framework to represent product design knowledge using the objectoriented paradigm First, the conceptual elements of the thesis and their relationships were identified, after; the framework model and their method of application were constructed. The framework uses a diagrammatic representation language in which a mental map, with diversified and unordered elements, can progress into a structured network of classes and relationships in a class model. A class model can focus knowledge about the project, serving as a general structure that connects and relates different blocks of information associated with the products and systems being developed. The verification of the applicability of the framework was carried out by specialists in the design area through the development of a product design at conceptual level and the answering an evaluation questionnaire.

Sistemas supervisórios são sistemas computacionais que permitem a monitoração de informações de processos produtivos ou de dispositivos de automação e de plantas industriais. Neste trabalho é proposto um framework para construção de tais sistemas, direcionada a dispositivos móveis, tais como Personal Digital Assistants (PDAs), telefones celulares e computadores de bolso. O framework proposto define uma arquitetura que é implementada gerando sistemas supervisórios com três características principais: (i) as telas de supervisão são construídas com base em um modelo orientado a objetos que utiliza conceitos da área da aplicação, mapeando o mundo real para um modelo computacional; (ii) o projeto de sistemas supervisórios apresenta flexibilidade com relação aos recursos computacionais disponíveis, oferecendo opções para armazenamento local ou remoto de dados multimídia, com o objetivo de não sobrecarregar os dispositivos móveis onde são executados; (iii) os sistemas supervisórios são capazes de se adaptarem dinamicamente às variações na Qualidade de Serviços (QoS) oferecidos pela infra-estrutura de comunicação, ajustando as suas telas gráficas em função de uma especificação de requisitos definidos em tempo de projeto e do nível de QoS obtido na rede em tempo de execução. Duas ferramentas computacionais são propostas e desenvolvidas no âmbito deste trabalho: (i) a primeira responsável pelo ambiente de desenvolvimento dos projetos de sistemas supervisórios, que resulta na geração automática de código em linguagem Java, correspondente à aplicação de supervisão; (ii) a segunda é responsável pela adaptação de mensagens e comunicação de dados entre as aplicações de supervisão projetadas e outros sistemas supervisórios e de controle, disponíveis no mercado. Os conceitos propostos neste trabalho foram validados através de três estudos de caso descritos na presente dissertação. / Supervisory systems are computational systems which allow information monitoring of production processes or automation and technical plant devices. This paper proposes a framework for building supervisory systems, targeted to mobile devices, such as Personal Digital Assistants (PDAs), cell phones and Pocket PCs. The proposed framework allows the development of supervisory systems with three main characteristics: (i) supervision screens, which graphically depict the technical plant, are built using an object oriented model that uses concepts of the application area, allowing a direct mapping of real world concepts, such as automation devices to a computational model; (ii) the supervisory systems project presents flexibility about the available computational resources, offering options for local or remote storing of multimedia and graphical data, with the purpose of not overloading the mobile devices where they are executed; (iii) the supervisory systems runtime environment can dynamically adapt to variations in the Quality of Services (QoS) offered by the communication infrastructure, adjusting their graphic displays by comparing required and offered QoS. Two computational tools are proposed and developed in this work: (i) the first one supports the development of supervisory systems and allows, from an object-oriented model of the application, an automatic code generation - in Java language - of the supervision application; (ii) the second one is responsible for the online adaptation of messages and data communication among the projected supervision applications and other control and supervisory systems. The proposed concepts are validated through three case studies described in the present dissertation.

Um método composto de quatro passos para conduzir engenharia reversa orientada a objetos de sistemas desenvolvidos sem usar a tecnologia de orientação a objetos e apresentado. Este método abrangente e detalhado mostrando como fazer engenharia reversa constitui um avanço para o estado da arte, pois não há métodos publicados nesse nível de detalhe ate o momento. A documentação produzida pela engenharia reversa baseada no Método Fusion para desenvolvimento de sistemas orientados a objetos e composta de um Modelo de Objetos, um Modelo de Operação e um Modelo de Ciclo de Vida. Um conjunto de modelos intermediário extraído diretamente do código e dos documentos de interação processo/dados e também incluído com o nome de Modelo de Análise do Sistema Atual. A engenharia reversa de um ambiente de software para projetar sistemas reativos e mostrada em detalhes. Esse software tem 30.000 linhas de código C, divididas em 495 procedimentos agrupados em 36 módulos. Um documento semelhante a um dicionário de dados foi preparado com base na documentação contida em diversas dissertações, artigos e principalmente em seu código fonte. O ambiente de desenvolvimento de sistemas reativos e descrito, bem como sua evolução através de diversas versões e sua aplicação e ilustrada pelo projeto do statechart correspondente a um relógio despertador. Facilidades para especificar atividades associadas aos statecharts foram incorporadas ao ambiente StatSim como parte dos trabalhos desenvolvidos nesta tese e são também discutidas e aplicadas a um exemplo. A simulação de statecharts de controle sujeitos a diferentes eventos possíveis e incluída através de diagramas e \"logs\". Esse exemplo é também usado para ilustrar um procedimento relacionado ao acoplamento de statercharts e diagramas de atividades na especificação de sistemas reativos e para mostrar o uso do ambiente de software para verificar essa especificação. O Método Fusion e comparado a outros métodos de desenvolvimento de sistemas orientados a objetos. O ambiente de desenvolvimento de sistemas reativos baseado em statecharts e posicionado entre outras ferramentas para o desenvolvimento de tais sistemas. / A method composed of four steps to conduct object oriented reverse engineering in systems developed using non object oriented technology is presented. This comprehensive, detailed method showing how to do reverse engineering is an advance to the state of the art as there are no published methods hitherto at this level of detail. The documentation produced by the reverse engineering based on the Fusion Method for object oriented systems development is composed by an Object Model, an Operation Model and a Life Cycle Model. An intermediary set of models directly extracted from the code and from a process/data interaction document is also included with the name of Current Systems Analysis Model. The reverse engineering of a software environment for designing reactive systems is shown in detail. This software comprises 30.000 lines of code in C, spread for 495 procedures grouped in 36 modules. This data dictionary-like document was prepared based on documentation contained in several dissertations and papers and mainly on the code itself. The reactive systems software development environment is described as well as its evolution through several versions, and its application is illustrated by designing the statecharts corresponding to an alarm clock. Facilities to specify activities triggered by the statecharts incorporated to the StatSim environment as part of this thesis\' are also discussed and applied to the example. The simulation of the controlling statecharts subjected to different possible events is included through diagrams and logs. This example is also used to illustrate a procedure devised for coupling statecharts and activity diagrams in the specification of reactive systems and for using the software environment to verify this specification. The Fusion Method is compared to other methods for object oriented systems development. The reactive systems development environment based on statecharts is situated among other tools for the development of such systems.

Sistemas supervisórios são sistemas computacionais que permitem a monitoração de informações de processos produtivos ou de dispositivos de automação e de plantas industriais. Neste trabalho é proposto um framework para construção de tais sistemas, direcionada a dispositivos móveis, tais como Personal Digital Assistants (PDAs), telefones celulares e computadores de bolso. O framework proposto define uma arquitetura que é implementada gerando sistemas supervisórios com três características principais: (i) as telas de supervisão são construídas com base em um modelo orientado a objetos que utiliza conceitos da área da aplicação, mapeando o mundo real para um modelo computacional; (ii) o projeto de sistemas supervisórios apresenta flexibilidade com relação aos recursos computacionais disponíveis, oferecendo opções para armazenamento local ou remoto de dados multimídia, com o objetivo de não sobrecarregar os dispositivos móveis onde são executados; (iii) os sistemas supervisórios são capazes de se adaptarem dinamicamente às variações na Qualidade de Serviços (QoS) oferecidos pela infra-estrutura de comunicação, ajustando as suas telas gráficas em função de uma especificação de requisitos definidos em tempo de projeto e do nível de QoS obtido na rede em tempo de execução. Duas ferramentas computacionais são propostas e desenvolvidas no âmbito deste trabalho: (i) a primeira responsável pelo ambiente de desenvolvimento dos projetos de sistemas supervisórios, que resulta na geração automática de código em linguagem Java, correspondente à aplicação de supervisão; (ii) a segunda é responsável pela adaptação de mensagens e comunicação de dados entre as aplicações de supervisão projetadas e outros sistemas supervisórios e de controle, disponíveis no mercado. Os conceitos propostos neste trabalho foram validados através de três estudos de caso descritos na presente dissertação. / Supervisory systems are computational systems which allow information monitoring of production processes or automation and technical plant devices. This paper proposes a framework for building supervisory systems, targeted to mobile devices, such as Personal Digital Assistants (PDAs), cell phones and Pocket PCs. The proposed framework allows the development of supervisory systems with three main characteristics: (i) supervision screens, which graphically depict the technical plant, are built using an object oriented model that uses concepts of the application area, allowing a direct mapping of real world concepts, such as automation devices to a computational model; (ii) the supervisory systems project presents flexibility about the available computational resources, offering options for local or remote storing of multimedia and graphical data, with the purpose of not overloading the mobile devices where they are executed; (iii) the supervisory systems runtime environment can dynamically adapt to variations in the Quality of Services (QoS) offered by the communication infrastructure, adjusting their graphic displays by comparing required and offered QoS. Two computational tools are proposed and developed in this work: (i) the first one supports the development of supervisory systems and allows, from an object-oriented model of the application, an automatic code generation - in Java language - of the supervision application; (ii) the second one is responsible for the online adaptation of messages and data communication among the projected supervision applications and other control and supervisory systems. The proposed concepts are validated through three case studies described in the present dissertation.