Istituto di Scienza e Tecnologie dell'Informazione     
Gnesi S., Mazzanti F. On the fly model checking of communicating UML State Machines. In: Second ACIS International Conference on Software Engineering (Los Angeles, 5-7 May 2004). Proceedings, pp. 331 - 338. Roger Lee, Chisu Wu, Walter Dosch (eds.). ACIS, 2004.
In this paper we present an ``on the fly'' model checker for the verification of the dynamic behavior of UML models seen as a set of communicating state machines. The logic supported by the tool is an extension of the action based branching time temporal logic m-ACTL and has the power of full m-calculus. Early results on the application of this model checker to a case study have been also reported.
Subject UML Statecharts
Model checking
F.3 Logics and Meanings of Programs
D.2.4 Software/Program Verification

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