The Community for Technology Leaders
Policies for Distributed Systems and Networks, IEEE International Workshop on (2007)
Bologna, Italy
June 13, 2007 to June 15, 2007
ISBN: 0-7695-2767-1
pp: 19-28
Dag Elgesem , University of Bergen, Norway
Bjornar Solhaug , University of Bergen, Norway; SINTEF ICT, Norway
Ketil Stolen , SINTEF ICT, Norway; University of Oslo, Norway
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.
INDEX TERMS
null
CITATION
Dag Elgesem, Bjornar Solhaug, Ketil Stolen, "Specifying Policies Using UML Sequence Diagrams--An Evaluation Based on a Case Study", Policies for Distributed Systems and Networks, IEEE International Workshop on, vol. 00, no. , pp. 19-28, 2007, doi:10.1109/POLICY.2007.42
91 ms
(Ver )