Dissertação

{en_GB=Blended Workflow Access Control Perspective Using Alloy Specifications} {} EVALUATED

{pt=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., en=The Blended Workflow is a project that combines different representations for the same workflow specification allowing the end user to follow the standard activity-based view when doing his work, but to change that view to a goal-based when an unexpected situation occurs. This work has the objective to enrich the blended workflow model with the access control perspective. Therefore, in this work i model and validate the access of end users to application resources, in order to guarantee that only proper accesses are made. This validation is achieved using a tool called Alloy Analyzer. }
{pt=Blended Workflow, Controlo de Acesso, Permissão, Alloy, Validação, en=Blended Workflow, Access Control, Permission, Alloy, Validation}

Junho 5, 2018, 16:30

Orientação

ORIENTADOR

António Manuel Ferreira Rito da Silva

Departamento de Engenharia Informática (DEI)

Professor Associado