Title :
Specifying Policies Using UML Sequence Diagrams--An Evaluation Based on a Case Study
Author :
Solhaug, Bjornar ; Elgesem, Dag ; Stolen, Ketil
Author_Institution :
Univ. of Bergen, Bergen
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.
Keywords :
Unified Modeling Language; diagrams; formal specification; Kripke structures; UML sequence diagrams; UML trace semantics; deontic logic; policy rules; policy specification; trace based semantics; Automatic control; Control systems; Electronic learning; Humans; Information security; Logic; Management information systems; Specification languages; Unified modeling language;
Conference_Titel :
Policies for Distributed Systems and Networks, 2007. POLICY '07. Eighth IEEE International Workshop on
Conference_Location :
Bologna
Print_ISBN :
0-7695-2767-1
DOI :
10.1109/POLICY.2007.42
