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

Institute of Telematics

Telecom 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.

Original language	English
Title of host publication	Formal Description Techniques VIII: Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995
Editors	Gregor v. Bochmann, Rachida Dssouli, Omar Rafiq
Number of pages	10
Place of Publication	Boston, MA
Publisher	Springer US
Publication date	1996
Pages	339-348
ISBN (Print)	978-1-5041-2958-9
ISBN (Electronic)	978-0-387-34945-9
DOIs	https://doi.org/10.1007/978-0-387-34945-9_25
Publication status	Published - 1996
Event	Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques - Montreal, Canada Duration: 01.10.1995 → 01.10.1995

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Access to Document

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

Cite this

Lallet, E., Fischer, S., & Verdier, J-F. (1996). A new approach for distributing Estelle specifications. In G. V. Bochmann, R. Dssouli, & O. Rafiq (Eds.), Formal Description Techniques VIII: Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995 (pp. 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. editor / Gregor v. Bochmann ; Rachida Dssouli ; Omar Rafiq. Boston, MA : Springer US, 1996. pp. 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 (eds), 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, pp. 339-348, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques
, Montreal, Quebec, Canada, 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. ed. / Gregor v. Bochmann; Rachida Dssouli; Omar Rafiq. Boston, MA: Springer US, 1996. p. 339-348 ( IFIP Advances in Information and Communication Technology).

Research output: Chapters in Books/Reports/Conference Proceedings › Chapter › peer-review

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 J-F. A new approach for distributing Estelle specifications. In Bochmann GV, Dssouli R, Rafiq O, editors, 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. p. 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

Access to Document

Other files and links

Fingerprint

Cite this