|
FORMALIZATION
OF UML STATECHARTS FOR Vieri Del Bianco, Luigi Lavazza, Marco Mauri
CEFRIEL Abstract
In this paper we explore the possibility to formalize the part of UML that is more important for the specification of real-time behavior, namely the statecharts. Actually, previous experiences indicated that UML statecharts have to be extended in order to cope with real-time issues. Therefore we aim at a formalization of a suitable extension of UML statecharts. For this purpose we do not develop a new formalism, instead we exploit the Timed Statecharts formalism proposed by Kesten and Pnueli. The contributions of the paper are: the evaluation of the difference between Timed Statecharts and UML (properly extended for modeling real-time issues), a mapping of extended UML statecharts to Timed Statecharts, the application of the proposed approach to a case study. Keywords: Real-time software, formal methods, state machines, statecharts, UML. acrobat text (113KB) © Copyright notice
|