Gerador de protótipos de interfaces gráficas para o IVY Workbench
Autor(a) principal: | |
---|---|
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 |