Interpretation of DD-LOTOS Specification by C-DATA*. Messaoud, M. T.; Eddine, S. D.; Rafik, M.; and Hichem, H. In Morzy, T.; Valduriez, P.; and Bellatreche, L., editors, New Trends in Databases and Information Systems, pages 414–423, Cham, 2015. Springer International Publishing. abstract bibtex 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*.
@inproceedings{messaoud_interpretation_2015,
address = {Cham},
title = {Interpretation of {DD}-{LOTOS} {Specification} by {C}-{DATA}*},
isbn = {978-3-319-23201-0},
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*.},
booktitle = {New {Trends} in {Databases} and {Information} {Systems}},
publisher = {Springer International Publishing},
author = {Messaoud, Maarouk Toufik and Eddine, Saidouni Djamel and Rafik, Mahdaoui and Hichem, Houassi},
editor = {Morzy, Tadeusz and Valduriez, Patrick and Bellatreche, Ladjel},
year = {2015},
pages = {414--423},
}