Skip navigation
Please use this identifier to cite or link to this item: https://repositorio.ufpe.br/handle/123456789/2660
Title: Algebraic laws for process subtyping
Authors: Dihego da Silva Oliveira, Jose
Keywords: OhCircus; Heranca Comportamental; UTP; Algebraic Laws; OhCircus; Behavioral Subtyping; Leis Algebricas; UTP
Issue Date: 31-Jan-2011
Publisher: Universidade Federal de Pernambuco
Citation: 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.
Abstract: 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
URI: https://repositorio.ufpe.br/handle/123456789/2660
Appears in Collections:Dissertações de Mestrado - Ciência da Computação

Files in This Item:
File Description SizeFormat 
arquivo5819_1.pdf998.81 kBAdobe PDFView/Open


This item is protected by original copyright



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.