Interpretation of DD-LOTOS Specification by C-DATA*. Messaoud, M. T., Eddine, S. D., Rafik, M., & Hichem, H. In Morzy, T., Valduriez, P., & 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},
}

Downloads: 0