Guidelines for analysis and modelling of reactive software systems

Bibliographic Details
Main Author: Gonçalves, Maria Madalena Pacheco
Publication Date: 2013
Format: Master thesis
Language: eng
Source: Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
Download full: http://hdl.handle.net/1822/27968
Summary: 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órios Científicos de Acesso Aberto de Portugal (RCAAP)
repository_id_str https://opendoar.ac.uk/repository/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órios Científicos de Acesso Aberto de Portugal (RCAAP)instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiainstacron:RCAAP2024-05-11T04:56:24Zoai:repositorium.sdum.uminho.pt:1822/27968Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireinfo@rcaap.ptopendoar:https://opendoar.ac.uk/repository/71602025-05-28T15:03:06.257864Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiafalse
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órios Científicos de Acesso Aberto de Portugal (RCAAP)
instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron:RCAAP
instname_str FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron_str RCAAP
institution RCAAP
reponame_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
collection Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository.name.fl_str_mv Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
repository.mail.fl_str_mv info@rcaap.pt
_version_ 1833595069297328128

Similar Items