Formal models based interactive prototypes

Detalhes bibliográficos
Autor(a) principal: Solino, Miguel André da Silva
Data de Publicação: 2022
Tipo de documento: Dissertação
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: https://hdl.handle.net/1822/84477
Resumo: Dissertação de mestrado integrado em Informatics Engineering
id RCAP_b764ee0fe34b96b5623160aa3b011892
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/84477
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 Formal models based interactive prototypesModelos formais baseados em protótipos interactivosUser interfacePrototypeUser-centred designWidgetProtótipoEngenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e InformáticaDissertação de mestrado integrado em Informatics EngineeringSince the UI is one of the first contacts that a user has with an interactive system being developed, it can include a user flow to be intuitive and effective. For this, prototypes are typically built in the early stages of the software development process so that both developers and users might have an early idea of what the final product will look like, smoothing development and testing in advance. On critical interactive systems, the standard UI prototyping method is not enough. These systems require more advanced and detailed analysis methodologies to avoid failures that can lead to accidents. For this, there are approaches based on models and formal analysis methods, complemented by the prototyping process, which enhance the process of looking for these usability flaws and support the analysis of the interaction made by users. The IVY Workbench is a tool initially focused on modelling and verification, which recently accepted the goal of combining formal model-based analysis with prototype interfaces. This objective is still under development. However, it is already possible to produce prototypes with some level of interaction combining models and UI mock-ups. This work aims to develop improvements to this tool for these prototyping capabilities. The main objective is to automatically produce a web application capable of offering the expected behaviour and interaction as described in the model. The results of this work will include an analysis of current prototyping methods, problems with these methods and possible solutions; analysis of different prototyping tools where functionalities and characteristics that may be useful for the IVY Workbench will be identified; development of an automatic system for generating web applications based on mock-ups and behaviour models.Sendo a UI um dos primeiros contactos que um utilizador tem com um sistema interativo, esta deve conseguir fornecer ao utilizador um fluxo de tarefas intuitivo e efetivo. Para isso, protótipos são normalmente construídos nas fases iniciais do processo de desenvolvimento de um software, para que seja feita a antecipação da fase de testes, e tanto os desenvolvedores como os utilizadores, tenham uma noção antecipada de como será o produto final, facilitando o desenvolvimento. Em sistemas críticos, o método comum de prototipagem da UI não é suficiente. Estes sistemas requerem metodologias de análise mais avançadas e detalhadas para que falhas que possam originar em acidentes sejam evitadas. Para isso, existem abordagens com base em modelos e métodos de análise formal, complementadas com o processo de prototipagem, que suportam o processo de procura destas falhas de usabilidade, e a análise da interação feita pelos utilizadores. Uma ferramenta originalmente focada na modelação e verificação, que recentemente aceitou o objetivo de combinar análise formal baseada em modelos com protótipos de interfaces, é a IVY Workbench. Este objetivo encontra-se ainda em processo de desenvolvimento. No entanto, já é possível produzir protótipos com algum nível de interação combinando modelos e mock-ups da UI. Este trabalho visa a melhorar as capacidades de prototipagem desta ferramenta, sendo o objetivo principal a possibilidade de a produção automática de um protótipo web capaz de oferecer o comportamento e interação descritos no modelo. Os resultados deste trabalho incluirão uma análise dos métodos atuais de prototipagem, problemas desses métodos e possíveis soluções; análise a diferentes ferramentas de prototipagem onde serão identificadas funcionalidades e caraterísticas que poderão ser úteis para a IVY Workbench; desenvolvimento de um sistema automático de geração de protótipos web com base em mock-ups e modelos de comportamento da interface.Campos, José C.Universidade do MinhoSolino, Miguel André da Silva2022-12-162022-12-16T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://hdl.handle.net/1822/84477eng203262115info: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-07-21T12:25:30Zoai:repositorium.sdum.uminho.pt:1822/84477Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T19:19:44.270595Repositó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 Formal models based interactive prototypes
Modelos formais baseados em protótipos interactivos
title Formal models based interactive prototypes
spellingShingle Formal models based interactive prototypes
Solino, Miguel André da Silva
User interface
Prototype
User-centred design
Widget
Protótipo
Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
title_short Formal models based interactive prototypes
title_full Formal models based interactive prototypes
title_fullStr Formal models based interactive prototypes
title_full_unstemmed Formal models based interactive prototypes
title_sort Formal models based interactive prototypes
author Solino, Miguel André da Silva
author_facet Solino, Miguel André da Silva
author_role author
dc.contributor.none.fl_str_mv Campos, José C.
Universidade do Minho
dc.contributor.author.fl_str_mv Solino, Miguel André da Silva
dc.subject.por.fl_str_mv User interface
Prototype
User-centred design
Widget
Protótipo
Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
topic User interface
Prototype
User-centred design
Widget
Protótipo
Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
description Dissertação de mestrado integrado em Informatics Engineering
publishDate 2022
dc.date.none.fl_str_mv 2022-12-16
2022-12-16T00: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/84477
url https://hdl.handle.net/1822/84477
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 203262115
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_ 1799132658139136000

Registros relacionados