Skip to main content
SpringerLink
Log in
Book cover

East European Conference on Advances in Databases and Information Systems

ADBIS 2015: New Trends in Databases and Information Systems pp 414–423Cite as

Interpretation of DD-LOTOS Specification by C-DATA*

  • Conference paper
  • First Online:

  • 1239 Accesses

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 539))

Abstract

The DD-LOTOS language is defined for the formal specification of distributed real-time systems. The peculiarity of this language compared to existing languages is its taken into account of the distributed aspect of real-time systems. DD-LOTOS has been defined on a semantic model of true concurrency ie the semantics of maximality. Our work focuses on the translation of DD-LOTOS specifications to an adequate semantic model. The destination model is a communicating timed automaton with durations of actions, temporal constraints and supports communication between localities; this model is called C-DATA*.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alur, R., Dill, D.L.: A Theory of Timed Automata. Theoretical Computer Science 126, 183–235 (1994). Elsevier

    Article  MathSciNet  MATH  Google Scholar 

  2. Belala, N., Saïdouni, D.E.: Non-Atomicity in Timed Models, International Arab Conference on Information Technology, Al-Isra Private University, Jordan, LIRE Laboratory, University of Mentouri, 25000 Constantine, Algeria (December 2005)

    Google Scholar 

  3. Bolognesi, T., Lucidi, F.: LOTOS-like process algebras with urgent or timed interactions. In: Parker, K.R., Rose, G.A. (eds.) FORTE. IFIP Transactions, vol. C-2, pp. 249–264. North-Holland (1991)

    Google Scholar 

  4. Courtiat, J.P., de Oliveira, R.C.: On RT-LOTOS and its Application to the Formal Design of Multimedia Protocols. Annals of Telecommunications 50, 11–12 (1995)

    Google Scholar 

  5. Courtiat, J.P., Santos, C.A.S., Lohr, C., Outtaj, B.: Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique. Computer Communications 23, 1104–1123 (2000). Elsevier

    Article  Google Scholar 

  6. Léonard, L., Leduc, G.: A Formal Definition of Time in LOTOS - Extended Abstract. Formal Aspects of Computing 10, 248–266 (1998). BCS

    Article  MATH  Google Scholar 

  7. Maarouk, T.M., Saïdouni, D.E., Khergag, M.: DD-LOTOS : a distributed real time language. In: Proceedings 2nd Annual International Conference on Advances in Distributed and Parallel Computing, Special Track: Real Time and Embedded Systems, pp. 45–50. Singapore (2011)

    Google Scholar 

  8. Maarouk, T.M.: Modèles formels pour la conception des systèmes temps réel, thèse de Doctorat. Laboratoire MISC, Constantine, Algérie (2012)

    Google Scholar 

  9. Saïdouni, D.E., Belala, N.: Actions duration in timed models. In: International Arab Conference on Information Technology. Yarmouk University, Irbid, December 2006

    Google Scholar 

  10. Saïdouni, D.E., Courtiat, J.P.: Prise En Compte Des Durées D’action Dans Les Algèbres deProcessus Par L’utilisation de la Sémantique de Maximalité. Ingénierie des Protocoles, Hermes (2003)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of ST, ICOSI Lab, University Khenchela, BP 1252 EL Houria, 40004, Khenchela, Algeria

    Maarouk Toufik Messaoud, Mahdaoui Rafik & Houassi Hichem

  2. Faculty of NTIC, MISC Lab, Univ Constantine 2, Constantine, Algeria

    Saidouni Djamel Eddine

Authors
  1. Maarouk Toufik Messaoud
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Saidouni Djamel Eddine
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Mahdaoui Rafik
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Houassi Hichem
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Maarouk Toufik Messaoud .

Editor information

Editors and Affiliations

  1. Poznan University of Technology, Poznan, Poland

    Tadeusz Morzy

  2. INRIA, Montpellier, France

    Patrick Valduriez

  3. National Engineering School for Mechanics and Aerotechnics, Poitiers, France

    Ladjel Bellatreche

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Messaoud, M.T., Eddine, S.D., Rafik, M., Hichem, H. (2015). Interpretation of DD-LOTOS Specification by C-DATA*. In: Morzy, T., Valduriez, P., Bellatreche, L. (eds) New Trends in Databases and Information Systems. ADBIS 2015. Communications in Computer and Information Science, vol 539. Springer, Cham. https://doi.org/10.1007/978-3-319-23201-0_42

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-23201-0_42

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-23200-3

  • Online ISBN: 978-3-319-23201-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation