A web-based social environment for Alloy

Detalhes bibliográficos
Autor(a) principal: Pereira, José Manuel Costa
Data de Publicação: 2017
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: http://hdl.handle.net/1822/47719
Resumo: Dissertação de mestardo em Computer Science
id RCAP_01f2c7c8dae26b1c8a2198fc6529f81f
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/47719
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 web-based social environment for AlloyAmbiente social para Alloy baseado em webEngenharia e Tecnologia::Outras Engenharias e TecnologiasDissertação de mestardo em Computer ScienceAlloy is a declarative specification language which describes rules and complex structural behaviors. Alloy Analyzer is used to analyze this specifications, this tool generates concrete instances from the invariants specified in a model, it simulates sequences of defined operations and verifies whether properties introduced are valid or not. Currently, the tool is available as a runnable .jar and it contains a trivial GUI to interact with it. Being such, it requires JAVA installed. It’s in the best interest of the community to achieve and easier access to this tool through a web platform that shall support it in real time and also allow sharing models developed in it by users. Formal methods of software development are growing and they would also benefit from the constructive feedback obtained through this platform regarding the Alloy language/tool.Alloy é uma linguagem de especificação declarativa que descreve regras e comportamentos de estruturas complexas. Para analisar estas especificações, utiliza-se o Alloy Analyzer, uma ferramenta que gera instâncias concretas a partir dos invariantes especificados num modelo, simula sequências de operações definidas e verifica se as propriedades introduzidas são satisfeitas. Atualmente, a ferramenta está disponível sob a forma de um .jar executável e contém uma GUI trivial para a sua utilização, requerendo assim o respetivo download e instalação do software adicional JAVA até estar operacional. É do interesse da comunidade conseguir um acesso facilitado a esta ferramenta através de uma plataforma web que a suporta em tempo real e permite a partilha simplificada de trabalhos elaborados. Também seria uma mais valia para os métodos formais na produção de software, que se encontram em constante crescimento, a extração de informação estatística acerca da utilização desta plataforma. Daqui poderia obter-se um feedback positivo face aos prós e contras da linguagem/ferramenta.FCT - Fundação para a Ciência e a Tecnologia, within project POCI-01-0145-FEDER-016826.ERDF – European Regional Development Fund through the Operational Programme for Competitiveness and Internationalisation - COMPETE 2020 ProgrammeCunha, AlcinoMacedo, Nuno Filipe MoreiraUniversidade do MinhoPereira, José Manuel Costa20172017-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://hdl.handle.net/1822/47719eng201616114info: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:10:07Zoai:repositorium.sdum.uminho.pt:1822/47719Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T19:01:41.011040Repositó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 web-based social environment for Alloy
Ambiente social para Alloy baseado em web
title A web-based social environment for Alloy
spellingShingle A web-based social environment for Alloy
Pereira, José Manuel Costa
Engenharia e Tecnologia::Outras Engenharias e Tecnologias
title_short A web-based social environment for Alloy
title_full A web-based social environment for Alloy
title_fullStr A web-based social environment for Alloy
title_full_unstemmed A web-based social environment for Alloy
title_sort A web-based social environment for Alloy
author Pereira, José Manuel Costa
author_facet Pereira, José Manuel Costa
author_role author
dc.contributor.none.fl_str_mv Cunha, Alcino
Macedo, Nuno Filipe Moreira
Universidade do Minho
dc.contributor.author.fl_str_mv Pereira, José Manuel Costa
dc.subject.por.fl_str_mv Engenharia e Tecnologia::Outras Engenharias e Tecnologias
topic Engenharia e Tecnologia::Outras Engenharias e Tecnologias
description Dissertação de mestardo em Computer Science
publishDate 2017
dc.date.none.fl_str_mv 2017
2017-01-01T00: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 http://hdl.handle.net/1822/47719
url http://hdl.handle.net/1822/47719
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 201616114
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_ 1799132416768475136

Registros relacionados