Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
From LOTOS specifications to distributed implementations
RISE, Swedish ICT, SICS.
1992 (English)Doctoral thesis, monograph (Other academic)
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.

Place, publisher, year, edition, pages
1992, 1.
Series
SICS dissertation series, ISSN 1101-1335 ; 06
National Category
Computer and Information Sciences
Identifiers
URN: urn:nbn:se:ri:diva-22880OAI: oai:DiVA.org:ri-22880DiVA, id: diva2:1042445
Note

SICS dissertation series: SICS-D--06.

Available from: 2016-10-31 Created: 2016-10-31 Last updated: 2018-01-14Bibliographically approved

Open Access in DiVA

No full text in DiVA

By organisation
SICS
Computer and Information Sciences

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 14 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
v. 2.33.0