Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Gnesi S., Montangero C., Semini L. Detecting policy conflicts by model checking UML state machines. vol. X Masahide Nakamura, Stephan Reiff-Marganiec (eds.). Amsterdam: IOS Press, 2009.
Policies are convenient means to modify system behaviour at run-time. Nowadays, policies are created in great numbers by different actors, ranging from system administrators to lay-users. However, this situation may lead naturally to inconsistencies, a problem that has been recognized and termed policy conflict. The adoption of a widely-used notation, with good tool support, to express the policies, can not only support the detection, but also help all the involved actors in understanding and resolving the conflicts. In this respect, a natural candidate is UML due to its current wide use in the industrial practice. In this paper we show how to model check policies expressed in UML to verify whether they are free of conflicts: we define a correspondence between Appel policies and UML state machines and use UMC as a model checker. We validate the approach with examples taken from the literature.
URL: http://www.booksonline.iospress.nl/Content/View.aspx?piid=12328
DOI: http://dx.doi.org/10.3233/978-1-60750-014-8-59
Subject Policy conflict
Model checking
D.2.4 Software/Program Verification. Formal methods
D.2.4 Software/Program Verification. Model checking

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