Specifying Policies Using UML Sequence Diagrams--An Evaluation Based on a Case Study

Authors:
Bjornar Solhaug;Dag Elgesem;Ketil Stolen
Affiliations:
University of Bergen, Norway/ SINTEF ICT, Norway;University of Bergen, Norway;SINTEF ICT, Norway/ University of Oslo, Norway
Venue:
POLICY '07 Proceedings of the Eighth IEEE International Workshop on Policies for Distributed Systems and Networks
Year:
2007

Citing 0
Cited 2

Compositional Refinement of Policies in UML --- Exemplified for Access Control

ESORICS '08 Proceedings of the 13th European Symposium on Research in Computer Security: Computer Security
Monitor petri nets for security monitoring

Proceedings of the International Workshop on Security and Dependability for Resource Constrained Embedded Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper provides a case study based evaluation of UML sequence diagrams as a notation for policy specification. Policy rules are defined on the basis of deontic logic and provided a trace based semantics interpreted over Kripke structures. This gives a semantics comparable to the UML trace semantics for sequence diagrams, which is utilized in the evaluation. The focus is on requirements with respect to expressivity, utility and human readability.