Back to Search
Start Over
TURTLE-P: a UML profile for the formal validation of critical and distributed systems.
- Source :
- Software & Systems Modeling; Dec2006, Vol. 5 Issue 4, p449-466, 18p, 23 Diagrams, 1 Chart
- Publication Year :
- 2006
-
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. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 16191366
- Volume :
- 5
- Issue :
- 4
- Database :
- Complementary Index
- Journal :
- Software & Systems Modeling
- Publication Type :
- Academic Journal
- Accession number :
- 23218073
- Full Text :
- https://doi.org/10.1007/s10270-006-0029-5