Guidelines for analysis and modelling of reactive software systems

Detalhes bibliográficos
Autor(a) principal: Gonçalves, Maria Madalena Pacheco
Data de Publicação: 2013
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/27968
Resumo: Dissertação de mestrado em Engenharia Informática
id RCAP_edae05f711cbd2cf64fca8a185e6a685
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/27968
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 Guidelines for analysis and modelling of reactive software systems681.3.06Dissertação de mestrado em Engenharia InformáticaReactive software systems are distinguished by their ability to interact with the environment in which they operate. Their behaviour is affected by a finite set of events that change the system global state. Such systems can be divided into three components: Controller, Users and Physical Entities; this division allows to model the particular behaviour of each component separately. Coloured Petri Nets (CPNs) are a modeling language suitable for behavioural modelling, thus it can be used in the context of these systems. Among several advantages (and some shortcomings), they allow CPN models to be simulated and the formally verified. This dissertation presents a set of guidelines for analysis and modeling of reactive software systems. The guidelines suggest how different components of a system can be identified and characterised. The guidelines also recommend various alternatives for modelling the system components with the CPN modelling language. The guidelines are illustrated with a practical example, which is modelled by means of CPN Tools, a tool for designing CPN models. The application of the guidelines allows CPN models specifically targeted for reactive software systems to benefit from executability, modularity, parameterization, and configurability.Os sistemas de software reativos são caracterizados pela sua capacidade de interagir com o meio em que se inserem. O comportamento dum sistema deste tipo é influenciado por eventos que, quando ocorrem, alteram o estado global desse sistema. Tais sistemas podem ser divididos em três componentes: Controlador, Entidades Físicas e Utilizadores; o que permite modelar sepa- radamente o comportamento que caracteriza cada um desses componentes. As Redes de Petri Coloridas (RdP Coloridas) são uma linguagem de mo- delação adequada a sistemas com uma significativa componente comporta- mental, pelo que podem ser usadas no contexto dos sistemas de software reativos. Entre diversas vantagens (e algumas limitações) elas permitem que os modelos sejam simulados e formalmente verificados. Este trabalho apresenta um conjunto de diretrizes de analise e modelação de sistemas de software reativos. No processo de analise, sugere-se como podem ser identificados e caracterizados os diferentes componentes de um sistema. No processo de modelação, recomendam-se varias formas de modelar cada componente com RdP Coloridas. As diretrizes são ilustradas com um exemplo pratico, o qual é modelado com o auxílio da ferramenta de desenho de RdP Coloridas, CPN Tools. A aplicação das diretrizes no contexto referido permite obter modelos que beneficiam de executabilidade, modularidade, parameterização e configurabilidade.Fernandes, João M.Universidade do MinhoGonçalves, Maria Madalena Pacheco2013-03-142013-03-14T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://hdl.handle.net/1822/27968eng201195550info: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:07:23Zoai:repositorium.sdum.uminho.pt:1822/27968Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T18:58:21.124659Repositó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 Guidelines for analysis and modelling of reactive software systems
title Guidelines for analysis and modelling of reactive software systems
spellingShingle Guidelines for analysis and modelling of reactive software systems
Gonçalves, Maria Madalena Pacheco
681.3.06
title_short Guidelines for analysis and modelling of reactive software systems
title_full Guidelines for analysis and modelling of reactive software systems
title_fullStr Guidelines for analysis and modelling of reactive software systems
title_full_unstemmed Guidelines for analysis and modelling of reactive software systems
title_sort Guidelines for analysis and modelling of reactive software systems
author Gonçalves, Maria Madalena Pacheco
author_facet Gonçalves, Maria Madalena Pacheco
author_role author
dc.contributor.none.fl_str_mv Fernandes, João M.
Universidade do Minho
dc.contributor.author.fl_str_mv Gonçalves, Maria Madalena Pacheco
dc.subject.por.fl_str_mv 681.3.06
topic 681.3.06
description Dissertação de mestrado em Engenharia Informática
publishDate 2013
dc.date.none.fl_str_mv 2013-03-14
2013-03-14T00: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/27968
url http://hdl.handle.net/1822/27968
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 201195550
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_ 1799132373535686656

Registros relacionados