Paper Info
Title
TURTLE-P: a UML profile for the formal validation of critical and distributed systems.
Abstract
The timed UML and RT-LOTOS environment, or TURTLE for short, extends UML class and activity diagrams with composition and temporal operators. TURTLE is a real-time UML profile with a formal semantics expressed in RT-LOTOS. Further, it is supported by a formal validation toolkit. This paper introduces TURTLE-P, an extended profile no longer restricted to the abstract modeling of distributed systems. Indeed, TURTLE-P addresses the concrete descriptions of communication architectures, including quality of service parameters (delay, jitter, etc.). This new profile enables co-design of hardware and software components with extended UML component and deployment diagrams. Properties of these diagrams can be evaluated and/or validated thanks to the formal semantics given in RT-LOTOS. The application of TURTLE-P is illustrated with a telecommunication satellite system.
Year
DOI
Venue
2006
10.1007/s10270-006-0029-5
Software and Systems Modeling
Keywords
DocType
Volume
formal semantics,real time,distributed system,software component,activity diagram,quality of service
Journal
5
Issue
ISSN
Citations 
4
1619-1374
8
PageRank 
References 
Authors
0.70
9
3
Name
Order
Citations
PageRank
Ludovic Apvrille113622.23
Pierre de Saqui-Sannes213318.91
Ferhat Khendek346764.17