Repositório Digital

A- A A+

Refinement in a concurrent, object-based language

.

Refinement in a concurrent, object-based language

Mostrar registro completo

Estatísticas

Título Refinement in a concurrent, object-based language
Autor Menezes, Paulo Fernando Blauth
Sernadas, Amilcar dos Santos Costa
Costa, J. Felix
Data 1996
Assunto Linguagens orientadas : Objetos
Redes : Petri
Teoria : Concorrencia
Teoria : Processos
Abstract Nonsequential automata constitute a categoria! semantic domain based oo labeled transition system with full concurrency, where restriction and relabeling are functorial and a class oi morphisms stands for refinement. It is, for ou r knowledge, the first model for concurrency which satisfies the diagonal compositionality requirement, i.e., refinements compose (vertical) and distribute over combinators (horizontal). To experiment with the proposed semantic domain, a semantics for a concurrent, object-based language is given. lt is a simplified and revised version oi lhe object-oriented specification language GNOME, introducing sane special features inspired by lhe semantic domain such as refinement. The diagonal compositionality is an essential property to give semantics in this context.
Tipo Relatório Técnico e de Pesquisa
URI http://hdl.handle.net/10183/126657
Arquivos Descrição Formato
000105636.pdf (6.601Mb) Texto completo Adobe PDF Visualizar/abrir

Este item está licenciado na Creative Commons License

Este item aparece na(s) seguinte(s) coleção(ões)


Mostrar registro completo

Percorrer



  • O autor é titular dos direitos autorais dos documentos disponíveis neste repositório e é vedada, nos termos da lei, a comercialização de qualquer espécie sem sua autorização prévia.
    Projeto gráfico elaborado pelo Caixola - Clube de Criação Fabico/UFRGS Powered by DSpace software, Version 1.8.1.