@inbook{8427b7e56843493d966b89d44c3d4db8,
title = "New operators for the TURTLE real-time UML profile",
abstract = "In a previous paper, we defined TURTLE, a Timed UML and RT-LOTOS Environment which includes a real-time UML profile with a formal semantics given in terms of translation to RT-LOTOS, and a model validation approach based on the RTL toolset. This paper presents an enhanced TURTLE with new composition operators (Invocation, Periodic, Suspend/Resume) and suspendable temporal operators which makes it possible to model scheduling constraints of real-time systems. The proposed extension is formalized in terms of translation to native TURTLE. Thus, we preserve the possibility to use RTL to check a real-time system model against logical and timing errors. A case study illustrates the use of the new operators.",
author = "Christophe Lohr and Ludovic Apvrille and \{De Saqui-Sannes\}, Pierre and Courtiat, \{Jean Pierre\}",
year = "2003",
month = jan,
day = "1",
doi = "10.1007/978-3-540-39958-2\_15",
language = "English",
isbn = "3540204911",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "214--228",
editor = "Elie Najm and Uwe Nestmann and Perdita Stevens",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
}