The Formal description technique Estelle: results of the ESPRIT/SEDOS Project
Of interest to those involved in the design of complex distributed systems, this volume presents papers concerning the Formal Description Technique Estelle. It includes a general survey and technical papers on: the semantics of Estelle, selected application examples, extensions and relationships with Petri nets, verification methods with software prototypes and an implementation support package for edition, simulation and code generation.The SEDOS (Software Environment for the Design of Open Distributed Systems) project was supported by the Commission of the European Communities under the ESPRIT Programme. It was divided into two main tasks, related respectively to the two ISO formal description techniques Estelle and LOTOS, which became international standards in September 1988. Estelle has been developed in close collaboration with the TC97-SC21-WG1 group on Formal Description Techniques of ISO.
1 page matching "Compiler specification and verification" in this book
What people are saying - Write a review
We haven't found any reviews in the usual places.
SEDOS Software Environment for the Design of Open Distributed Systems
General Survey on the Estelle Results
16 other sections not shown
abstract andano architecture associated attach attributed begin end begin output behavior characterized communication communication protocols compiler component computation connection context Courtiat debugger declared defined delay Dembinski denotational semantics denotes domain dynamic environment error Estelle DIS Estelle specification Estelle statements evaluation execution expression external interaction point FDTs FIFO FIFO queue finite set firable Formal Description Technique forone function global situation identifier implementation init initial input INRIA integer interaction point instance Intermediate Form internal interpretation LAAS/CNRS livelock LOTOS messages module body module definition module header module instance module variable nodes North-Holland parameters parent module Pascal Petri nets priority PROLOG protocol data units Protocol Specification prototype rendez-vous mechanism represented SEDOS project sequence Session layer simulation structure subsystem syntax system module systemactivity systemprocess temporal logic transition instance translator Unix values verification