Paper Info
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.
Year
DOI
Venue
2003
10.1007/978-3-540-39958-2_15
Lecture Notes in Computer Science
Keywords
Field
DocType
formal semantics,model validation,composition operator,real time,real time systems
Logical conjunction,Programming language,Unified Modeling Language,Scheduling (computing),Computer science,Activity diagram,Applications of UML,Operator (computer programming),System model,Class diagram
Conference
Volume
ISSN
Citations 
2884
0302-9743
2
PageRank 
References 
Authors
0.50
6
4
Name
Order
Citations
PageRank
Christophe Lohr1357.00
Ludovic Apvrille213622.23
Pierre de Saqui-Sannes313318.91
Jean-Pierre Courtiat421632.68