Language Of Temporal Ordering Specification (original) (raw)
Language Of Temporal Ordering Specification (en español: Lenguaje de Especificación Ordenante Temporal) es un lenguaje de especificación formal basado en la ordenación temporal de los eventos. LOTOS se usa para especificación de protocolo en estándares ISO OSI. LOTOS es un lenguaje algebraico que consta de dos partes: una parte para la descripción de datos y operaciones, basada en tipos abstractos de datos; y otra para la descripción de procesos concurrentes, basados en cálculo de procesos. * Datos: Q1805432
| Property | Value |
|---|---|
| dbo:abstract | Language of Temporal Ordering Specification, kurz LOTOS, ist eine , welche im ISO-Standard ISO 8807 definiert ist. LOTOS ist ein Vertreter der und basiert auf dem -Kalkül von Robin Milner. LOTOS wird verwendet um die Reihenfolge von Interaktionen, ausgedrückt durch Aktionen, zwischen kommunizierenden Prozessen, in Form von Verhaltensausdrücken zu spezifizieren. Entworfen wurde LOTOS ursprünglich für die formale Dienst- und Protokoll-Spezifikation der Schichten des OSI-Modells, es ist aber generell für alle nebenläufige und verteilte Systeme anwendbar. Heute liegt das Einsatzgebiet von LOTOS hauptsächlich in der theoretischen Forschung und dort vorrangig in der Protokollverifikation, der Leistungsvoraussage und der Testtheorie. Die Sprache LOTOS besteht aus zwei Teilen. Die Verhaltensbeschreibung dient zur Darstellung des Kontrollflusses und wird auch als Basic LOTOS bezeichnet. Die Datenbeschreibung stellt den Datenfluss in der algebraischen Beschreibungssprache dar. (de) Language Of Temporal Ordering Specification (en español: Lenguaje de Especificación Ordenante Temporal) es un lenguaje de especificación formal basado en la ordenación temporal de los eventos. LOTOS se usa para especificación de protocolo en estándares ISO OSI. LOTOS es un lenguaje algebraico que consta de dos partes: una parte para la descripción de datos y operaciones, basada en tipos abstractos de datos; y otra para la descripción de procesos concurrentes, basados en cálculo de procesos. El trabajo en el estándar se completó en 1988, y fue publicado como ISO 8807 en 1989. Entre 1993 y 2001, un comité de ISO trabajó para definir una versión revisada del estándar LOTOS, que fue publicado en 2001 como E-LOTOS. * Datos: Q1805432 (es) In computer science Language Of Temporal Ordering Specification (LOTOS) is a formal specification language based on temporal ordering of events. LOTOS is used for communications protocol specification in International Organization for Standardization (ISO) Open Systems Interconnection model (OSI) standards. LOTOS is an algebraic language that consists of two parts: a part for the description of data and operations, based on abstract data types, and a part for the description of concurrent processes, based on process calculus. Work on the standard was completed in 1988, and it was published as ISO 8807 in 1989. Between 1993 and 2001, an ISO committee worked to define a revised version of the LOTOS standard, which was published in 2001 as E-LOTOS. (en) Language Of Temporal Ordering Specification (LOTOS) est un langage de spécification formel basé sur l'ordre temporel des événements. LOTOS est utilisé pour la spécification des protocoles dans les standards ISO OSI. LOTOS est un langage algébrique qui consiste en deux parties : une partie de description des données et des opérations, basé sur des types abstraits de données, et une partie pour la description des processus concurrents, basé sur l'algèbre de processus. Le travail sur le standard a été terminé en 1988, et publié sous la norme ISO 8807 en 1989. Entre 1993 et 2001, un comité ISO travailla pour définir une version révisée du standard LOTOS, qui a été publiée en 2001 sous l’appellation E-LOTOS. (fr) |
| dbo:wikiPageExternalLink | http://www.iso.org/iso/catalogue_detail.htm%3Fcsnumber=16258 http://www.cs.stir.ac.uk/~kjt/research/well/ http://cadp.inria.fr/tutorial/ https://web.archive.org/web/20080828060019/http:/www.rkbexplorer.com/explorer/%23display=mechanism%2D%7Bhttp:/resex.rkbexplorer.com/id/resilience-mechanism-cf9ed8ae%7D |
| dbo:wikiPageID | 1117722 (xsd:integer) |
| dbo:wikiPageLength | 2773 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1057987310 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:CADP dbc:Synchronization dbr:List_of_ISO_standards dbr:E-LOTOS dbr:Communications_protocol dbr:Specification_language dbc:Formal_specification_languages dbr:Abstract_data_types dbr:Formal_methods dbr:International_Organization_for_Standardization dbc:Concurrency_(computer_science) dbc:Concurrency_control dbc:Formal_methods dbc:Process_calculi dbc:Theoretical_computer_science dbr:OSI_model dbr:Process_calculus |
| dbp:wikiPageUsesTemplate | dbt:Authority_control dbt:ISO_standards dbt:Compu-lang-stub dbt:Concurrent_computing |
| dct:subject | dbc:Synchronization dbc:Formal_specification_languages dbc:Concurrency_(computer_science) dbc:Concurrency_control dbc:Formal_methods dbc:Process_calculi dbc:Theoretical_computer_science |
| gold:hypernym | dbr:Language |
| rdf:type | owl:Thing dbo:Language schema:Language wikidata:Q315 wikidata:Q9143 yago:Ability105616246 yago:Abstraction100002137 yago:ArtificialLanguage106894544 yago:Cognition100023271 yago:Communication100033020 yago:Know-how105616786 yago:Language106282651 yago:Measure100033615 yago:Method105660268 yago:ProgrammingLanguage106898352 yago:PsychologicalFeature100023100 yago:WikicatISOStandards dbo:ProgrammingLanguage yago:Standard107260623 yago:SystemOfMeasurement113577171 yago:WikicatFormalMethods yago:WikicatFormalSpecificationLanguages yago:WikicatProgrammingLanguages |
| rdfs:comment | Language Of Temporal Ordering Specification (en español: Lenguaje de Especificación Ordenante Temporal) es un lenguaje de especificación formal basado en la ordenación temporal de los eventos. LOTOS se usa para especificación de protocolo en estándares ISO OSI. LOTOS es un lenguaje algebraico que consta de dos partes: una parte para la descripción de datos y operaciones, basada en tipos abstractos de datos; y otra para la descripción de procesos concurrentes, basados en cálculo de procesos. * Datos: Q1805432 (es) Language of Temporal Ordering Specification, kurz LOTOS, ist eine , welche im ISO-Standard ISO 8807 definiert ist. LOTOS ist ein Vertreter der und basiert auf dem -Kalkül von Robin Milner. LOTOS wird verwendet um die Reihenfolge von Interaktionen, ausgedrückt durch Aktionen, zwischen kommunizierenden Prozessen, in Form von Verhaltensausdrücken zu spezifizieren. (de) In computer science Language Of Temporal Ordering Specification (LOTOS) is a formal specification language based on temporal ordering of events. LOTOS is used for communications protocol specification in International Organization for Standardization (ISO) Open Systems Interconnection model (OSI) standards. LOTOS is an algebraic language that consists of two parts: a part for the description of data and operations, based on abstract data types, and a part for the description of concurrent processes, based on process calculus. (en) Language Of Temporal Ordering Specification (LOTOS) est un langage de spécification formel basé sur l'ordre temporel des événements. LOTOS est utilisé pour la spécification des protocoles dans les standards ISO OSI. LOTOS est un langage algébrique qui consiste en deux parties : une partie de description des données et des opérations, basé sur des types abstraits de données, et une partie pour la description des processus concurrents, basé sur l'algèbre de processus. (fr) |
| rdfs:label | Language of Temporal Ordering Specification (de) Language Of Temporal Ordering Specification (es) Language Of Temporal Ordering Specification (fr) Language Of Temporal Ordering Specification (en) |
| owl:sameAs | freebase:Language Of Temporal Ordering Specification yago-res:Language Of Temporal Ordering Specification wikidata:Language Of Temporal Ordering Specification dbpedia-de:Language Of Temporal Ordering Specification dbpedia-es:Language Of Temporal Ordering Specification dbpedia-fr:Language Of Temporal Ordering Specification dbpedia-yo:Language Of Temporal Ordering Specification https://global.dbpedia.org/id/janD |
| prov:wasDerivedFrom | wikipedia-en:Language_Of_Temporal_Ordering_Specification?oldid=1057987310&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Language_Of_Temporal_Ordering_Specification |
| is dbo:wikiPageDisambiguates of | dbr:Lotos |
| is dbo:wikiPageRedirects of | dbr:ISO_8807 dbr:Language_of_temporal_ordering |
| is dbo:wikiPageWikiLink of | dbr:E-LOTOS dbr:List_of_model_checking_tools dbr:Construction_and_Analysis_of_Distributed_Processes dbr:Calculus_of_communicating_systems dbr:Communicating_sequential_processes dbr:Specification_language dbr:Algebraic_data_type dbr:Formal_methods dbr:Formal_specification dbr:List_of_International_Organization_for_Standardization_standards,_8000-9999 dbr:National_Physical_Laboratory_(United_Kingdom) dbr:Process_calculus dbr:Message_Authenticator_Algorithm dbr:ISO_8807 dbr:Lotos dbr:Language_of_temporal_ordering |
| is foaf:primaryTopic of | wikipedia-en:Language_Of_Temporal_Ordering_Specification |