Composicionalidade de primitivas : uma abordagem categorial

Abstract

Autômatos não-seqüenciais são apresentados como modelo semântico para a interpretação formal do conceito de primitiva em sistemas operacionais sob a ótica da Teoria das Categorias, Este modelo constitui originalmente um domínio semântico para sistemas reativos distribuídos, concorrentes e comunicantes, onde os estados e transições possuem estrutura monoidal comutativa, que satisfaz a composicionalidade diagonal. Utilizando este domínio, estende-se o conceito de transação típico de sistemas distribuídos, o qual permite agrupar operações de forma que o todo seja uma estrutura atômica, para a composição atômica de primitivas de um sistema operacional. Transações são formalmente definidas através de uma operação de reificação entre autômatos que mapeia transições do autômato origem em transações do autômato destino (mais concreto). Adicionalmente, são introduzi das as construções necessárias para a definição da semântica de uma reificação, especificada como um mapeamento para uma computação.

Nonsequential automata are presented as a semantic model for the formal interpretation 'of the concept of operating systems primitive under the view of Category Theory. This model originally constitutes a semantic domain for reactive, distributed, concurrent and communicating systems, with a monoidal structure on states and transitions, which satisfies the diagonal compositionality requirement. Based on this domain, the concept of transaction used in distributed system which allows grouping operations into a single atomic structure, is extended to includes the atomic composition of operating systems primitives. Transactions are formally defined through a reification between automata that maps transitions from the source automaton to transactions of the target (more concrete) automata. Additionally, we introduce the necessary constructions for defining the semantics of reification, specified as a mapping to a computation.