Istituto di Scienza e Tecnologie dell'Informazione     
Gnesi S., Mazzanti F. Mu-ACTL+: A temporal logic for UML Statechart diagrams. The document has been submitted to other: AGILE logic day workshop, Pisa, October 10, 2003, Technical report, 2003.
In the paper we present the use of UML statecharts for the design and the specification of the dynamic behavior of a system. We show that the possible system evolutions can be formally represented as a Double Labelled Transition System and present a temporal logic which allows both to specify the basic properties that a configuration should satisfy, and to combine these basic predicates with advanced logic or temporal operators.
Subject Temporal logic
mu calculus
branching time
F.3.1 Specifying and Verifying and Reasoning about Programs

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional