A new approach for distributing Estelle specifications

E. Lallet; S. Fischer; J.-F. Verdier

doi:10.1007/978-0-387-34945-9_25

A new approach for distributing Estelle specifications

E. Lallet, S. Fischer, J.-F. Verdier

Institut für Telematik

Télécom SudParis

Abstract

Deriving distributed prototypes and implementations from formal specifications is one of the most important aspects of an implementation-oriented language like Estelle. Some tools already exist allowing the generation of distributed programs to be executed on a computer network. All these tools follow the same approach: code in a programming language is directly generated from the specification, compiled and linked with some communication libraries. In this paper, we propose a different approach consisting of first splitting up the specification into as many specifications as there were subsystems in the initial specification. The programming language code will then be generated from all these generated specifications. We show the advantages of this approach. The new method is being integrated into the Estelle Development Toolset. Runtime measurements and comparisons with another Estelle code generator, Pet/Dingo, show its usefulness.

Originalsprache	Englisch
Titel	Formal Description Techniques VIII: Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995
Redakteure/-innen	Gregor v. Bochmann, Rachida Dssouli, Omar Rafiq
Seitenumfang	10
Erscheinungsort	Boston, MA
Herausgeber (Verlag)	Springer US
Erscheinungsdatum	1996
Seiten	339-348
ISBN (Print)	978-1-5041-2958-9
ISBN (elektronisch)	978-0-387-34945-9
DOIs	https://doi.org/10.1007/978-0-387-34945-9_25
Publikationsstatus	Veröffentlicht - 1996
Veranstaltung	Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques - Montreal, Kanada Dauer: 01.10.1995 → 01.10.1995

UN SDGs

Dieser Output leistet einen Beitrag zu folgendem(n) Ziel(en) für nachhaltige Entwicklung

SDG 3 – Gesundheit und Wohlergehen
SDG 9 – Industrie, Innovation und Infrastruktur
SDG 11 – Nachhaltige Städte und Gemeinschaften
SDG 12 – Verantwortungsvoller Konsum und Produktion

Dokumente

10.1007/978-0-387-34945-9_25

Weitere Links

researchgate.net

Zitieren

Lallet, E., Fischer, S., & Verdier, J.-F. (1996). A new approach for distributing Estelle specifications. in G. V. Bochmann, R. Dssouli, & O. Rafiq (Hrsg.), Formal Description Techniques VIII: Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995 (S. 339-348). ( IFIP Advances in Information and Communication Technology). Springer US. https://doi.org/10.1007/978-0-387-34945-9_25

Lallet, E. ; Fischer, S. ; Verdier, J.-F. / A new approach for distributing Estelle specifications. Formal Description Techniques VIII: Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995. Hrsg. / Gregor v. Bochmann ; Rachida Dssouli ; Omar Rafiq. Boston, MA : Springer US, 1996. S. 339-348 ( IFIP Advances in Information and Communication Technology).

@inbook{e3272a0ca9af43539e94659098f46a51,

title = "A new approach for distributing Estelle specifications",

abstract = "Deriving distributed prototypes and implementations from formal specifications is one of the most important aspects of an implementation-oriented language like Estelle. Some tools already exist allowing the generation of distributed programs to be executed on a computer network. All these tools follow the same approach: code in a programming language is directly generated from the specification, compiled and linked with some communication libraries. In this paper, we propose a different approach consisting of first splitting up the specification into as many specifications as there were subsystems in the initial specification. The programming language code will then be generated from all these generated specifications. We show the advantages of this approach. The new method is being integrated into the Estelle Development Toolset. Runtime measurements and comparisons with another Estelle code generator, Pet/Dingo, show its usefulness.",

author = "E. Lallet and S. Fischer and J.-F. Verdier",

year = "1996",

doi = "10.1007/978-0-387-34945-9\_25",

language = "English",

isbn = "978-1-5041-2958-9",

series = " IFIP Advances in Information and Communication Technology",

publisher = "Springer US",

pages = "339--348",

editor = "Bochmann, \{Gregor v.\} and Rachida Dssouli and Omar Rafiq",

booktitle = "Formal Description Techniques VIII: Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995",

note = "Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques <br/> ; Conference date: 01-10-1995 Through 01-10-1995",

}

Lallet, E, Fischer, S & Verdier, J-F 1996, A new approach for distributing Estelle specifications. in GV Bochmann, R Dssouli & O Rafiq (Hrsg.), Formal Description Techniques VIII: Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995. IFIP Advances in Information and Communication Technology, Springer US, Boston, MA, S. 339-348, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques
, Montreal, Quebec, Kanada, 01.10.95. https://doi.org/10.1007/978-0-387-34945-9_25

A new approach for distributing Estelle specifications. / Lallet, E.; Fischer, S.; Verdier, J.-F.
Formal Description Techniques VIII: Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995. Hrsg. / Gregor v. Bochmann; Rachida Dssouli; Omar Rafiq. Boston, MA: Springer US, 1996. S. 339-348 ( IFIP Advances in Information and Communication Technology).

Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Kapitel › Begutachtung

TY - CHAP

T1 - A new approach for distributing Estelle specifications

AU - Lallet, E.

AU - Fischer, S.

AU - Verdier, J.-F.

PY - 1996

Y1 - 1996

N2 - Deriving distributed prototypes and implementations from formal specifications is one of the most important aspects of an implementation-oriented language like Estelle. Some tools already exist allowing the generation of distributed programs to be executed on a computer network. All these tools follow the same approach: code in a programming language is directly generated from the specification, compiled and linked with some communication libraries. In this paper, we propose a different approach consisting of first splitting up the specification into as many specifications as there were subsystems in the initial specification. The programming language code will then be generated from all these generated specifications. We show the advantages of this approach. The new method is being integrated into the Estelle Development Toolset. Runtime measurements and comparisons with another Estelle code generator, Pet/Dingo, show its usefulness.

AB - Deriving distributed prototypes and implementations from formal specifications is one of the most important aspects of an implementation-oriented language like Estelle. Some tools already exist allowing the generation of distributed programs to be executed on a computer network. All these tools follow the same approach: code in a programming language is directly generated from the specification, compiled and linked with some communication libraries. In this paper, we propose a different approach consisting of first splitting up the specification into as many specifications as there were subsystems in the initial specification. The programming language code will then be generated from all these generated specifications. We show the advantages of this approach. The new method is being integrated into the Estelle Development Toolset. Runtime measurements and comparisons with another Estelle code generator, Pet/Dingo, show its usefulness.

UR - https://www.researchgate.net/publication/220703149_A_New_Approach_for_Distributing_Estelle_Specifications

U2 - 10.1007/978-0-387-34945-9_25

DO - 10.1007/978-0-387-34945-9_25

M3 - Chapter

SN - 978-1-5041-2958-9

T3 - IFIP Advances in Information and Communication Technology

SP - 339

EP - 348

BT - Formal Description Techniques VIII: Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995

A2 - Bochmann, Gregor v.

A2 - Dssouli, Rachida

A2 - Rafiq, Omar

PB - Springer US

CY - Boston, MA

T2 - Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques <br/>

Y2 - 1 October 1995 through 1 October 1995

ER -

Lallet E, Fischer S, Verdier JF. A new approach for distributing Estelle specifications. in Bochmann GV, Dssouli R, Rafiq O, Hrsg., Formal Description Techniques VIII: Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995. Boston, MA: Springer US. 1996. S. 339-348. ( IFIP Advances in Information and Communication Technology). doi: 10.1007/978-0-387-34945-9_25

A new approach for distributing Estelle specifications

Abstract

UN SDGs

Dokumente

Weitere Links

Fingerprint

Zitieren