Specification of Real-Time Systems in UML
Ella Roubtsova, J. van Katwijk, W.J. Toetenel, C.N.A. Pronk, R.C.M. de Rooij · Electronic Notes in Theoretical Computer Science · 2000
We introduce time semantics into UML class and statechart diagrams. This extends the expressiveness of UML for specification of real-time systems and allows to specify verification properties of real-time systems by means of Timed Computation Tree Logic. We furthermore propose a way to collect stereotypes for specification of real-time systems. The approach is illustrated by a case study.