Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
From LOTOS specifications to distributed implementations
RISE., Swedish ICT, SICS.
1992 (Engelska)Doktorsavhandling, monografi (Övrigt vetenskapligt)
Abstract [en]

This Thesis presents a technique for automatic generation of implementations from their formal LOTOS specifications. The technique focuses on implementations executing in distributed systems where processes communicate by asynchronous message passing. Implementations are specified in an executable subset of LOTOS. Such specifications are translated into implementations that execute supported by a run-time system. Implementations are described in LOTOS. The run-time system contains a distributed synchronizer, which implements a distributed algorithm for process synchronization, including synchronazation with environment. The Implementation techniques is shown to given correct implementations by proving that the distributed synchronizer is testing equivalent to a simple , centrazed synchronizer, and that implementations, together with the centralizid synchronizer, are testing equivalent to their specification. A new proof method, based on induction on transitions, is used for proving testing equivalence. The method is applicable to a subset of non-divergent specifications. Performance and improvements of the distributed algorithm are discussed.

Ort, förlag, år, upplaga, sidor
1992, 1.
Serie
SICS dissertation series, ISSN 1101-1335 ; 06
Nationell ämneskategori
Data- och informationsvetenskap
Identifikatorer
URN: urn:nbn:se:ri:diva-22880OAI: oai:DiVA.org:ri-22880DiVA, id: diva2:1042445
Anmärkning

SICS dissertation series: SICS-D--06.

Tillgänglig från: 2016-10-31 Skapad: 2016-10-31 Senast uppdaterad: 2018-01-14Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Av organisationen
SICS
Data- och informationsvetenskap

Sök vidare utanför DiVA

GoogleGoogle Scholar

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 21 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
v. 2.35.4