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

Marketing Automation Platform Marketing Automation Tool