Especificação da linguagem de ordenação temporal
Language Of Temporal Ordering Specification ( LOTOS ) é uma linguagem de especificação formal baseada na ordem temporal dos eventos. LOTOS é usado para a especificação de protocolos nos padrões ISO OSI .
LOTOS é uma linguagem algébrica que consiste em duas partes: uma parte para descrever dados e operações, com base em tipos de dados abstratos , e uma parte para descrever processos concorrentes, com base na álgebra de processo .
O trabalho no padrão foi concluído em 1988 e publicado como ISO 8807 em 1989. Entre 1993 e 2001, um comitê ISO trabalhou para definir uma versão revisada do padrão LOTOS, que foi publicada em 2001 como E -LOTOS .
Veja também
Referências
-
Padrão internacional ISO / IEC 8807: 1989 . Sistemas de Processamento de Informação - Interconexão de Sistemas Abertos - LOTOS: Técnica de Descrição Formal baseada na Ordenação Temporal do Comportamento Observacional . Genebra, setembro de 1989.
-
A Descrição Técnica Formal LOTOS , PHJ van Eijk et al. , editores, North-Holland, 1989.
-
LOTOSphere: Desenvolvimento de software com LOTOS , Tommaso Bolognesi, Jeroen van de Lagemaat e Chris Vissers, editores, Kluwer Academic Publishers, 1995.
- Hubert Garavel, Frédéric Lang e Wendelin Serwe, de LOTOS a LNT . Em Joost-Pieter Katoen, Rom Langerak e Arend Rensink, editores, ModelEd, TestEd, TrustEd - Ensaios dedicados a Ed Brinksma na ocasião de seu 60º aniversário , vol. 10500 de Lecture Notes in Computer Science, páginas 3-26, Springer International Publishing, outubro de 2017, doi 10.1007 / 978-3-319-68270-9_1.
links externos
Origens