Informations du cours

A disciplina introduz o conceito de design de sistemas baseado em modelos (Model-based System Engineering - MBSE) e trabalhará especificamente os métodos formais baseados em "transition systems" (modelo estado-transição) representado em linguagens LTL (Linear Temporal Logic), workflow graphs e Redes de Petri.  Representações semi-formais serão usadas para a fase de requisitos como UML e métodos orientados a objetivos (goal-oriented), aplicados a sistemas automatizados - embora possam ser extrapolados para qualquer sistema. A base serão os ambientes colaborativos de design baseados em sistemas de informação. Para a parte prática e de exercícios usaremos o OMG Marte (para modelagem e UML), Objectiver (para modelagem de requisitos goal-oriented), da RESPECT-IT,  e para iniciar a fase de design o CORE da Vitech.  A perspectiva é fazer o caminho entre a teoria e o uso prático dos conceitos.