Advertisement

Abstract

Formal Description Techniques have been widely used for the specification of traditional networked applications. They have not been applied to the specification of new applications such as multimedia systems yet. In this paper, we examine the FDT Estelle with respect to its suitability for multimedia system specification and automatic derivation of efficient implementations. We show that it is possible to specify certain aspects of multimedia systems, but that Estelle is not sufficient for others. The derived implementations often perform badly. We show the reasons and propose to use a slightly modified Estelle syntax and semantics to solve the problems. The implemented solution was tested successfully.

Keywords

Estelle Multimedia Systems Quality of Service Implementation 

References

  1. Blair, G., Blair, L., Bowman, H., and Chetwynd, A. (1993). Formal Support for the Specification and Construction of Distributed Multimedia Systems (The Tempo Project). Technical Report MPG-93–23, Lancaster University.Google Scholar
  2. Blumer, T. P. and Tenney, R. L. (1982). A Formal Specification and Implementation Method for Protocols. Computer Networks, 6: 201–217.Google Scholar
  3. Bochmann, G., Gerber, W., and Serre, J.-M. (1987). Semiautomatic Implementation of Communication Protocols. IEEE Transactions on Software Engineering, SE-13(9): 989–1000.CrossRefGoogle Scholar
  4. Bowman, H., Blair, G., Blair, L., and Chetwynd, A. (1994). Time versus abstraction in formal descriptions. In Tenney, R., Amer, P., and Uyar, M., editors, Formal Description Techniques, VI, pages 467–482. Elsevier Science Publishers B.V. (North-Holland), Amsterdam.Google Scholar
  5. Bredereke, J. and Gotzhein, R. (1994). Increasing the Concurrency in Estelle. In Tenney, R., Amer, P., and Uyar, M., editors, Formal Description Techniques VI, pages 127–141. Elsevier Science Publishers B.V. (North-Holland), Amsterdam.Google Scholar
  6. Budkowski, S. (1992). Estelle Development Toolset. Computer Networks and ISDN Systems, Special Issue on FDT Concepts and Tools, 25 (1).Google Scholar
  7. Danthine, A., Baguette, Y., Leduc, G., and Leonard, L. (1992). The 0SI95 Connection-Mode Transport Service–The Enhanced QoS. In Danthine, A. and Spaniol, O., editors, hpn’92–4th IFIP conference on high performance networking, 14.-18.Dec. 1992, Liège pages El-E18. North Holland.Google Scholar
  8. Dembinski, P. and Budkowski, S. (1987). Simulating Estelle specifications with time parameters. In Rudin, H. and West, C. H., editors, Protocol Specification, Testing, and Verification VII, pages 265–279, Amsterdam. Elsevier Science Publishers B.V. (North-Holland), Amsterdam.Google Scholar
  9. Ferrari, D. (1990). Client Requirements for Real-Time Communication. IEEE Communications Magazine, 28 (11): 65–72.CrossRefGoogle Scholar
  10. Ferrari, D. (1992). Real-Time Communication in an Internetwork. Journal of High Speed Networks, 1 (1): 79–103.Google Scholar
  11. Fischer, S. and Hofmann, B. (1994). An Estelle Compiler for Multiprocessor Platforms. In Tenney, R., Amer, P., and Uyar, M., editors, Formal Description Techniques, VI, pages 171–186. Elsevier Science Publishers B.V. (North-Holland), Amsterdam.Google Scholar
  12. Frank, S., Burkhard, H., and Rothnie, J. (1993). The KSR1: High Performance and Ease of Programming, no longer an Oxymoron. In Meuer, H.-W., editor, Supercomputer ’83, Informatik aktuell, pages 53–70. Springer Verlag, Heidelberg.Google Scholar
  13. Gotzhein, R. (1992). Temporal logic and applications–a tutorial. Computer Networks and ISDN Systems, 24: 203–218.CrossRefzbMATHGoogle Scholar
  14. Hehmann, D., Salmony, M., and Stüttgen, H. J. (1990). Transport services for multi-media applications in broadband networks. Computer Communications, 13 (4): 197–203.CrossRefGoogle Scholar
  15. Held, T. and König, H. (1994). Increasing the Efficiency of Computer-aided Protocol Implementations. In Proceedings PSTV’94, Vancouver.Google Scholar
  16. ISO8807 (1987). Information processing systems - Open Systems Interconnection - LOTOS: Language for the temporal ordering specification of observational behaviour. International Standard ISO 8807.Google Scholar
  17. ISO9074 (1989). Information processing systems - Open Systems Interconnection - Estelle: A formal description technique based on an extended state transition model. International Standard ISO 9074.Google Scholar
  18. Keller, R., Fischer, S., and Effelsberg, W. (1994). Implementing Movie Control, Access and Management - from a Formal Description to Working Multimedia System. In Svobodova, L., editor, Int. Conference on Distributed Computing Systems — ICDCS14, Poznan, Poland. Participants’ Proceedings. IEEE.Google Scholar
  19. Kurose, J. (1993). Open Issues and Challenges in Providing Quality of Service Guarantees. Computer Communication Review, 23 (1).Google Scholar
  20. Léonard, L. and Leduc, G. (1994). An enhanced version of timed LOTOS and its application to a case study. In Tenney, R., Amer, P., and Uyar, M., editors, Formal Description Techniques VI, pages 483–498. Elsevier Science Publishers B.V. (North-Holland), Amsterdam.Google Scholar
  21. Quemada, J. and Fernandez, A. (1987). Introduction of Quantitative Relative Time into LOTOS. In Protocol Specification, Testing and Verification VII, pages 105–121. Elsevier Science Publishers B. V. ( North-Holland ), Amsterdam.Google Scholar
  22. Sidhu, D. P. and Blumer, T. P. (1990). Semi-automatic Implementation of OSI Protocols. Computer Networks and ISDN Systems, 18: 221–238.CrossRefGoogle Scholar
  23. Sijelmassi, R. and Strausser, B. (1993). The PET and DINGO tools for deriving distributed implementations from Estelle. Computer Networks and ISDN Systems, 25 (7): 841–851.CrossRefGoogle Scholar
  24. Vuong, S. T., Lau, A. C., and Chan, R. I. (1988). Semiautomatic Implementation of Protocols Using an Estelle—C Compiler. IEEE Transactions on Software Engineering, 14 (3): 384–393.CrossRefGoogle Scholar

Copyright information

© IFIP International Federation for Information Processing 1996

Authors and Affiliations

  • S. Fischer
    • 1
  1. 1.Praktische Informatik IVUniversity of MannheimMannheimGermany

Personalised recommendations