Semântica e uma ferramenta para o método SADT
| Ano de defesa: | 1991 |
|---|---|
| Autor(a) principal: | |
| Orientador(a): | |
| Banca de defesa: | |
| Tipo de documento: | Dissertação |
| Tipo de acesso: | Acesso aberto |
| Idioma: | por |
| Instituição de defesa: |
Não Informado pela instituição
|
| Programa de Pós-Graduação: |
Não Informado pela instituição
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Não Informado pela instituição
|
| Palavras-chave em Português: | |
| Palavras-chave em Inglês: | |
| Link de acesso: | http://hdl.handle.net/10183/24146 |
Resumo: | A definição de requisitos tem sido reconhecida como uma das mais críticas e difíceis tarefas em engenharia de software. A necessidade de ferramentas de suporte é essencial. Nos dias de hoje, entre os vários métodos existentes para apoiar a fase de requisitos, destaca-se o SADT (Structured Analysis and Design Techniques) devido a sua capacidade de representar modelos. Este trabalho estabelece semântica para o método SADT, baseando-se na inter-relação do método aos sistemas de fluxo de dados (redes, grafos e máquinas de fluxo). Faz-se, inicialmente, uma abordagem operacional para a semântica de seus construtos básicos e, posteriormente discute-se a possibilidade de executar especificações através de simulação. Uma ferramenta para suportar o método SADT foi projetada e construída e é apresentada. Ela foi definida a partir de um modelo, denotado por uma classe, através de uma sintaxe abstrata. Essa ferramenta foi implementada no ambiente PROSOFT, fornecendo para o usuário mais de quarenta operações de apoio a construção/manipulação de diagramas. O trabalho também apresenta a especificação formal em VDM - Vienna Development Method, da semântica dos principais construtos do método SADT, bem como uma proposição de execução de especificações através de simulação são ainda indicadas direções nas quais o trabalho pode ser estendido. |
| id |
URGS_325c3d5f1542c1dfe032a21a3fa381ea |
|---|---|
| oai_identifier_str |
oai:www.lume.ufrgs.br:10183/24146 |
| network_acronym_str |
URGS |
| network_name_str |
Biblioteca Digital de Teses e Dissertações da UFRGS |
| repository_id_str |
|
| spelling |
Ribeiro, Adagenor LobatoNunes, Daltro Jose2010-06-26T04:17:27Z1991http://hdl.handle.net/10183/24146000059197A definição de requisitos tem sido reconhecida como uma das mais críticas e difíceis tarefas em engenharia de software. A necessidade de ferramentas de suporte é essencial. Nos dias de hoje, entre os vários métodos existentes para apoiar a fase de requisitos, destaca-se o SADT (Structured Analysis and Design Techniques) devido a sua capacidade de representar modelos. Este trabalho estabelece semântica para o método SADT, baseando-se na inter-relação do método aos sistemas de fluxo de dados (redes, grafos e máquinas de fluxo). Faz-se, inicialmente, uma abordagem operacional para a semântica de seus construtos básicos e, posteriormente discute-se a possibilidade de executar especificações através de simulação. Uma ferramenta para suportar o método SADT foi projetada e construída e é apresentada. Ela foi definida a partir de um modelo, denotado por uma classe, através de uma sintaxe abstrata. Essa ferramenta foi implementada no ambiente PROSOFT, fornecendo para o usuário mais de quarenta operações de apoio a construção/manipulação de diagramas. O trabalho também apresenta a especificação formal em VDM - Vienna Development Method, da semântica dos principais construtos do método SADT, bem como uma proposição de execução de especificações através de simulação são ainda indicadas direções nas quais o trabalho pode ser estendido.The definition of systems requirements has been known as one of the most critical and dificult tasks as far as the software engineering is concerned. The need support is essential. Nowadays, among the various methods devised to support the phase of requirements, a special emphasis is given to the SADT method (Structured Analysis and Design Techniques), due to its capability of representing models. This work set semantic for the SADT method, based primarily upon the interrelation of the method to the systems of dataflow (nets, graphs and dataflow machines). It deals with an approach of operational semantics to its basic constructs, and it will, afterwards, discuss the possibility of carry out specifications by simulation. A tool was built to support the SADT method, and it was defined by a model denoted by a class, through an abstract syntax. This tool was implemented in the PROSOFT environment, providing for the user, more than forty support operations for the construction /manipulation of diagrams. This work also presents the formal specification of the semantics of the main constructs of the SADT method in VDM - Vienna Development Method; as well as an execution proposal of specifications through simulation. Directions have been indicated concerning the extension of the research.application/pdfporEngenharia : SoftwareEspecificacao : SoftwareCaseMethodSoftware engineeringSADTRequirements definitionFormal specificationComputer assisted software engineering (CASE)SimulationSystem dataflowVDMFuncional specificationSemanticsSemântica e uma ferramenta para o método SADTinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisUniversidade Federal do Rio Grande do SulInstituto de InformáticaCurso de Pós-Graduação em Ciência da ComputaçãoPorto Alegre, BR-RS1991mestradoinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSORIGINAL000059197.pdf000059197.pdfTexto completoapplication/pdf13957295http://www.lume.ufrgs.br/bitstream/10183/24146/1/000059197.pdf7935c62098487b34714b53665e500347MD51TEXT000059197.pdf.txt000059197.pdf.txtExtracted Texttext/plain269278http://www.lume.ufrgs.br/bitstream/10183/24146/2/000059197.pdf.txt4354ffe6242b50499f470c78e15c3943MD52THUMBNAIL000059197.pdf.jpg000059197.pdf.jpgGenerated Thumbnailimage/jpeg1393http://www.lume.ufrgs.br/bitstream/10183/24146/3/000059197.pdf.jpg6a88e1cf10fbf147c5c579916833d958MD5310183/241462018-10-17 09:04:24.478oai:www.lume.ufrgs.br:10183/24146Biblioteca Digital de Teses e Dissertaçõeshttps://lume.ufrgs.br/handle/10183/2PUBhttps://lume.ufrgs.br/oai/requestlume@ufrgs.br||lume@ufrgs.bropendoar:18532018-10-17T12:04:24Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false |
| dc.title.pt_BR.fl_str_mv |
Semântica e uma ferramenta para o método SADT |
| title |
Semântica e uma ferramenta para o método SADT |
| spellingShingle |
Semântica e uma ferramenta para o método SADT Ribeiro, Adagenor Lobato Engenharia : Software Especificacao : Software Case Method Software engineering SADT Requirements definition Formal specification Computer assisted software engineering (CASE) Simulation System dataflow VDM Funcional specification Semantics |
| title_short |
Semântica e uma ferramenta para o método SADT |
| title_full |
Semântica e uma ferramenta para o método SADT |
| title_fullStr |
Semântica e uma ferramenta para o método SADT |
| title_full_unstemmed |
Semântica e uma ferramenta para o método SADT |
| title_sort |
Semântica e uma ferramenta para o método SADT |
| author |
Ribeiro, Adagenor Lobato |
| author_facet |
Ribeiro, Adagenor Lobato |
| author_role |
author |
| dc.contributor.author.fl_str_mv |
Ribeiro, Adagenor Lobato |
| dc.contributor.advisor1.fl_str_mv |
Nunes, Daltro Jose |
| contributor_str_mv |
Nunes, Daltro Jose |
| dc.subject.por.fl_str_mv |
Engenharia : Software Especificacao : Software Case |
| topic |
Engenharia : Software Especificacao : Software Case Method Software engineering SADT Requirements definition Formal specification Computer assisted software engineering (CASE) Simulation System dataflow VDM Funcional specification Semantics |
| dc.subject.eng.fl_str_mv |
Method Software engineering SADT Requirements definition Formal specification Computer assisted software engineering (CASE) Simulation System dataflow VDM Funcional specification Semantics |
| description |
A definição de requisitos tem sido reconhecida como uma das mais críticas e difíceis tarefas em engenharia de software. A necessidade de ferramentas de suporte é essencial. Nos dias de hoje, entre os vários métodos existentes para apoiar a fase de requisitos, destaca-se o SADT (Structured Analysis and Design Techniques) devido a sua capacidade de representar modelos. Este trabalho estabelece semântica para o método SADT, baseando-se na inter-relação do método aos sistemas de fluxo de dados (redes, grafos e máquinas de fluxo). Faz-se, inicialmente, uma abordagem operacional para a semântica de seus construtos básicos e, posteriormente discute-se a possibilidade de executar especificações através de simulação. Uma ferramenta para suportar o método SADT foi projetada e construída e é apresentada. Ela foi definida a partir de um modelo, denotado por uma classe, através de uma sintaxe abstrata. Essa ferramenta foi implementada no ambiente PROSOFT, fornecendo para o usuário mais de quarenta operações de apoio a construção/manipulação de diagramas. O trabalho também apresenta a especificação formal em VDM - Vienna Development Method, da semântica dos principais construtos do método SADT, bem como uma proposição de execução de especificações através de simulação são ainda indicadas direções nas quais o trabalho pode ser estendido. |
| publishDate |
1991 |
| dc.date.issued.fl_str_mv |
1991 |
| dc.date.accessioned.fl_str_mv |
2010-06-26T04:17:27Z |
| 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/10183/24146 |
| dc.identifier.nrb.pt_BR.fl_str_mv |
000059197 |
| url |
http://hdl.handle.net/10183/24146 |
| identifier_str_mv |
000059197 |
| 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:Biblioteca Digital de Teses e Dissertações da UFRGS instname:Universidade Federal do Rio Grande do Sul (UFRGS) instacron:UFRGS |
| instname_str |
Universidade Federal do Rio Grande do Sul (UFRGS) |
| instacron_str |
UFRGS |
| institution |
UFRGS |
| reponame_str |
Biblioteca Digital de Teses e Dissertações da UFRGS |
| collection |
Biblioteca Digital de Teses e Dissertações da UFRGS |
| bitstream.url.fl_str_mv |
http://www.lume.ufrgs.br/bitstream/10183/24146/1/000059197.pdf http://www.lume.ufrgs.br/bitstream/10183/24146/2/000059197.pdf.txt http://www.lume.ufrgs.br/bitstream/10183/24146/3/000059197.pdf.jpg |
| bitstream.checksum.fl_str_mv |
7935c62098487b34714b53665e500347 4354ffe6242b50499f470c78e15c3943 6a88e1cf10fbf147c5c579916833d958 |
| bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 |
| repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS) |
| repository.mail.fl_str_mv |
lume@ufrgs.br||lume@ufrgs.br |
| _version_ |
1831315877223464960 |