Gerador de protótipos de interfaces gráficas para o IVY Workbench

Detalhes bibliográficos
Autor(a) principal: Araújo, João Miguel Matela Aidos Manso de
Data de Publicação: 2020
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: https://hdl.handle.net/1822/79984
Resumo: Dissertação de mestrado em Computer Science
id RCAP_d9552f60b3d14670fc214211cfe279a4
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/79984
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Gerador de protótipos de interfaces gráficas para o IVY WorkbenchA generator of user interface prototypesInterfaces com o utilizadorPrototipagemModelação e análise formaisUser interfacesPrototypingFormal analysis and modelingEngenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e InformáticaDissertação de mestrado em Computer ScienceA interface de um programa é um elemento importante na experiência que o utilizador tem com o software, pois constitui o principal método de interação com a lógica do programa. A existência de métodos fiáveis de verificação de sistemas de software permite o a conceção destes de acordo com a especificação e, em casos mais críticos, evitar erros com consequências graves. Estes métodos rigorosos, no entanto, contrastam com a prática mais comum no desenho de interfaces. Um dos métodos mais utilizados para o desenho e avaliação de interfaces é a prototipagem. Os protótipos permitem transmitir aspetos do design da interface e até avaliar a sua usabilidade, mas não oferecem as garantias sobre o seu funcionamento que os métodos de verificação oferecem. O IVY Workbench é uma ferramenta que suporta a modelação do comportamento de sistemas interativos e a verificação formal dos mesmos. A ferramenta contém um conjunto de plugins que suportam o processo de modelação e análise, incluindo um editor de modelos, um verificador de propriedades e um animador. Este último permite visualizar e interagir com os modelos, mas não suporta associá-los a mockups representativos das interfaces. A interação com os modelos facilita a sua validação por parte de quem os está a desenvolver. Não facilita, no entanto, a comunicação com os potenciais clientes do sistema modelado, para quem um protótipo será um meio mais eficaz de comunicação. Neste documento propõe-se uma solução para o problema acima, assente no desenvolvimento de um novo plugin capaz de suportar a construção e animação de protótipos de sistemas interativos modelados no IVY. É descrito todo o processo de desenvolvimento, desde o levantamento de requisitos, até exemplos de aplicação que permitem demonstrar as novas funcionalidades existentes.A program’s interface is the most important element in the user’s experience with the soft ware, because it is the primary method through which the user interacts with the program’s logic. The availability of reliable software verification methods allows its conception accor ding to specification and, in critical cases, to avoid errors with grave consequences. These rigorous methods, however, are in contrast with the traditional approaches to user interface design. One of the most used methods for designing and evaluating interfaces is prototy ping. Prototypes allow communication of design and usability aspects of a software system, but don’t offer any guarantees about their behaviour. IVY Workbench is a tool that supports modeling interactive system’s behavior and their respective formal verification. The tool contains a set of plugins that enable the modeling and analysis process, including a model editor, a trace analyzer and an animator. This last feature allows visualization and interaction with models but doesn’t support linking them with mockups that represent them. Model interaction makes it easier for developers to validate its behavior. However, it doesn’t facilitate the communication of the system’s behavior to potential clients, to which a prototype would be the most efficient communication path. In this document a solution to the above problem is presented, based on the develop ment of a new plugin that will support the construction and animation of prototypes of interactive systems modeled in IVY. The document describes the undertaken development process, from requirements elicitation to practical examples that help demonstrate the new available features.Campos, José C.Couto, RuiUniversidade do MinhoAraújo, João Miguel Matela Aidos Manso de2020-01-092020-01-09T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://hdl.handle.net/1822/79984por203018958info:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-12-09T01:19:35Zoai:repositorium.sdum.uminho.pt:1822/79984Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T18:44:52.317714Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Gerador de protótipos de interfaces gráficas para o IVY Workbench
A generator of user interface prototypes
title Gerador de protótipos de interfaces gráficas para o IVY Workbench
spellingShingle Gerador de protótipos de interfaces gráficas para o IVY Workbench
Araújo, João Miguel Matela Aidos Manso de
Interfaces com o utilizador
Prototipagem
Modelação e análise formais
User interfaces
Prototyping
Formal analysis and modeling
Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
title_short Gerador de protótipos de interfaces gráficas para o IVY Workbench
title_full Gerador de protótipos de interfaces gráficas para o IVY Workbench
title_fullStr Gerador de protótipos de interfaces gráficas para o IVY Workbench
title_full_unstemmed Gerador de protótipos de interfaces gráficas para o IVY Workbench
title_sort Gerador de protótipos de interfaces gráficas para o IVY Workbench
author Araújo, João Miguel Matela Aidos Manso de
author_facet Araújo, João Miguel Matela Aidos Manso de
author_role author
dc.contributor.none.fl_str_mv Campos, José C.
Couto, Rui
Universidade do Minho
dc.contributor.author.fl_str_mv Araújo, João Miguel Matela Aidos Manso de
dc.subject.por.fl_str_mv Interfaces com o utilizador
Prototipagem
Modelação e análise formais
User interfaces
Prototyping
Formal analysis and modeling
Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
topic Interfaces com o utilizador
Prototipagem
Modelação e análise formais
User interfaces
Prototyping
Formal analysis and modeling
Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
description Dissertação de mestrado em Computer Science
publishDate 2020
dc.date.none.fl_str_mv 2020-01-09
2020-01-09T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/1822/79984
url https://hdl.handle.net/1822/79984
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv 203018958
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799132199685980160

Registros relacionados