Colored petri nets in the animation of UML models for requirements validation
Autor(a) principal: | |
---|---|
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 |