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
{"_id":"z57Si74zBNz7wHgEz","bibbaseid":"messaoud-eddine-rafik-hichem-interpretationofddlotosspecificationbycdata-2015","downloads":0,"creationDate":"2018-04-04T10:13:44.663Z","title":"Interpretation of DD-LOTOS Specification by C-DATA*","author_short":["Messaoud, M. T.","Eddine, S. D.","Rafik, M.","Hichem, H."],"year":2015,"bibtype":"inproceedings","biburl":"https://api.zotero.org/groups/2158912/items?key=v9g3JsDHm0AINYlkHTBYHdpA&format=bibtex&limit=100","bibdata":{"bibtype":"inproceedings","type":"inproceedings","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":[{"propositions":[],"lastnames":["Messaoud"],"firstnames":["Maarouk","Toufik"],"suffixes":[]},{"propositions":[],"lastnames":["Eddine"],"firstnames":["Saidouni","Djamel"],"suffixes":[]},{"propositions":[],"lastnames":["Rafik"],"firstnames":["Mahdaoui"],"suffixes":[]},{"propositions":[],"lastnames":["Hichem"],"firstnames":["Houassi"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Morzy"],"firstnames":["Tadeusz"],"suffixes":[]},{"propositions":[],"lastnames":["Valduriez"],"firstnames":["Patrick"],"suffixes":[]},{"propositions":[],"lastnames":["Bellatreche"],"firstnames":["Ladjel"],"suffixes":[]}],"year":"2015","pages":"414–423","bibtex":"@inproceedings{messaoud_interpretation_2015,\n\taddress = {Cham},\n\ttitle = {Interpretation of {DD}-{LOTOS} {Specification} by {C}-{DATA}*},\n\tisbn = {978-3-319-23201-0},\n\tabstract = {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*.},\n\tbooktitle = {New {Trends} in {Databases} and {Information} {Systems}},\n\tpublisher = {Springer International Publishing},\n\tauthor = {Messaoud, Maarouk Toufik and Eddine, Saidouni Djamel and Rafik, Mahdaoui and Hichem, Houassi},\n\teditor = {Morzy, Tadeusz and Valduriez, Patrick and Bellatreche, Ladjel},\n\tyear = {2015},\n\tpages = {414--423},\n}\n\n","author_short":["Messaoud, M. T.","Eddine, S. D.","Rafik, M.","Hichem, H."],"editor_short":["Morzy, T.","Valduriez, P.","Bellatreche, L."],"key":"messaoud_interpretation_2015","id":"messaoud_interpretation_2015","bibbaseid":"messaoud-eddine-rafik-hichem-interpretationofddlotosspecificationbycdata-2015","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"search_terms":["interpretation","lotos","specification","data","messaoud","eddine","rafik","hichem"],"keywords":[],"authorIDs":[],"dataSources":["o6H2FdNemGj2A9Rsq","YCBcQPneB9oxahSnp"]}