Dedico esse trabalho especialmente à minha pequena Clarisse, que me acompanhou na reta final desse trabalho, e também à minha família que compreendeu a minha ausência durante o período de dedicação a esse Mestrado. iv Agradecimentos "Combati o bom combate, terminei a minha carreira, guardei a minha fé"(II Timóteo 4:7) Em primeiro lugar, não poderia ser de outra forma, agradeço a Deus que me acompanhou nessa caminhada participando tanto dos meus momentos de descontração, como nos de intensos trabalhos, sempre me dando forças para continuar. Também agradeço à minha linda esposa Juliana, que sempre me apoiou, desde a decisão de iniciar essa jornada, com todo o carinho e amor que eu precisei. Ju, essa conquista é nossa!!! À minha doce Clarissinha, tenho que agradecer por fazer, desde o dia nove de junho de 2014, os meus dias sempre especiais. Filhina, papai te ama!!! À minha mãe, o agradecimento que não caberia nesse espaço. A grande responsável pelo que sou hoje. Mamãe, o seu exemplo de vida é a minha maior inspiração!!! Aos meus irmãos, meu precioso afilhado Mateus e demais familiares, obrigado pelo carinho de sempre. Aos meus colegas de curso, MUITO OBRIGADO!!! O clima de camaradagem permanente foi determinante para que eu chegasse até aqui. Por último, mas não menos importante, à minha orientadora Prof. a Genaína, meu mais sincero agradecimento. Sempre serei grato pela sua incansável dedicação e por nunca deixar de acreditar (até quando eu mesmo não acreditava!!) no sucesso do trabalho. Você se tornou uma referência, tanto como profissional, quanto como pessoa. De coração, MUITO OBRIGADO!!! v Palavras-chave: cenários implícitos, sistemas concorrentes, dependabilidade, confiabilidade vii
AbstractThe increasing of the complexity in computing systems is a trend that needs be accompanied by the search for development techniques oriented to ensure the required reliability level, since the early stages of the software development cycle. In this context, it becomes a essential requirement that the modeling be done in a reliable way, reflecting the expected behavior for system.The scenario-based specification allows, even at early stages of the development, the realization of dependability analysis to verify the compliance with no-functional requirements of the system. Being considered an interesting technique for constructing reliable systems.However, the scenarios modeled brings the possibility of the occurrence of implied scenarios, which are scenarios that were not initially foreseen but arise from interaction between the others specified scenarios. These new scenarios can be allowed, when they do not compromise the system, or unwanted, when they take the system to an error state. In the latter case, it is required to take corrective action in order to eliminate or reduce these negative effects. Therefore, to construct a reliable model, it is necessary not only identify any implied scenarios, but also to assess the impact of these on the system to be modeled in order to ground and direct the actions in order to achie...