Dissertação

Blended Workflow Access Control Perspective Using Alloy Specifications EVALUATED

O Blended Workflow é um projeto que combina diferentes representações da mesma especificação do fluxo de trabalho permitindo assim ao utilizador final seguir um caminho baseado em atividades enquanto efetua o seu trabalho, mas ter a opção de alterar para um caminho baseado em objetivos quando situações inesperadas ocorrem. Este trabalho tem como objetivo enriquecer o modelo do Blended Workflow com controlo de acesso. Com esse objetivo, neste trabalho é modelado e validado o controlo de acesso de utilizadores finais aos dados da aplicação de modo a garantir que apenas acessos devidos ocorrem. A validação é obtida através da utilização de uma ferramenta chamada Alloy Analyzer.
Blended Workflow, Controlo de Acesso, Permissão, Alloy, Validação

Junho 5, 2018, 16:30

Documentos da dissertação ainda não disponíveis publicamente

Orientação

ORIENTADOR

António Manuel Ferreira Rito da Silva

Departamento de Engenharia Informática (DEI)

Professor Associado