Made available in DSpace on 2014-06-12T16:00:02Z (GMT). No. of bitstreams: 2
arquivo5819_1.pdf: 1022780 bytes, checksum: 817e10825cb544dad97eed36627fdd51 (MD5)
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 2011 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / 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
| Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.ufpe.br:123456789/2660 |
| Date | 31 January 2011 |
| Creators | Dihego da Silva Oliveira, Jose |
| Contributors | Cezar Alves Sampaio, Augusto |
| Publisher | Universidade Federal de Pernambuco |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Source | reponame:Repositório Institucional da UFPE, instname:Universidade Federal de Pernambuco, instacron:UFPE |
| Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0027 seconds