Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/27863
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.advisor | Campos, J. Creissac | - |
dc.contributor.author | Sousa, Nuno Miguel Eira de | - |
dc.date.accessioned | 2014-02-06T18:21:14Z | - |
dc.date.available | 2014-02-06T18:21:14Z | - |
dc.date.issued | 2012-12-14 | - |
dc.identifier.uri | https://hdl.handle.net/1822/27863 | - |
dc.description | Dissertação de mestrado em Engenharia de Informática | por |
dc.description.abstract | The IVY Workbench is a tool for modeling and analysis of interactive systems which has been developed at the Department of Informatics of the University of Minho (http://ivy.di.uminho.pt). It's a platform developed in Java, using a plugins mechanism. The available plugins include a set of editors (textual and graphical) and tools to analyse the behaviour of the models. The experience on using the tool has demonstrated the need for a model animator which could enable a first interactive evaluation of the models. Therefore this dissertation describes the design and implementation of WildAniMAL - a MAL (Modal Action Logic) interactors models animator – as a plugin for the IVY Workbench. The plugin uses the NuSMV model checker simulations capabilities, and enables users to explore the formal models interactively. | por |
dc.description.abstract | A IVY Workbench é uma ferramenta de modelação e análise de sistemas interativos que tem vindo a ser desenvolvida no Departamento de Informática da Universidade do Minho (http://ivy.di.uminho.pt). Trata-se de uma plataforma desenvolvida maioritariamente em Java, utilizando um mecanismo de plugins. Os plugins existentes incluem um conjunto de editores (em modo texto e gráfico), e de ferramentas de análise do comportamento dos modelos. A experiência de utilização da ferramenta tem, no entanto, demonstrado a necessidade de um animador de modelos que permita efetuar uma primeira validação interativa dos mesmos. Sendo assim, esta dissertação descreve o desenho e implementação do WildAniMAL – um animador de modelos de MAL (Modal Action-Logic) Interactors – como plugin para a IVY Workbench. O plugin usa as capacidades de simulação do model checker NuSMV, e permite aos utilizadores explorar os modelos formais de forma interativa. | por |
dc.language.iso | eng | por |
dc.rights | openAccess | por |
dc.subject | 681.3 | - |
dc.title | WildAniMAL - MAL Interactors Model Animator | por |
dc.type | masterThesis | por |
dc.comments | eeum_di_dissertacao_pg15315 | por |
Aparece nas coleções: | BUM - Dissertações de Mestrado DI - Dissertações de Mestrado |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
eeum_di_dissertacao_pg15315.pdf | 3,83 MB | Adobe PDF | Ver/Abrir |