Skip to main content
SpringerLink
Log in

On rt-lotos and its application to the formal design of multimedia protocols

RT-LOTOS ET SON APPLICATION À LA CONCEPTION FORMELLE DE PROTOCOLES MULTIMÉEDIA

  • Published:
Annales Des Télécommunications Aims and scope Submit manuscript

Abstract

The paper is devoted to the presentation of a new formal description technique rt-Lotos (real-time Lotos) which is a temporal extension of the standard formal description technique Lotos. After a brief introduction to Lotos, the first part of the paper describes the main features of rt-Lotos both informally by means of simple examples and formally by detailing its operational semantics and stating some important properties of the model. The second part of the paper shows the applicability of RT- Lotos for the formal design of multimedia protocols. A design method based on generic and reusable specification building blocks is presented for formalizing an intra-stream synchronization mechanism designed and used within the Cesame project. Several simulation results obtained with rtl (rt-Lotos Laboratory), the tool environment supporting rt-Lotos, are presented for assessing the quality of service of the proposed mechanism.

Résumé

Cet article présente une nouvelle technique de description formelle rt-Lotos (real- time Lotos) qui est une extension temporelle de la technique de description formelle Lotos. Après une brève introduction à Lotos, la première partie de ľ article décrit le modèle rt-Lotos et la deuxième partie montre son applicabilité pour la conception formelle de protocoles multimédia. Une méthode de conception basée sur des modules de spécification réutilisables est présentée pour formaliser un mécanisme de synchronisation intra- flux conÇu et utilisé dans le projet Cesame. Plusieurs résultats de simulation obtenus avec rtl (rt-Lotos Laboratory), ďoutil supportant rt-Lotos, sont présentés pour évaluer la qualité de service du mécanisme proposé.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Bolognesi (T.), Brinksma (E.). Introduction to the ISO specification language Lotos.Computer Networks and ISDN Systems (1987),14, n° l,pp. 25–59.

    Article  Google Scholar 

  2. Bolognesi (T.),Lucidi (F.). Lotos-like process algebras with urgent or timed interactions. In forte’91.IFIP, North-Holland (1992), pp. 249-264.

  3. Courtiat (J.P.), Camargo (M.S. de), Saidouni (D.E.). rt-Lotos: Lotos temporisé pour la spécification de systèmes temps réel. In R. Dssouli, G.v. Bochmann and L. Lévesque, editors.Ingénierie des Protocoles CFIP’93, Hermès, Paris (1993), pp. 427–441.

    Google Scholar 

  4. Courtiat (J.-P.),Oliveira (R.C. de). About time nondeterminism and exception handling in a temporal extension of Lotos. InProtocol Specification, Testing and Verification XIV, Vancouver, Canada (June 1994), Chapman & Hall, pp. 37–52.

  5. Courtiat (J.-P),Oliveira (R.C. de). A reachability analysis of rt-Lotos specifications. InProc. 8th Intern. Confer, on Formal Description Techniques (forte’95), Montreal, Quebec, Canada (Oct. 1995).

  6. Courtiat (J.-P.),Oliveira (R.C. de),Carmo (L.F.R.C). The rt-Lotos formal specification of the conditional delivery mechanism. Information Systems, special issue on Multimedia,Elsevier Science,20, n° 6, pp.521-535.

  7. Courtiat (J.-P.),Oliveira (R.C. de),Carmo (L.F.R.C). Towards a new multimedia synchronization mechanism and its formal specification. InProc. ACM Multimedia’94, San Francisco (Oct. 1994), pp. 133-140.

  8. Dairaine (L.). Techniques de synchronisation pour les communications dans les systèmes haut-débit multimédia.PhD thesis, Université Pierre-et-Marie-Curie, Paris (1994).

    Google Scholar 

  9. Prycker (M. de). Asynchronous transfer mode.Ellis Horwood (1993).

  10. Diaz (M), Pays (G.). The Cesame project: formal design of high speed multimedia cooperative systems.Ann. Telecommunic. (1994),49, n° 5-6, pp. 220–229.

    Google Scholar 

  11. Escobar (J.), Partridge (C), Deutsch (D.). Flow synchronization protocol.IEEE/ACM Trans. Networking (Apr. 1994),2, n° 2, pp. 111–121.

    Article  Google Scholar 

  12. Hoare (C.A.R.). Communicating sequential process.Prentice Hall (1985).

  13. Lotos, a formal description technique based on temporal ordering of observational behavior.ISO Standard 8807 (1988).

  14. Little (T.D.C.),Ghafoor (A.). Multimedia synchronization protocols for broadband integrated services.IEEE JSAC (Dec. 1991),9, n° 9.

  15. Leduc (G.), Léonard (L.). A timed Lotos supporting a dense time domain and including new timed operators. InProc. 5th Intern. Confer, on Formal Description Techniques (forte’92), Lannion, Fr. (Oct. 1992).

  16. Léonard (L.),Leduc (G.). An enhanced version of timed Lotos and its application to a case study. InProc. 6th Intern. Confer, on Formal Description Techniques (forte’93), Boston, Ma (Oct. 1993).

  17. Milner (R.). Communication and concurrency.Prentice Hall (1989).

  18. Sénac (P.), Diaz (M.), Saqui-Sannes (P. de). Toward a formal specification of multimedia synchronization scenarios.Ann. Telecommunic. (1994),49, n° 5-6, pp. 297–314.

    Google Scholar 

  19. Santoso (H.),Dairaine (L.),Fdida (S.),Horlait (E.). Preserving temporal signature: a way to convey time constrained flows. InProc. IEEE Globecom’93, Houston (1993).

  20. Tanenbaum (A. S.). Modern operating systems.Prentice Hall (1992).

Download references

Author information

Authors and Affiliations

  1. laas-cnrs, 7, avenue du Colonel Roche, F-31077, Toulouse Cedex, France

    Jean-Pierre Courtiat & Roberto C. de Oliveira

Authors
  1. Jean-Pierre Courtiat
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Roberto C. de Oliveira
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

This work has been supported by cnet (Grant 92-1B-178) as part of Cesame, a cnet-cnrs collaborative project on High Speed Multimedia Systems. Roberto C. de Oliveira is partly supported by a grant from CNPq/Brazil.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Courtiat, JP., Oliveira, R.C.d. On rt-lotos and its application to the formal design of multimedia protocols. Ann. Télécommun. 50, 888–906 (1995). https://doi.org/10.1007/BF03005245

Download citation

  • Received:

  • Accepted:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF03005245

Key words

Mots clés

Search

Navigation