New operators for the TURTLE real-time UML profile

Christophe Lohr; Ludovic Apvrille; Pierre De Saqui-Sannes; Jean Pierre Courtiat

doi:10.1007/978-3-540-39958-2_15

New operators for the TURTLE real-time UML profile

Christophe Lohr, Ludovic Apvrille, Pierre De Saqui-Sannes, Jean Pierre Courtiat

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

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.

Original language	English
Title of host publication	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Editors	Elie Najm, Uwe Nestmann, Perdita Stevens
Publisher	Springer Verlag
Pages	214-228
Number of pages	15
ISBN (Print)	3540204911
DOIs	https://doi.org/10.1007/978-3-540-39958-2_15
Publication status	Published - 1 Jan 2003
Externally published	Yes

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	2884
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

10.1007/978-3-540-39958-2_15

Cite this

Lohr, C., Apvrille, L., De Saqui-Sannes, P., & Courtiat, J. P. (2003). New operators for the TURTLE real-time UML profile. In E. Najm, U. Nestmann, & P. Stevens (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 214-228). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2884). Springer Verlag. https://doi.org/10.1007/978-3-540-39958-2_15

Lohr, Christophe ; Apvrille, Ludovic ; De Saqui-Sannes, Pierre et al. / New operators for the TURTLE real-time UML profile. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). editor / Elie Najm ; Uwe Nestmann ; Perdita Stevens. Springer Verlag, 2003. pp. 214-228 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@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)",

}

Lohr, C, Apvrille, L, De Saqui-Sannes, P & Courtiat, JP 2003, New operators for the TURTLE real-time UML profile. in E Najm, U Nestmann & P Stevens (eds), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2884, Springer Verlag, pp. 214-228. https://doi.org/10.1007/978-3-540-39958-2_15

New operators for the TURTLE real-time UML profile. / Lohr, Christophe; Apvrille, Ludovic; De Saqui-Sannes, Pierre et al.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). ed. / Elie Najm; Uwe Nestmann; Perdita Stevens. Springer Verlag, 2003. p. 214-228 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2884).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

TY - CHAP

T1 - New operators for the TURTLE real-time UML profile

AU - Lohr, Christophe

AU - Apvrille, Ludovic

AU - De Saqui-Sannes, Pierre

AU - Courtiat, Jean Pierre

PY - 2003/1/1

Y1 - 2003/1/1

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-540-39958-2_15

DO - 10.1007/978-3-540-39958-2_15

M3 - Chapter

AN - SCOPUS:0345412608

SN - 3540204911

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 214

EP - 228

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

A2 - Najm, Elie

A2 - Nestmann, Uwe

A2 - Stevens, Perdita

PB - Springer Verlag

ER -

Lohr C, Apvrille L, De Saqui-Sannes P, Courtiat JP. New operators for the TURTLE real-time UML profile. In Najm E, Nestmann U, Stevens P, editors, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2003. p. 214-228. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-39958-2_15

New operators for the TURTLE real-time UML profile

Abstract

Publication series

Access to Document

Fingerprint

Cite this