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*.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Alur, R., Dill, D.L.: A Theory of Timed Automata. Theoretical Computer Science 126, 183–235 (1994). Elsevier
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)
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)
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)
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
Léonard, L., Leduc, G.: A Formal Definition of Time in LOTOS - Extended Abstract. Formal Aspects of Computing 10, 248–266 (1998). BCS
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)
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)
Saïdouni, D.E., Belala, N.: Actions duration in timed models. In: International Arab Conference on Information Technology. Yarmouk University, Irbid, December 2006
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)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights 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)