Um processo de modelação de sistemas software com integração de especificações rigorosas

Bibliographic Details
Main Author: Ribeiro, António Nestor
Publication Date: 2008
Language: por
Source: Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
Download full: http://hdl.handle.net/1822/8579
Summary: Tese de Doutoramento em Informática - Ramo de Conhecimento Fundamentos da Computação
id RCAP_47ed02cbecc739b57e504fa40f239212
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/8579
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 Um processo de modelação de sistemas software com integração de especificações rigorosasAnálise de sistemas orientada aos objectosMetodologias de desenvolvimentoModelaçãoUMLCasos de usoObject-oriented analysisDevelopment methodologiesModellingUMLUse cases681.3.06Tese de Doutoramento em Informática - Ramo de Conhecimento Fundamentos da ComputaçãoO desenvolvimento metódico e rigoroso de um sistema software é uma tarefa complexa, pelo que deve o engenheiro de software dotar-se de metodologias e técnicas bem fundadas e adequadas a essa complexidade. Apresenta-se nesta tese uma abordagem à modelação que visa melhorar o projecto e o desenvolvimento de sistemas software complexos, direccionada, essencialmente, aos aspectos relativos à análise e modelação destes sistemas. A proposta dá ênfase, no seu processo de modelação, á captura de requisitos e aos meta-modelos utilizados, dada a reconhecida influência que a informação recolhida na fase de análise tem na qualidade do produto final. Assumindo um processo de modelação baseado em UML, identificaram-se as lacunas referentes à fase de análise, em especial as encontradas no diagrama de Casos de Uso, e propõe-se uma solução para suprir tais lacunas através da adopção de um processo de modelação iterativo. Este novo processo iterativo baseia-se em: i) construção de uma abordagem unificada com recurso a várias vistas do mesmo modelo, como mecanismo de consolidação semântica da modelação; ii) adição de formalização à descrição dos Casos de Uso, e iii) validação operacional do modelo através de prototipagem. A construção de uma abordagem multi-vista permite a captura exaustiva de aspectos relativos ao domínio da aplicação, através de um processo de descrição iniciado nos casos de uso. A adição de formalização aos casos de uso através do emprego de uma notação formal, que regista informação sobre os diversos cenários de um caso de uso e as condições necessárias à sua realização, possibilita o enriquecimento do modelo final. A validação operacional permite que a informação recolhida durante a fase de análise possa ser testada através de uma plataforma de prototipagem, fornecendo desta forma informação sobre a qualidade do modelo.The methodical and rigorous development of software systems is a complex task. Therefore the software engineer must use all available resources, namely methodologies and techniques to address and cope with such a complexity. This thesis puts forward a modelling approach aiming at improving the design and development of complex software systems. This approach is oriented to meet the analysis and modeling needs of such systems. Emphasis is put into requirements gathering by using proper meta-models, due to the well recognised impact that the information collected at this stage has on the quality of the final product. A UML based modelling process is assumed. Analysis related shortcomings are identified, particularly those found in Use Case diagrams. An iterative modelling process is therefore proposed in order to address such shortcomings. This new iterative process is based on: i) a multi-view unified modeling approach acting as a semantics consolidation mechanism; ii) the formalisation of use case descriptions, and iii) a prototyping based approach to the validation of the model. The multi-view unified approach enables the comprehensive gathering of features related to the application domain through a description process that begins at use case level. By adding formalisation to use cases the overall model is then enriched. This formalisation is achieved through the use of a formal notation that allows for the recording of information concerning the different scenarios of a use case and also the conditions needed to its execution. The operational validation stage takes the information from the analysis phase and tests it by using a prototyping platform. This provides a more accurate feedback on the quality of the system's final model.Martins, F. MárioUniversidade do MinhoRibeiro, António Nestor2008-06-232008-06-23T00:00:00Zdoctoral thesisinfo:eu-repo/semantics/publishedVersionapplication/pdfhttp://hdl.handle.net/1822/8579porinfo: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-11T06:08:59Zoai:repositorium.sdum.uminho.pt:1822/8579Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireinfo@rcaap.ptopendoar:https://opendoar.ac.uk/repository/71602025-05-28T15:42:48.636817Repositó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 Um processo de modelação de sistemas software com integração de especificações rigorosas
title Um processo de modelação de sistemas software com integração de especificações rigorosas
spellingShingle Um processo de modelação de sistemas software com integração de especificações rigorosas
Ribeiro, António Nestor
Análise de sistemas orientada aos objectos
Metodologias de desenvolvimento
Modelação
UML
Casos de uso
Object-oriented analysis
Development methodologies
Modelling
UML
Use cases
681.3.06
title_short Um processo de modelação de sistemas software com integração de especificações rigorosas
title_full Um processo de modelação de sistemas software com integração de especificações rigorosas
title_fullStr Um processo de modelação de sistemas software com integração de especificações rigorosas
title_full_unstemmed Um processo de modelação de sistemas software com integração de especificações rigorosas
title_sort Um processo de modelação de sistemas software com integração de especificações rigorosas
author Ribeiro, António Nestor
author_facet Ribeiro, António Nestor
author_role author
dc.contributor.none.fl_str_mv Martins, F. Mário
Universidade do Minho
dc.contributor.author.fl_str_mv Ribeiro, António Nestor
dc.subject.por.fl_str_mv Análise de sistemas orientada aos objectos
Metodologias de desenvolvimento
Modelação
UML
Casos de uso
Object-oriented analysis
Development methodologies
Modelling
UML
Use cases
681.3.06
topic Análise de sistemas orientada aos objectos
Metodologias de desenvolvimento
Modelação
UML
Casos de uso
Object-oriented analysis
Development methodologies
Modelling
UML
Use cases
681.3.06
description Tese de Doutoramento em Informática - Ramo de Conhecimento Fundamentos da Computação
publishDate 2008
dc.date.none.fl_str_mv 2008-06-23
2008-06-23T00:00:00Z
dc.type.driver.fl_str_mv doctoral thesis
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/1822/8579
url http://hdl.handle.net/1822/8579
dc.language.iso.fl_str_mv por
language por
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_ 1833595490162180096