Colored petri nets in the animation of UML models for requirements validation

Detalhes bibliográficos
Autor(a) principal: Oliveira, Sérgio António Real de
Data de Publicação: 2006
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/6669
Resumo: Dissertação Mestrado em Sistemas de Informação.
id RCAP_d49f34640ca6b85ae6eb1ac4c0093a8f
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/6669
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 Colored petri nets in the animation of UML models for requirements validationRedes de petri coloridas na animação de modelos UML para validação de requisitos681.3.02Dissertação Mestrado em Sistemas de Informação.Functional requirements must be validated by the client of the software project (managers, users and stakeholders in general). However, requirements validation is a critical task in any engineering project. Presenting static requirements models to the stakeholders is not sufficient, since it does not allow stakeholders, who do not have computer science background, to discover all the interdependencies between the elicited requirements. With the mere presentation and explanation of UML (Unified Modelling Language) requirements models, even the most simple and intuitive ones, it is not easy for the software engineer to be confident on the stakeholders’ requirements validation. This thesis describes an approach, based on the construction of executable interactive animation prototypes, to support the validation of functional requirements, where the system to be built must explicitly support the interaction among people within a pervasive cooperative workflow execution. A demonstration case from a real project is used to illustrate the proposed approach.Os requisitos funcionais de software têm de ser validados pelo cliente do projecto de desenvolvimento (gestores, utilizadores e todas as partes interessadas - stakeholders - em geral). Mas a validação de requisitos é uma tarefa crítica em qualquer projecto de engenharia. A mera apresentação de modelos estáticos aos stakeholders não é suficiente, porque os stakeholders sem formação em ciências da computação não são capazes de descobrir todas as interdependências entre os requisitos, que estão implícitas nesses modelos. Recorrendo apenas à apresentação e explicação de modelos de requisitos em UML (Unified Modelling Language), mesmo os mais simples e intuitivos, não é fácil ao engenheiro de software sentir confiança na validação dos requisitos pelos stakeholders. Esta dissertação descreve uma abordagem, baseada na construção de protótipos executáveis de animação interactiva, para suportar a validação de requisitos funcionais de um sistema, a construir, que suporte explicitamente a interacção entre pessoas na execução de um processo cooperativo pervasive (intrusivo). Um caso de demonstração de um projecto real é usado para ilustrar a abordagem proposta.Machado, Ricardo J.Pereira, GuilhermeUniversidade do MinhoOliveira, Sérgio António Real de2006-10-262006-10-26T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://hdl.handle.net/1822/6669enginfo: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:44:57Zoai:repositorium.sdum.uminho.pt:1822/6669Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T19:42:45.273229Repositó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 Colored petri nets in the animation of UML models for requirements validation
Redes de petri coloridas na animação de modelos UML para validação de requisitos
title Colored petri nets in the animation of UML models for requirements validation
spellingShingle Colored petri nets in the animation of UML models for requirements validation
Oliveira, Sérgio António Real de
681.3.02
title_short Colored petri nets in the animation of UML models for requirements validation
title_full Colored petri nets in the animation of UML models for requirements validation
title_fullStr Colored petri nets in the animation of UML models for requirements validation
title_full_unstemmed Colored petri nets in the animation of UML models for requirements validation
title_sort Colored petri nets in the animation of UML models for requirements validation
author Oliveira, Sérgio António Real de
author_facet Oliveira, Sérgio António Real de
author_role author
dc.contributor.none.fl_str_mv Machado, Ricardo J.
Pereira, Guilherme
Universidade do Minho
dc.contributor.author.fl_str_mv Oliveira, Sérgio António Real de
dc.subject.por.fl_str_mv 681.3.02
topic 681.3.02
description Dissertação Mestrado em Sistemas de Informação.
publishDate 2006
dc.date.none.fl_str_mv 2006-10-26
2006-10-26T00: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/6669
url http://hdl.handle.net/1822/6669
dc.language.iso.fl_str_mv eng
language eng
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_ 1799132981977153536