LOTOS is a specification language which has been developed within the International Oroanization for Standardization (ISO) and standardized as a formalism for specifying concurrent systems, specially suited to run on Open System Interconnection (OSI) computer network architecture. Like all process algebras, LOTOS can be used to describe concurrent systems at different levels of abstraction. The semantics of LOTOS is defined in terms of labelled transition systems, according to the Structural Operational Semantics (SOS) approach. Transition systems are then factorized through the notions of observational equivalence and testing preorders, which permit proving that two different LOTOS specifications are equivalent when "uninteresting" details are ignored and that a low level specification is a satisfactory implementation of a more abstract one.
Complete sets of axioms for finite basic LOTOS behavioural equivalences
1992
Abstract
LOTOS is a specification language which has been developed within the International Oroanization for Standardization (ISO) and standardized as a formalism for specifying concurrent systems, specially suited to run on Open System Interconnection (OSI) computer network architecture. Like all process algebras, LOTOS can be used to describe concurrent systems at different levels of abstraction. The semantics of LOTOS is defined in terms of labelled transition systems, according to the Structural Operational Semantics (SOS) approach. Transition systems are then factorized through the notions of observational equivalence and testing preorders, which permit proving that two different LOTOS specifications are equivalent when "uninteresting" details are ignored and that a low level specification is a satisfactory implementation of a more abstract one.File | Dimensione | Formato | |
---|---|---|---|
prod_452952-doc_171035.pdf
solo utenti autorizzati
Descrizione: Complete sets of axioms for finite basic LOTOS behavioural equivalences
Tipologia:
Versione Editoriale (PDF)
Dimensione
1.59 MB
Formato
Adobe PDF
|
1.59 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.