Skip to main content
Springer Nature Link
Log in

From layer to layer — object-oriented protocol refinement in kannel

  • Regular Papers
  • Conference paper
  • First Online:
Coordination Languages and Models (COORDINATION 1997)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1282))

Included in the following conference series:

  • 105 Accesses

Abstract

The refinement of communication in protocol engineering is studied by analyzing the relation between a peer-to-peer communication scheme and its service-level counterpart, a characteristic that is well-known in practice but rarely studied in detail. It is shown how an abstract protocol can be developed towards a concrete implementation by gradually refining the abstract messages and the involved state machines, moving systematically from layer to layer over the subject application. The characteristics of the refinement are formalized, and an example is given showing how the method can be applied in practical protocol development. The object-oriented language Kannel is introduced as an advanced tool for protocol engineering providing special support for the refinement technique.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. A.V. Aho, J.D. Ullman: The Theory of Parsing, Translation and Compiling. Volume I:Parsing. Prentice-Hall, 1972.

    Google Scholar 

  2. R.J.R. Back: A Calculus of Refinements for Program Derivations. Acta Informatica 25, 1988, 593–624.

    Article  Google Scholar 

  3. F. Belina, D. Hogrefe: The CCITT Specification and Description Language SDL. Computer Networks and ISDN Systems 16, 4, 1989, 311–341.

    Article  Google Scholar 

  4. T. Bolognesi, E. Brinksma: Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems 14, 1, 1987, 25–59.

    Article  Google Scholar 

  5. S. Budkowski, P. Dembinski: An Introduction to ESTELLE: A Specification Language for Distributed Systems. Computer Networks and ISDN Systems 14, 1, 1987, 3–23.

    Article  Google Scholar 

  6. D. Coleman, F. Hayes, S. Bear: Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design. IEEE Transactions on Software Engineering 18, 1, 1992, 9–18.

    Article  Google Scholar 

  7. E. Cusack: Refinement, Conformance and Inheritance. Formal Aspects of Computing 3, 1991, 129–141.

    Article  Google Scholar 

  8. O. Faergemand, A. Olsen: Introduction to SDL-92. Computer Networks and ISDN Systems 26, 1994, 1143–1167.

    Article  Google Scholar 

  9. P.E. Green, Jr.: Protocol Conversion. IEEE Transactions on Communications 34, 3, 1986, 257–268.

    Article  Google Scholar 

  10. K. Granö, J. Harju, T. Järvinen, T. Larikka, J. Paakki: Object-Oriented Protocol Design and Reuse in Kannel. In: Proc. 21st EUROMICRO Conf. on the Design of Hardware/Software Systems (EUROMICRO'95), Como, Italy, 1995. IEEE Computer Society Press, 1995, 465–472.

    Google Scholar 

  11. K. Granö, J. Harju, J. Paakki, T. Järvinen: Proposal for a Protocol Engineering Language. Technical Reports TR-6, Department of Computer Science and Information Systems, University of Jyväskylä, 1994.

    Google Scholar 

  12. D. Harel, E. Gery: Executable Object Modeling with Statecharts. In: Proc. 18th International Conf. on Software Engineering (ICSE-18), Berlin, Germany, 1996. IEEE Computer Society Press, 1996, 246–257.

    Google Scholar 

  13. D. Harel: Statecharts: A Visual Approach to Complex Systems. Science of Computer Programming 8, 1987, 231–274.

    Article  Google Scholar 

  14. B. Jonsson: On Decomposing and Refining Specifications of Distributed Systems. In: Stepwise Refinement of Distributed Systems. Lecture Notes in Computer Science 430, Springer-Verlag, 1989, 361–385.

    Google Scholar 

  15. J. Lamping: Typing the Specialization Interface. In: Proc. OOPSLA'93, Washington, DC. ACM SIGPLAN Notices 28, 10, 1993, 201–214.

    Google Scholar 

  16. J.D. McGregor, D.M. Dyer: A Note on Inheritance and State Machines. ACM SIGPLAN Notices 18, 4, 1993, 61–69.

    Google Scholar 

  17. B. Meyer: Eiffel — The Language. Prentice-Hall, 1992.

    Google Scholar 

  18. C. Szyperski, S. Omohundro, S. Murer: Engineering a Programming Language: The Type and Class System of Sather. In: J. Gutknecht (ed.): Programming Languages and System Architectures. Lecture Notes in Computer Science 782, Springer-Verlag, 1993, 208–227.

    Google Scholar 

  19. D. Steedman: ASNA — Tutorial & Reference. Technology Appraisals Ltd., 1990.

    Google Scholar 

  20. S.R. Thatté: Automated Synthesis of Interface Adapters for Reusable Classes. In: Conf. Record 21 st ACM SIGACT-SIGPLAN Symp. on Principles of Programming Languages (POPL'94), Portland, Oregon, 1994, 174–187.

    Google Scholar 

  21. P. Wegner, S.B. Zdonik: Inheritance as an Incremental Modification Mechanism or What Like Is and Isn't Like. In: Proc. Second European Conf. on Object-Oriented Programming (ECOOP'88), Oslo, Norway, 1988. Lecture Notes in Computer Science 322, Springer-Verlag, 1988, 55–77.

    Google Scholar 

  22. D.M. Yellin, R.E. Strom: Interfaces, Protocols, and the Semi-Automatic Construction of Software Adaptors. In: Proc. OOPSLA'94, Portland, Oregon. ACM SIGPLAN Notices 29, 10, 1994, 176–190.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Helsinki, P.O.Box 26, FIN-00014, Finland

    Kari Granō & Jukka Paakki

Authors
  1. Kari Granō
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jukka Paakki
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

David Garlan Daniel Le Métayer

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Granō, K., Paakki, J. (1997). From layer to layer — object-oriented protocol refinement in kannel. In: Garlan, D., Le Métayer, D. (eds) Coordination Languages and Models. COORDINATION 1997. Lecture Notes in Computer Science, vol 1282. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63383-9_91

Download citation

  • DOI: https://doi.org/10.1007/3-540-63383-9_91

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63383-9

  • Online ISBN: 978-3-540-69527-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics