Abstract
This paper presents a first attempt to embed a restricted version of SDL as a target language in Focus. Brief introductions to both Focus and SDL are given, and it is shown how both methods can be assigned a denotational semantics based on streams and stream processing functions. A set of Focus specifications, referred to as F-SDL, is characterized whose elements structurally and semantically match SDL specifications to such a degree that an automatic translation is almost straightforward. Finally it is outlined how Focus can be used to develop an SDL specification of a protocol.
This work is supported by the Sonderforschungsbereich 342 “Werkzeuge und Methoden für die Nutzung paralleler Rechnerarchitekturen”.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T. F. Gritzner, and R. Weber. The design of distributed systems — an introduction to Focus. Technical Report SFB 342/2/92 A, Technische Universität München, 1992.
M. Broy and K. Stolen. Specification and refinement of finite dataflow networks — a relational approach. In H. Langmaack, W.-P. de Roever, and J. Vytopil, editors, Proc. FTRTFT’9.4, Lecture Notes in Computer Science 863, pages 247–267, 1994.
ITU-TSS, editor. Functional Specification and Description Language (SDL), Recommendation Z.100. International Telecommunication Union, Geneva, 1993.
F. Dederichs. Transformation verteilter Systeme: Von applikativen zu prozeduralen Darstellungen. PhD thesis, Technische Universität München, 1992. Also available as SFB-report 342/17/92 A, Technische Universität München.
M. Broy. Towards a formal foundation of the specification and description language SDL. Formal Aspects of Computing, 3: 21–57, 1991.
F. Belina, D. Hogrefe, and A. Sarma. SDL with Applications from Protocol Specification. Prentice Hall, 1991.
E. Holz and K. Stolen. An attempt to embed a restricted version of SDL as a target language in Focus. Technical Report SFB 342/11/94 A, Technische Universität München, 1994.
V. Stenning. A data transfer protocol. Computer Networks, 1: 98–110, 1976.
J. Fischer, E. Holz, M. van Löwis, and D. Witaszek. A run time library for the simulation of SDL’92-specifications. In 0. Fwrgemand and A. Sarma, editors, Proc. 6’th SDL Forum, pages 105–118. North-Holland, 1993.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Holz, E., Stølen, K. (1995). An Attempt to Embed a Restricted Version of SDL as a Target Language in Focus. In: Hogrefe, D., Leue, S. (eds) Formal Description Techniques VII. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34878-0_26
Download citation
DOI: https://doi.org/10.1007/978-0-387-34878-0_26
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2881-0
Online ISBN: 978-0-387-34878-0
eBook Packages: Springer Book Archive