A new models editor for the IVY Workbench

Detalhes bibliográficos
Autor(a) principal: Mendes, Rui Filipe Moreira
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/84568
Resumo: Dissertação de mestrado integrado em Informatics Engineering
id RCAP_9c9a20c7f56588655325073af954efe5
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/84568
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 A new models editor for the IVY WorkbenchUm novo editor de modelos para a IVY WorkbenchMALIvy WorkbenchUtilizadoresGuiaVS CodeVerificaçãoUsersGuidanceFormal verificationEngenharia e Tecnologia::Outras Engenharias e TecnologiasDissertação de mestrado integrado em Informatics EngineeringPara que as interfaces de sistemas críticos possuam um nível de qualidade que permita o seu uso em segurança, devem passar por um processo rigoroso de análise. A verificação formal de interfaces é uma das formas de realizar essa análise. Para tal, é importante que os desenvolvedores dessas interfaces consigam editar e criar os modelos que acharem mais adequados para as suas interfaces. Tanto os desenvolvedores mais experientes como os menos experientes. A Ivy Workbench é uma ferramenta que permite descrever o funcionamento das interfaces e verificar propriedades sobre o seu comportamento, de forma a identificar potenciais problemas na interação. Deste modo, fornece informação relevante para os desenvolvedores que utilizem o Ivy, para que se possa melhorar o software sem ter de necessariamente passar por um processo de teste manual longo e exaustivo. O atual editor do Ivy é difícil de manter e não fornece ajuda suficiente nem guia novos utilizadores adequadamente. Por isso, é necessário que haja uma melhor forma de editar os modelos na linguagem Model Action Logic (MAL), a linguagem de programação da Ivy Workbench. O objetivo desta dissertação é construir uma solução que permita que todos os tipos de desenvolvedores consigam construir os seus modelos através de orientações do próprio editor. É bastante desafiante desenvolver uma solução deste gênero, que permita alcançar o nível de apoio pretendido, dado que precisamos de ter em conta com o que é que os utilizadores estão mais confortáveis e quais as ferramentas que usam com maior regularidade, para que seja possível desenvolver uma solução o mais abrangente possível. Para que se concretize o principal objetivo, enquanto também se alcança o máximo número de utilizadores, optou-se por desenvolver uma extensão de VS Code. Trata-se do editor de código mais utilizado e fornece várias ferramentas para desenvolvedores de extensões, assim como uma vasta documentação. É possível tirar partido das funcionalidades que esta ferramenta já apresenta, típicas de um Integrated Development Environment (IDE) comum, que nos permitem criar novas formas para os utilizadores da Ivy escreverem modelos MAL, e fazendo isso, aumentar a sua produtividade. Depois da extensão estar concluída, é expectável que esta solução seja mais fácil de manter no futuro, e mais utilizadores achem esta nova solução menos complexa para trabalhar, levando a que estes se sintam mais satisfeitos a utilizar a ferramenta e a própria linguagem, ajudando assim o crescimento da utilização da Ivy Workbench assim como da qualidade do software.In order for the interfaces of critical systems to have a quality level of security that allows for its safe usage, they should be subject to rigorous analysis process. Formal verification is one of the alternatives to perform that analysis. So, it is important that developers can edit or create the models which they find the most suitable for their interfaces. Both the most experienced developers as well as the least ones. The Ivy Workbench is a tool that allows for the modeling of user interfaces, and for properties about the interface behaviour to be verified, so that potential problems in the interaction can be identified. By doing this, it provides information for the developers who use Ivy, so that their software can be enhanced without having to perform extensive manual testing. Ivy’s current editor is difficult to maintain, and does not provide enough help nor guidance to inexpe rienced users. So, there is the need of a better way for users to write in the MAL language, the modeling language of the Ivy Workbench. The goal of this thesis is to build a solution that allows every level of developer to build their own models based on guidance by the editor itself. It can be challenging to put together an editor or code editor extension that would allow such goal, because there is the need to con sider what the users are comfortable with, and what their most often used tools are, in order to build the more embracing solution. In order to achieve the main goal, while also reaching as many users as possible, it was considered that the best option would be to develop a VS Code extension. VS Code is the most widely used code editor and provides various tools for extension developers, with a vast documentation about their development. Also, it is possible to make use of the features this code editor already presents, common amongst the most used IDE, to build new ways for the users to write MAL, and in doing so, increase their productivity. After the extensions is completed, it is expected that this new solution will be easier to maintain in the future, and that more users will find it less complicated to work with, leading users to get more satisfied when using the editor and the language itself, thus helping the growth of Ivy Workbench as well as the quality of the software.Campos, José C.Universidade do MinhoMendes, Rui Filipe Moreira2022-12-212022-12-21T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://hdl.handle.net/1822/84568eng203262832info: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:37:37Zoai:repositorium.sdum.uminho.pt:1822/84568Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T19:33:55.959922Repositó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 A new models editor for the IVY Workbench
Um novo editor de modelos para a IVY Workbench
title A new models editor for the IVY Workbench
spellingShingle A new models editor for the IVY Workbench
Mendes, Rui Filipe Moreira
MAL
Ivy Workbench
Utilizadores
Guia
VS Code
Verificação
Users
Guidance
Formal verification
Engenharia e Tecnologia::Outras Engenharias e Tecnologias
title_short A new models editor for the IVY Workbench
title_full A new models editor for the IVY Workbench
title_fullStr A new models editor for the IVY Workbench
title_full_unstemmed A new models editor for the IVY Workbench
title_sort A new models editor for the IVY Workbench
author Mendes, Rui Filipe Moreira
author_facet Mendes, Rui Filipe Moreira
author_role author
dc.contributor.none.fl_str_mv Campos, José C.
Universidade do Minho
dc.contributor.author.fl_str_mv Mendes, Rui Filipe Moreira
dc.subject.por.fl_str_mv MAL
Ivy Workbench
Utilizadores
Guia
VS Code
Verificação
Users
Guidance
Formal verification
Engenharia e Tecnologia::Outras Engenharias e Tecnologias
topic MAL
Ivy Workbench
Utilizadores
Guia
VS Code
Verificação
Users
Guidance
Formal verification
Engenharia e Tecnologia::Outras Engenharias e Tecnologias
description Dissertação de mestrado integrado em Informatics Engineering
publishDate 2022
dc.date.none.fl_str_mv 2022-12-21
2022-12-21T00: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/84568
url https://hdl.handle.net/1822/84568
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 203262832
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_ 1799132859523399680

Registros relacionados