Policies for Distributed Systems and Networks, IEEE International Workshop on (2007)
June 13, 2007 to June 15, 2007
Dag Elgesem , University of Bergen, Norway
Bjornar Solhaug , University of Bergen, Norway; SINTEF ICT, Norway
Ketil Stolen , SINTEF ICT, Norway; University of Oslo, Norway
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.
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