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.
junho 5, 2018, 16:30
Publicação
Obra sujeita a Direitos de Autor
Orientação
ORIENTADOR
António Manuel Ferreira Rito da Silva
Departamento de Engenharia Informática (DEI)
Professor Associado