Publicação
A web-based social environment for Alloy
| Resumo: | Alloy 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. |
|---|---|
| Autores principais: | Pereira, José Manuel Costa |
| Assunto: | Engenharia e Tecnologia::Outras Engenharias e Tecnologias |
| Ano: | 2017 |
| País: | Portugal |
| Tipo de documento: | dissertação de mestrado |
| Tipo de acesso: | acesso aberto |
| Instituição associada: | Universidade do Minho |
| Idioma: | inglês |
| Origem: | RepositóriUM - Universidade do Minho |
| _version_ | 1867438358624468992 |
|---|---|
| author | Pereira, José Manuel Costa |
| author_facet | Pereira, José Manuel Costa |
| author_role | author |
| contributor_name_str_mv | Cunha, Alcino Macedo, Nuno Filipe Moreira RepositóriUM - Universidade do Minho |
| country_str | PT |
| creators_json_txt | [{\"Person.name\":\"Pereira, José Manuel Costa\"}] |
| datacite.contributors.contributor.contributorName.fl_str_mv | Cunha, Alcino Macedo, Nuno Filipe Moreira RepositóriUM - Universidade do Minho |
| datacite.creators.creator.creatorName.fl_str_mv | Pereira, José Manuel Costa |
| datacite.date.Accepted.fl_str_mv | 2017-01-01T00:00:00Z |
| datacite.date.available.fl_str_mv | 2017-11-23T14:30:03Z |
| datacite.date.embargoed.fl_str_mv | 2017-11-23T14:30:03Z |
| datacite.rights.fl_str_mv | http://purl.org/coar/access_right/c_abf2 |
| datacite.subjects.subject.fl_str_mv | Engenharia e Tecnologia::Outras Engenharias e Tecnologias |
| datacite.titles.title.fl_str_mv | A web-based social environment for Alloy Ambiente social para Alloy baseado em web |
| dc.contributor.none.fl_str_mv | Cunha, Alcino Macedo, Nuno Filipe Moreira RepositóriUM - Universidade do Minho |
| dc.creator.none.fl_str_mv | Pereira, José Manuel Costa |
| dc.date.Accepted.fl_str_mv | 2017-01-01T00:00:00Z |
| dc.date.available.fl_str_mv | 2017-11-23T14:30:03Z |
| dc.date.embargoed.fl_str_mv | 2017-11-23T14:30:03Z |
| dc.format.none.fl_str_mv | application/pdf |
| dc.identifier.none.fl_str_mv | https://hdl.handle.net/1822/47719 |
| dc.language.none.fl_str_mv | eng |
| dc.rights.none.fl_str_mv | http://purl.org/coar/access_right/c_abf2 |
| dc.subject.none.fl_str_mv | Engenharia e Tecnologia::Outras Engenharias e Tecnologias |
| dc.title.fl_str_mv | A web-based social environment for Alloy Ambiente social para Alloy baseado em web |
| dc.type.none.fl_str_mv | http://purl.org/coar/resource_type/c_bdcc |
| description | Alloy 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. |
| dirty | 0 |
| eu_rights_str_mv | openAccess |
| format | masterThesis |
| fulltext.url.fl_str_mv | https://repositorium.uminho.pt/bitstreams/93fab9a9-b622-438f-88de-f2f1af880183/download |
| id | rum_f2f3a429daad338aef2fcea00df4a48d |
| identifier.url.fl_str_mv | https://hdl.handle.net/1822/47719 |
| instacron_str | repositorium |
| institution | Universidade do Minho |
| instname_str | Universidade do Minho |
| language | eng |
| network_acronym_str | rum |
| network_name_str | RepositóriUM - Universidade do Minho |
| oai_identifier_str | oai:repositorium.uminho.pt:1822/47719 |
| organization_str_mv | urn:organizationAcronym:repositorium |
| person_str_mv | Pereira, José Manuel Costa |
| publishDate | 2017 |
| reponame_str | RepositóriUM - Universidade do Minho |
| repository_id_str | urn:repositoryAcronym:rum |
| service_str_mv | urn:repositoryAcronym:rum |
| spelling | engporAlloy 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.application/pdfporA web-based social environment for AlloyAlternativeTitleporAmbiente social para Alloy baseado em webPereira, José Manuel CostaCunha, AlcinoMacedo, Nuno Filipe MoreiraHostingInstitutionOrganizationalRepositóriUM - Universidade do Minhoe-mailmailto:repositorium@usdb.uminho.ptrepositorium@usdb.uminho.ptTID2016161142017-11-23T14:30:03Z201720172017-01-01T00:00:00ZHandlehttps://hdl.handle.net/1822/47719http://purl.org/coar/access_right/c_abf2open accesshttp://www.oecd.org/science/inno/38235147.pdfFields of Science and Technology (FOS)Engenharia e Tecnologia::Outras Engenharias e Tecnologias2626740 bytesliteraturehttp://purl.org/coar/resource_type/c_bdccmaster thesishttp://purl.org/coar/access_right/c_abf2application/pdffulltexthttps://repositorium.uminho.pt/bitstreams/93fab9a9-b622-438f-88de-f2f1af880183/download |
| spellingShingle | A web-based social environment for Alloy Pereira, José Manuel Costa Engenharia e Tecnologia::Outras Engenharias e Tecnologias |
| status | SINGLETON |
| subject.other.fl_str_mv | Engenharia e Tecnologia::Outras Engenharias e Tecnologias |
| title | 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_short | A web-based social environment for Alloy |
| title_sort | A web-based social environment for Alloy |
| topic | Engenharia e Tecnologia::Outras Engenharias e Tecnologias |
| topic_facet | Engenharia e Tecnologia::Outras Engenharias e Tecnologias |
| url | https://hdl.handle.net/1822/47719 |
| visible | 1 |