A generator of user interface prototypes for the IVY workbench
Autor(a) principal: | |
---|---|
Data de Publicação: | 2019 |
Outros Autores: | , |
Idioma: | por |
Título da fonte: | Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
Texto Completo: | http://hdl.handle.net/1822/66932 |
Resumo: | The IVY Workbench is a tool that supports the modeling and formal verification of interactive systems. The tool features a set of plugins that support the modeling and analysis process, including a models editor, a properties checker, and a models animator. The latter, allows visualizing and interacting with a model, but does not support associating it with a prototype of the system. Interaction with the model facilitates its validation by modelling experts. It does not, however, facilitate communication with domain experts and users, to whom a prototype would be a more effective means of communication. This article presents the work done to remedy this gap in IVY. The article details the preliminary research carried out, architectural decisions and the obtained end result. |
id |
RCAP_d844e55edbf377ce4234d4012d91b14c |
---|---|
oai_identifier_str |
oai:repositorium.sdum.uminho.pt:1822/66932 |
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 generator of user interface prototypes for the IVY workbenchInteractionUsabilityPrototypesFormal verificationSystem analysis and designEngenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e InformáticaScience & TechnologyThe IVY Workbench is a tool that supports the modeling and formal verification of interactive systems. The tool features a set of plugins that support the modeling and analysis process, including a models editor, a properties checker, and a models animator. The latter, allows visualizing and interacting with a model, but does not support associating it with a prototype of the system. Interaction with the model facilitates its validation by modelling experts. It does not, however, facilitate communication with domain experts and users, to whom a prototype would be a more effective means of communication. This article presents the work done to remedy this gap in IVY. The article details the preliminary research carried out, architectural decisions and the obtained end result.Este trabalho é financiado por fundos nacionais através daFCT – Fundação para a Ciência e a Tecnologia, I.P., no âmbitodo projeto: UID/EEA/50014/2019.IEEEUniversidade do MinhoAraujo, Joao MiguelCouto, RuiCampos, José C.20192019-01-01T00:00:00Zconference paperinfo:eu-repo/semantics/publishedVersionapplication/pdfhttp://hdl.handle.net/1822/66932por978172816378910.1109/ICGI47575.2019.8955088https://ieeexplore.ieee.org/document/8955088info: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:RCAAP2024-05-11T06:55:47Zoai:repositorium.sdum.uminho.pt:1822/66932Portal AgregadorONGhttps://www.rcaap.pt/oai/openairemluisa.alvim@gmail.comopendoar:71602024-05-11T06:55:47Repositó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 generator of user interface prototypes for the IVY workbench |
title |
A generator of user interface prototypes for the IVY workbench |
spellingShingle |
A generator of user interface prototypes for the IVY workbench Araujo, Joao Miguel Interaction Usability Prototypes Formal verification System analysis and design Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática Science & Technology |
title_short |
A generator of user interface prototypes for the IVY workbench |
title_full |
A generator of user interface prototypes for the IVY workbench |
title_fullStr |
A generator of user interface prototypes for the IVY workbench |
title_full_unstemmed |
A generator of user interface prototypes for the IVY workbench |
title_sort |
A generator of user interface prototypes for the IVY workbench |
author |
Araujo, Joao Miguel |
author_facet |
Araujo, Joao Miguel Couto, Rui Campos, José C. |
author_role |
author |
author2 |
Couto, Rui Campos, José C. |
author2_role |
author author |
dc.contributor.none.fl_str_mv |
Universidade do Minho |
dc.contributor.author.fl_str_mv |
Araujo, Joao Miguel Couto, Rui Campos, José C. |
dc.subject.por.fl_str_mv |
Interaction Usability Prototypes Formal verification System analysis and design Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática Science & Technology |
topic |
Interaction Usability Prototypes Formal verification System analysis and design Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática Science & Technology |
description |
The IVY Workbench is a tool that supports the modeling and formal verification of interactive systems. The tool features a set of plugins that support the modeling and analysis process, including a models editor, a properties checker, and a models animator. The latter, allows visualizing and interacting with a model, but does not support associating it with a prototype of the system. Interaction with the model facilitates its validation by modelling experts. It does not, however, facilitate communication with domain experts and users, to whom a prototype would be a more effective means of communication. This article presents the work done to remedy this gap in IVY. The article details the preliminary research carried out, architectural decisions and the obtained end result. |
publishDate |
2019 |
dc.date.none.fl_str_mv |
2019 2019-01-01T00:00:00Z |
dc.type.driver.fl_str_mv |
conference paper |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://hdl.handle.net/1822/66932 |
url |
http://hdl.handle.net/1822/66932 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.relation.none.fl_str_mv |
9781728163789 10.1109/ICGI47575.2019.8955088 https://ieeexplore.ieee.org/document/8955088 |
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.publisher.none.fl_str_mv |
IEEE |
publisher.none.fl_str_mv |
IEEE |
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 |
mluisa.alvim@gmail.com |
_version_ |
1817545140850393088 |