A estrutura da tese

A dissertação está organizada em sete capítulos. De uma forma geral, em cada capítulo proceder-se-á à caracterização do estado da arte em relação aos aspectos abordados nesse capítulo. Desta forma, a leitura de cada um dos capítulos pode ser realizada com “alguma” autonomia em relação aos restantes capítulos.

Em seguida, descrevem-se, resumidamente, os conteúdos de cada um dos sete capítulos:

i) “Sobre os objectivos”, em que se procedeu à identificação dos objectivos do trabalho e dos sistemas a modelar, e onde, de modo claro, se colocou ênfase na atitude de engenharia subjacente ao seu desenvolvimento;

ii) “As Redes de Petri Reactivas” (RdP-R), onde se procederá à apresentação das características da classe de RdP proposta, partindo das características autónomas das RdP Coloridas, para de forma gradual ir integrando características não-autónomas especialmente adequadas à modelação dos sistemas alvo de projecto. Ao longo do capítulo, sempre que se justifique, identificar-se-ão

modelos comportamentais equivalentes às características propostas, no sentido de deixar claro as técnicas aplicáveis à sua análise;

iii) “Aspectos de verificação e de implementação”, em que a ênfase se desloca nas questões ligadas à execução e análise das RdP-R. O espaço de estados associado será identificado como única forma geral de análise das RdP-R e será apresentado um algoritmo permitindo a sua construção. Será discutida a utilização de jogadores-de-marcas e do espaço de estados como suporte à execução do modelo, bem como a problemática da resolução automática de conflitos;

iv) “As Redes de Petri Reactivas e Hierárquicas” (RdP-RH), onde se adicionarão capacidades de decomposição e representação hierárquicas ao modelo não-hierárquico apresentado em capítulo anterior, permitindo a modelação compacta de sistemas de complexidade elevada. Serão propostos três mecanismos básicos de estruturação hierárquica, denominados por decomposição horizontal, vertical e mista, respectivamente. A modelação de statecharts através de RdP Reactivas e Hierárquicas será utilizada como um exemplo das capacidades de implementação de outros formalismos;

v) “Modelando técnicas de controlo inteligente”, capítulo em que se apresentam as capacidades das RdP-RH de representação de sistemas de regras vários, permitindo a tradução para RdP-RH de vários tipos de formalismos de controlo inteligente, nomeadamente sistemas de regras de produção, sistemas de regras com imprecisão e controladores difusos;

vi) “Edifícios inteligentes: um conceito potencialmente mobilizador”, onde se procederá à apresentação de propostas para uma abordagem integrada ao conceito de Edifício Inteligente, como um conceito mobilizador; muito embora o ambiente de monitoração e controlo de edifícios a apresentar neste capítulo não tenha ainda recebido o benefício da aplicação directa das RdP-R ou das RdP-RH aos seus sistemas, constituiu-se numa área de aplicação de referência, permitindo testar a aplicabilidade potencial das RdP-R e das RdP-RH, para além de ter sido utilizado como ambiente de validação dos requisitos especificados para os modelos propostos. É um dos ambientes onde se prevê, a curto prazo, a utilização extensiva das RdP-R/RdP-RH a apresentar nesta tese; daí a sua apresentação como um dos seus capítulos;

vii) “Conclusões”, capítulo dedicado à apresentação das conclusões deste trabalho, bem como à apresentação de algumas linhas potenciais de trabalho futuro.

Da descrição apresentada, identificam-se três partes:

• a primeira, onde se apresentarão as características das classes de RdP a propôr, constituída, grosso modo, pelos primeiros quatro capítulos;

• a segunda onde as características das novas classes serão aplicadas:

• à tradução de outros formalismos, nomeadamente statecharts e controlo inteligente, apresentado nos capítulos 4 e 5;

• a uma área de aplicação extremamente diversificada, como a dos edifícios inteligentes, referida no capítulo 6;

• a terceira e última parte, associada ao balanço do trabalho realizado, apresentada no capítulo 7.

19

Sumário do capítulo

O objectivo do presente capítulo é o de apresentar as características propostas para a classe de Redes de Petri Reactivas, abreviadamente referida por RdP-R. A sua definição decorre dos objectivos enunciados no capítulo anterior, em que os sistemas reactivos de tempo-real foram identificados como os sistemas alvo para modelar e especificar.

Este capítulo é composto pelas seguintes secções:

2.1 Formalismos para sistemas reactivos de tempo-real 2.2 Descrição da classe proposta: as RdP-Reactivas 2.3 Análise de um exemplo

Na primeira secção realiza-se um levantamento dos métodos e ferramentas mais significativos, actualmente disponíveis, aplicáveis à especificação de sistemas reactivos de tempo-real, com ênfase para os que recorrem a uma notação gráfica.

Na segunda secção, as diferentes características das RdP-R são apresentadas. Partindo da classe das Redes de Petri Coloridas, são sucessivamente introduzidas novas capacidades de modelação, permitindo a modelação simultânea dos fluxos de controlo e de dados, de dependências temporais e de sinais de entrada e saída. A arquitectura típica para execução das RdP-R é caracterizada. Os conceitos de ciclo de tratamento, de passos e micropassos de execução (também algumas vezes referidos como de análise) são introduzidos para caracterizar o modo de evolução do modelo.

Finalmente, na terceira secção, recorre-se à modelação simplificada de um subsistema relativo ao protótipo desenvolvido para a monitoração de edifícios, permitindo relacionar as capacidades de modelação de máquinas de estados, statecharts e RdP-R. Evidenciam-se, deste modo, as dependências

já referidas entre conteúdos teóricos (RdP-R, statecharts e arquitecturas cliente-servidor) e de aplicação (edificíos inteligentes).