Algebraic laws for process subtyping

Detalhes bibliográficos
Ano de defesa: 2011
Autor(a) principal: Dihego da Silva Oliveira, Jose
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Universidade Federal de Pernambuco
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:
OhCircus
Heranca Comportamental
UTP
Algebraic Laws
Behavioral Subtyping
Leis Algebricas
Link de acesso: https://repositorio.ufpe.br/handle/123456789/2660
Resumo: Uma abordagem formal e crucial na especificação e desenvolvimento de sistemas complexos. Inspirado pela engenharia, o desenvolvimento de software deve preterir a abordagem empirica e seguir uma abordagem estruturada, formal, passível de repetição e prova face ao advento de sistemas mais complexos, paralelos e concorrentes. Este trabalho apresenta uma extensão conservativa de OhCircus, uma linguagem de especificação oncorrente, que integra CSP, Z, orientação a objetos e um calculo de re- finamento. Esta extensão suporta a definição de heranca de processo, onde uxo de controle, operações e componentes de estado em um superprocesso, podem ser reusados por seus subprocessos. Neste trabalho nos apresentamos a gramatica estendida de OhCir- cus, acompanhada por um conjunto de regras de tipos que lidam com as novas construções da linguagem. Nos apresentamos, em termos da Unifying Theories of Programming definida por Hoare e He, a semântica formal de heranca de processo e suas construções de suporte. A principal contribuição deste trabalho e um conjunto, formalmente provado, de leis algebricas que lidam com herança de processo. Nós também explanamos informalmente como essas leis podem contribuir para uma teoria de completude para OhCircus. Finalmente nossas leis são exercitadas atraves de um estudo de caso
id UFPE_d0369e8ccb6cb2921968165ff06a6d1d
oai_identifier_str oai:repositorio.ufpe.br:123456789/2660
network_acronym_str UFPE
network_name_str Repositório Institucional da UFPE
repository_id_str
spelling Algebraic laws for process subtypingOhCircusHeranca ComportamentalUTPAlgebraic LawsOhCircusBehavioral SubtypingLeis AlgebricasUTPUma abordagem formal e crucial na especificação e desenvolvimento de sistemas complexos. Inspirado pela engenharia, o desenvolvimento de software deve preterir a abordagem empirica e seguir uma abordagem estruturada, formal, passível de repetição e prova face ao advento de sistemas mais complexos, paralelos e concorrentes. Este trabalho apresenta uma extensão conservativa de OhCircus, uma linguagem de especificação oncorrente, que integra CSP, Z, orientação a objetos e um calculo de re- finamento. Esta extensão suporta a definição de heranca de processo, onde uxo de controle, operações e componentes de estado em um superprocesso, podem ser reusados por seus subprocessos. Neste trabalho nos apresentamos a gramatica estendida de OhCir- cus, acompanhada por um conjunto de regras de tipos que lidam com as novas construções da linguagem. Nos apresentamos, em termos da Unifying Theories of Programming definida por Hoare e He, a semântica formal de heranca de processo e suas construções de suporte. A principal contribuição deste trabalho e um conjunto, formalmente provado, de leis algebricas que lidam com herança de processo. Nós também explanamos informalmente como essas leis podem contribuir para uma teoria de completude para OhCircus. Finalmente nossas leis são exercitadas atraves de um estudo de casoConselho Nacional de Desenvolvimento Científico e TecnológicoUniversidade Federal de PernambucoCezar Alves Sampaio, Augusto Dihego da Silva Oliveira, Jose2014-06-12T16:00:02Z2014-06-12T16:00:02Z2011-01-31info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfDihego da Silva Oliveira, Jose; Cezar Alves Sampaio, Augusto. Algebraic laws for process subtyping. 2011. Dissertação (Mestrado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2011.https://repositorio.ufpe.br/handle/123456789/2660porAttribution-NonCommercial-NoDerivs 3.0 Brazilhttp://creativecommons.org/licenses/by-nc-nd/3.0/br/info:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFPEinstname:Universidade Federal de Pernambuco (UFPE)instacron:UFPE2019-10-25T15:58:19Zoai:repositorio.ufpe.br:123456789/2660Repositório InstitucionalPUBhttps://repositorio.ufpe.br/oai/requestattena@ufpe.bropendoar:22212019-10-25T15:58:19Repositório Institucional da UFPE - Universidade Federal de Pernambuco (UFPE)false
dc.title.none.fl_str_mv Algebraic laws for process subtyping
title Algebraic laws for process subtyping
spellingShingle Algebraic laws for process subtyping
Dihego da Silva Oliveira, Jose
OhCircus
Heranca Comportamental
UTP
Algebraic Laws
OhCircus
Behavioral Subtyping
Leis Algebricas
UTP
title_short Algebraic laws for process subtyping
title_full Algebraic laws for process subtyping
title_fullStr Algebraic laws for process subtyping
title_full_unstemmed Algebraic laws for process subtyping
title_sort Algebraic laws for process subtyping
author Dihego da Silva Oliveira, Jose
author_facet Dihego da Silva Oliveira, Jose
author_role author
dc.contributor.none.fl_str_mv Cezar Alves Sampaio, Augusto
dc.contributor.author.fl_str_mv Dihego da Silva Oliveira, Jose
dc.subject.por.fl_str_mv OhCircus
Heranca Comportamental
UTP
Algebraic Laws
OhCircus
Behavioral Subtyping
Leis Algebricas
UTP
topic OhCircus
Heranca Comportamental
UTP
Algebraic Laws
OhCircus
Behavioral Subtyping
Leis Algebricas
UTP
description Uma abordagem formal e crucial na especificação e desenvolvimento de sistemas complexos. Inspirado pela engenharia, o desenvolvimento de software deve preterir a abordagem empirica e seguir uma abordagem estruturada, formal, passível de repetição e prova face ao advento de sistemas mais complexos, paralelos e concorrentes. Este trabalho apresenta uma extensão conservativa de OhCircus, uma linguagem de especificação oncorrente, que integra CSP, Z, orientação a objetos e um calculo de re- finamento. Esta extensão suporta a definição de heranca de processo, onde uxo de controle, operações e componentes de estado em um superprocesso, podem ser reusados por seus subprocessos. Neste trabalho nos apresentamos a gramatica estendida de OhCir- cus, acompanhada por um conjunto de regras de tipos que lidam com as novas construções da linguagem. Nos apresentamos, em termos da Unifying Theories of Programming definida por Hoare e He, a semântica formal de heranca de processo e suas construções de suporte. A principal contribuição deste trabalho e um conjunto, formalmente provado, de leis algebricas que lidam com herança de processo. Nós também explanamos informalmente como essas leis podem contribuir para uma teoria de completude para OhCircus. Finalmente nossas leis são exercitadas atraves de um estudo de caso
publishDate 2011
dc.date.none.fl_str_mv 2011-01-31
2014-06-12T16:00:02Z
2014-06-12T16:00:02Z
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 Dihego da Silva Oliveira, Jose; Cezar Alves Sampaio, Augusto. Algebraic laws for process subtyping. 2011. Dissertação (Mestrado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2011.
https://repositorio.ufpe.br/handle/123456789/2660
identifier_str_mv Dihego da Silva Oliveira, Jose; Cezar Alves Sampaio, Augusto. Algebraic laws for process subtyping. 2011. Dissertação (Mestrado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2011.
url https://repositorio.ufpe.br/handle/123456789/2660
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv Attribution-NonCommercial-NoDerivs 3.0 Brazil
http://creativecommons.org/licenses/by-nc-nd/3.0/br/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Attribution-NonCommercial-NoDerivs 3.0 Brazil
http://creativecommons.org/licenses/by-nc-nd/3.0/br/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidade Federal de Pernambuco
publisher.none.fl_str_mv Universidade Federal de Pernambuco
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFPE
instname:Universidade Federal de Pernambuco (UFPE)
instacron:UFPE
instname_str Universidade Federal de Pernambuco (UFPE)
instacron_str UFPE
institution UFPE
reponame_str Repositório Institucional da UFPE
collection Repositório Institucional da UFPE
repository.name.fl_str_mv Repositório Institucional da UFPE - Universidade Federal de Pernambuco (UFPE)
repository.mail.fl_str_mv attena@ufpe.br
_version_ 1856042012431613952

Registros relacionados