| Nome: | Descrição: | Tamanho: | Formato: | |
|---|---|---|---|---|
| 4.24 MB | Adobe PDF |
Orientador(es)
Resumo(s)
Neste trabalho propõe-se um conjunto de técnicas de modelização de eventos potencialmente utilizáveis em complemento a formalismos de modela-ção (Diagramas de Estado e redes de Petri, entre outros) de sistemas a eventos discretos. São definidos eventos de entrada e eventos de saída do sistema. Os eventos de entrada são originados pela análise da evolução de sinais e (outros) eventos de entrada e permitem representar comportamentos complexos das en-tradas do sistema, enquanto os eventos de saída permitem gerar sinais e (ou-tros) eventos de saída.
São propostos eventos e condições elementares que detetam comporta-mentos elementares dos sinais e também composições de eventos e condições, incluindo relações de ordem temporal, de forma a obter caracterizações mais abstratas e melhorias na legibilidade e compactação do modelo.
Para representar as técnicas de modelização propostas são definidas duas sintaxes diferentes (gráfica ou textual). A definição destes dois tipos de sintaxe permite a sua integração em diferentes ambientes de desenvolvimento de sis-temas. Desta forma, a principal contribuição deste trabalho foca-se na modeliza-ção da interação do sistema com o ambiente, partindo da decomposição do mo-delo do sistema em partes de interface e de execução (que comunicam através de eventos), e da adição de uma caracterização separada das dependências e dos comportamentos dos sinais de entrada e de saída com o ambiente resultan-do numa modelação estruturada do sistema, dando, assim, origem a modelos mais compactos e mais simples de interpretar e implementar.
Descrição
Palavras-chave
Sistemas a eventos discretos Interpretação de sinais Afetação de sinais Formalismos de modelação Interação humano-sistema
