Lop : uma abordagem unificada de especificação algébrica, orientação a objetos e processos

Detalhes bibliográficos
Autor(a) principal: Castro Vera, Ausberto Silverio
Data de Publicação: 1995
Tipo de documento: Tese
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da UFRGS
Texto Completo: http://hdl.handle.net/10183/26698
Resumo: A especificação abstrata de tipos de dados, a hoje um dos conceitos mais importantes, aceitos e compreendidos da Ciência da Computação, que permite descrever as principais entidades de um sistema baseado em computador através das propriedades que tais entidades devem satisfazer. Isto a feito usando métodos e linguagens algébricos, onde as propriedades são definidas na forma de axiomas (equações). Por outro lado, a tecnologia chamada de Orientada a Objetos (00), foi se transformando em uma disciplina amadurecida para projetos e implementações de aplicações de software. Atualmente esta tecnologia inclui muitas metodologias e muitas linguagens que abrangem todo o processo de desenvolvimento de sistemas, porem, a maioria delas são influenciadas pela implementação de tais sistemas, isto e, os conceitos básicos 00 de classe, objeto e herança são definidos em fungi° da linguagem de implementação a ser usada. Alem disso, notamos que nos últimos anos esta sendo desenvolvida muita pesquisa sobre uma geração de computadores que envolvem massivamente arquiteturas paralelas (computação concorrente), bem como sobre sistemas de comunicação de dados e engenharia (descrição) de protocolos. O objetivo principal desta tese a dar uma resposta a estes três assuntos integrando três conceitos básicos da Engenharia de Software: Especificação Algébrica, Orientação a Objetos e Especificação de Processos e Concorrência, em uma Única abordagem expressa através de uma Linguagem de Especificação Formal, chamada LOP. Esta linguagem a de natureza algébrica, com destaque para a semântica baseada em teorias em lógica de primeira ordem e na construção incremental de especificações baseada em bibliotecas.
id URGS_f9432ef550ed6fac71aa87ea63156eb1
oai_identifier_str oai:www.lume.ufrgs.br:10183/26698
network_acronym_str URGS
network_name_str Biblioteca Digital de Teses e Dissertações da UFRGS
repository_id_str 1853
spelling Castro Vera, Ausberto SilverioNunes, Daltro Jose2010-11-09T04:19:33Z1995http://hdl.handle.net/10183/26698000264983A especificação abstrata de tipos de dados, a hoje um dos conceitos mais importantes, aceitos e compreendidos da Ciência da Computação, que permite descrever as principais entidades de um sistema baseado em computador através das propriedades que tais entidades devem satisfazer. Isto a feito usando métodos e linguagens algébricos, onde as propriedades são definidas na forma de axiomas (equações). Por outro lado, a tecnologia chamada de Orientada a Objetos (00), foi se transformando em uma disciplina amadurecida para projetos e implementações de aplicações de software. Atualmente esta tecnologia inclui muitas metodologias e muitas linguagens que abrangem todo o processo de desenvolvimento de sistemas, porem, a maioria delas são influenciadas pela implementação de tais sistemas, isto e, os conceitos básicos 00 de classe, objeto e herança são definidos em fungi° da linguagem de implementação a ser usada. Alem disso, notamos que nos últimos anos esta sendo desenvolvida muita pesquisa sobre uma geração de computadores que envolvem massivamente arquiteturas paralelas (computação concorrente), bem como sobre sistemas de comunicação de dados e engenharia (descrição) de protocolos. O objetivo principal desta tese a dar uma resposta a estes três assuntos integrando três conceitos básicos da Engenharia de Software: Especificação Algébrica, Orientação a Objetos e Especificação de Processos e Concorrência, em uma Única abordagem expressa através de uma Linguagem de Especificação Formal, chamada LOP. Esta linguagem a de natureza algébrica, com destaque para a semântica baseada em teorias em lógica de primeira ordem e na construção incremental de especificações baseada em bibliotecas.The abstract specification of data types, one of the most important concepts accepted and understood of the Computer Science, allows to describe the the main entities of a based-computer system through the properties that these entities should be to satisfy. This is made using algebraic methods and languages, where the properties are defined as axioms (equations). By other hand, the technology called Object-Oriented (00), it has been transformed in a mature discipline for Design and Implementations of software applications. At present, this technology include many methodologies and many languages for the totality of the system development process. But the majority are influenced by the implementation of such systems, i.e., the basic concepts 00 of class, object and inheritance are defined in accordance with the programming language to be used. Moreover, we noted that the last years are being developed many research on a computer generation that involve massively parallel architectures (concurrent computing) as well as on data communication systems and protocol engineering (description). The main objective of this thesis is to give an answer to these three subjects integrating three basic concepts of Software Engineering: Algebraic Specification, Object Orientation and Processes and Concurrency specification, in an unique approach expressed through a language of formal specification, called LOP. This language has algebraic nature with prominence to the semantics based on theories in first-order logic with equality and the incremental construction of library-based specifications.application/pdfporEngenharia : SoftwareEspecificacao algebricaOrientacao : ObjetosLOPAlgebraic specificationObject-orientationProcessesSpecification languageLop : uma abordagem unificada de especificação algébrica, orientação a objetos e processosLop: a unified approach of algebraic specification, object-orientation and processes info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisUniversidade Federal do Rio Grande do SulInstituto de InformáticaCurso de Pós-Graduação em Ciência da ComputaçãoPorto Alegre, BR-RS1995doutoradoinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSTEXT000264983.pdf.txt000264983.pdf.txtExtracted Texttext/plain203821http://www.lume.ufrgs.br/bitstream/10183/26698/2/000264983.pdf.txt119fa731923760ba0851be359947554bMD52ORIGINAL000264983.pdf000264983.pdfTexto completoapplication/pdf18192050http://www.lume.ufrgs.br/bitstream/10183/26698/1/000264983.pdf833cb77855ab8ca94d4ec9bcfda48a13MD51THUMBNAIL000264983.pdf.jpg000264983.pdf.jpgGenerated Thumbnailimage/jpeg1295http://www.lume.ufrgs.br/bitstream/10183/26698/3/000264983.pdf.jpgb3c19b51ce12590ffaca3d19658fdf95MD5310183/266982018-10-17 08:46:08.157oai:www.lume.ufrgs.br:10183/26698Biblioteca Digital de Teses e Dissertaçõeshttps://lume.ufrgs.br/handle/10183/2PUBhttps://lume.ufrgs.br/oai/requestlume@ufrgs.br||lume@ufrgs.bropendoar:18532018-10-17T11:46:08Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false
dc.title.pt_BR.fl_str_mv Lop : uma abordagem unificada de especificação algébrica, orientação a objetos e processos
dc.title.alternative.en.fl_str_mv Lop: a unified approach of algebraic specification, object-orientation and processes
title Lop : uma abordagem unificada de especificação algébrica, orientação a objetos e processos
spellingShingle Lop : uma abordagem unificada de especificação algébrica, orientação a objetos e processos
Castro Vera, Ausberto Silverio
Engenharia : Software
Especificacao algebrica
Orientacao : Objetos
LOP
Algebraic specification
Object-orientation
Processes
Specification language
title_short Lop : uma abordagem unificada de especificação algébrica, orientação a objetos e processos
title_full Lop : uma abordagem unificada de especificação algébrica, orientação a objetos e processos
title_fullStr Lop : uma abordagem unificada de especificação algébrica, orientação a objetos e processos
title_full_unstemmed Lop : uma abordagem unificada de especificação algébrica, orientação a objetos e processos
title_sort Lop : uma abordagem unificada de especificação algébrica, orientação a objetos e processos
author Castro Vera, Ausberto Silverio
author_facet Castro Vera, Ausberto Silverio
author_role author
dc.contributor.author.fl_str_mv Castro Vera, Ausberto Silverio
dc.contributor.advisor1.fl_str_mv Nunes, Daltro Jose
contributor_str_mv Nunes, Daltro Jose
dc.subject.por.fl_str_mv Engenharia : Software
Especificacao algebrica
Orientacao : Objetos
topic Engenharia : Software
Especificacao algebrica
Orientacao : Objetos
LOP
Algebraic specification
Object-orientation
Processes
Specification language
dc.subject.eng.fl_str_mv LOP
Algebraic specification
Object-orientation
Processes
Specification language
description A especificação abstrata de tipos de dados, a hoje um dos conceitos mais importantes, aceitos e compreendidos da Ciência da Computação, que permite descrever as principais entidades de um sistema baseado em computador através das propriedades que tais entidades devem satisfazer. Isto a feito usando métodos e linguagens algébricos, onde as propriedades são definidas na forma de axiomas (equações). Por outro lado, a tecnologia chamada de Orientada a Objetos (00), foi se transformando em uma disciplina amadurecida para projetos e implementações de aplicações de software. Atualmente esta tecnologia inclui muitas metodologias e muitas linguagens que abrangem todo o processo de desenvolvimento de sistemas, porem, a maioria delas são influenciadas pela implementação de tais sistemas, isto e, os conceitos básicos 00 de classe, objeto e herança são definidos em fungi° da linguagem de implementação a ser usada. Alem disso, notamos que nos últimos anos esta sendo desenvolvida muita pesquisa sobre uma geração de computadores que envolvem massivamente arquiteturas paralelas (computação concorrente), bem como sobre sistemas de comunicação de dados e engenharia (descrição) de protocolos. O objetivo principal desta tese a dar uma resposta a estes três assuntos integrando três conceitos básicos da Engenharia de Software: Especificação Algébrica, Orientação a Objetos e Especificação de Processos e Concorrência, em uma Única abordagem expressa através de uma Linguagem de Especificação Formal, chamada LOP. Esta linguagem a de natureza algébrica, com destaque para a semântica baseada em teorias em lógica de primeira ordem e na construção incremental de especificações baseada em bibliotecas.
publishDate 1995
dc.date.issued.fl_str_mv 1995
dc.date.accessioned.fl_str_mv 2010-11-09T04:19:33Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10183/26698
dc.identifier.nrb.pt_BR.fl_str_mv 000264983
url http://hdl.handle.net/10183/26698
identifier_str_mv 000264983
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/26698/2/000264983.pdf.txt
http://www.lume.ufrgs.br/bitstream/10183/26698/1/000264983.pdf
http://www.lume.ufrgs.br/bitstream/10183/26698/3/000264983.pdf.jpg
bitstream.checksum.fl_str_mv 119fa731923760ba0851be359947554b
833cb77855ab8ca94d4ec9bcfda48a13
b3c19b51ce12590ffaca3d19658fdf95
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_ 1810085187945496576

Registros relacionados