Gomes, LuísCosta, AnikóRebelo, Rogério Alexandre Botelho Campos2016-10-192016-10-192016-032016-10http://hdl.handle.net/10362/19193Neste 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.porSistemas a eventos discretosInterpretação de sinaisAfetação de sinaisFormalismos de modelaçãoInteração humano-sistemadoctoral thesis101475381