Currículo

Modelação Formal de Sistemas de Informação Organizacionais MFSIO

Contextos

ECTS

6.0 (para cálculo da média)

Objectivos

Objectivos: O1 - Desenvolver mecanismos de abstracção; O2 - Desenvolver capacidade de estruturação sólida de conceitos complexos; O3 - Desenvolver capacidade de representação de modelos visuais.

Programa

P1 Extensões de UML P1.1 Model Driven Architecture (MDA) P1.2 Esteriótipos P1.3 Profiles P2 Object Constraint Language (OCL) P2.1 OCL Através de Exemplos P2.2 Construção de Modelos com OCL P3 Restrições Flexíveis em Sistemas de Informação P3.1 Restrições Fortes e Fracas P3.2 Operadores Deônticos (Obrigação, Proibição, Necessidade) P4 Abordagens modais à modelação organizacional P4.1 Diagnóstico de Processos Organizacionais P4.2 Restrições ?fortes? e ?fracas? em diagramas UML P4.3 Responsabilidade e distribuição de tarefas P4.4 Poder resultante de relações sociais nas organizações

Método de Avaliação

Prevê-se que dois terços das aulas sejam expositivas, e um terço de aulas tutoriais. As aulas terão uma forte componente teórica (exposição dos conceitos e abordagens), sendo que os conceitos serão sempre que possível exemplificados através de aplicações reais. Pretende-se envolver os alunos na discussão dos exemplos de aplicação apresentados. Nas aulas tutoriais serão discutidos com o aluno os tópicos que este escolheu para desenvolver no seu trabalho individual | Existirão dois momentos de avaliação: (i) relatório individual cujo conteúdo será acordado com o docente; (ii) apresentação e discussão do relatório.

Carga Horária

Bibliografia

Principal

• 6. Filipe Santos, A Modal Logic Framework for Organization Analysis and Design. Em Proc. Sixth International Workshop on Deontic Logic in Computer Science (DEON'02), J. Horty e A.I.J. Jones (eds), Imperial College, 279-297, 2002 5. Castelfranchi, C. Social Power. A point missed in Multi Agent, DAI and HIC. In Y. Demazeau and J.P. Muller eds. Descentralized AI Amsterdam: Elsevier, 1990 4. Pedro Ramos, Deontic Database Constraints: from UML to SQL, In ICEIS, Angers, 2013 3. Wieringa, R.J., Meyer, J. Applications of Deontic Logics in Computer Science: a concise overview In J. Meyer and R.J. Wieringa, , editors, Procs. First Int. Workshop on Deontic Logic in Computer Science, 1991 2. Jos Warmer, Anneke Kleppe , The Object Constraint Language: Getting Your Models Ready for MDA, Addison-Wesley Professional; 2 edition, 2003 1. Russ Miles, Kim Hamilton, Learning UML 2.0, O'Reilly Media; 1 edition, 2006 :

Secundária

Disciplinas de Execução

2019/2020 - 1º Semestre