Linguaggio delle specifiche di ordinazione temporale
Language Of Temporal Ordering Specification ( LOTOS ) è un linguaggio di specifica formale basato sull'ordine temporale degli eventi. LOTOS viene utilizzato per la specifica dei protocolli negli standard ISO OSI .
LOTOS è un linguaggio algebrico che consiste di due parti: una parte per la descrizione di dati e operazioni, basata su tipi di dati astratti , e una parte per la descrizione di processi concorrenti, basata sull'algebra dei processi .
Il lavoro sullo standard è stato completato nel 1988 e pubblicato come ISO 8807 nel 1989. Tra il 1993 e il 2001, un comitato ISO ha lavorato per definire una versione rivista dello standard LOTOS, che è stato pubblicato nel 2001 come E-LOTOS .
Vedi anche
Riferimenti
-
Norma internazionale ISO/IEC 8807: 1989 . Sistemi di elaborazione delle informazioni - Interconnessione di sistemi aperti - LOTOS: una tecnica di descrizione formale basata sull'ordinamento temporale del comportamento osservativo . Ginevra, settembre 1989.
-
La descrizione tecnica formale LOTOS , PHJ van Eijk et al. , editori, Olanda Settentrionale, 1989.
-
LOTOSphere: sviluppo software con LOTOS , Tommaso Bolognesi, Jeroen van de Lagemaat e Chris Vissers, editori, Kluwer Academic Publishers, 1995.
- Hubert Garavel, Frédéric Lang e Wendelin Serwe, Da LOTOS a LNT . In Joost-Pieter Katoen, Rom Langerak e Arend Rensink, editori, ModelEd, TestEd, TrustEd - Saggi dedicati a Ed Brinksma in occasione del suo sessantesimo compleanno , vol. 10500 di Lecture Notes in Computer Science, pagine 3-26, Springer International Publishing, ottobre 2017, doi 10.1007 / 978-3-319-68270-9_1.
link esterno
fonti