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.
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.
Sprache
Verlagsort
Verlagsgruppe
Elsevier Science & Technology
Zielgruppe
Für höhere Schule und Studium
Für Beruf und Forschung
Illustrationen
Maße
ISBN-13
978-0-444-87132-9 (9780444871329)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Klassifikation
SEDOS. SEDOS, Software Environment for the Design of Open Distributed Systems (M. Diaz, C.A. Vissers, J.-P. Ansart). Estelle . General Survey of the Estelle Results (J.-P. Ansart et al.). Specification Language Estelle (P. Dembinski, S. Budkowski). Estelle Semantics (P. Dembinski). Estelle and Petri Nets (J.-P. Courtiat). A Petri Net Based Semantics for Estelle (J.-P. Courtiat). Introducing a Rendez-Vous Mechanism in Estelle: Estelle* (J.-P. Courtiat). Descriptions. A Transport Protocol (V. Chari). Estelle Description of the ISO Session Protocol (P. Mondain-Monval). Verification. Estelle Validation and PROLOG Interpreted Petri Nets (P. Azema et al.). The EVA Tool: An Approach to Verify Structuring in Estelle Specification (A. Coen, A. Lombardo, S. Palazzo). Implementation Tools. The Estelle Translator (V. Chari, J.-F. Lenotre, E. Mariani). Rapid Prototyping of an Estelle Simulator: ESTIM (P. de Saqui-Sannes, J.-P. Courtiat). An Estelle Simulator Debugger Tool (V. Chari et al.). A Generator of C-Code for Estelle (J.-L. Richard, T. Claes). SEDOS Estelle Demonstrator. Presentation of the SEDOS Estelle Demonstrator Project (J.M. Ayache et al.).
