Paper Info
Title
Specifying Policies Using UML Sequence Diagrams--An Evaluation Based on a Case Study
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.
Year
DOI
Venue
2007
10.1109/POLICY.2007.42
POLICY
Keywords
Field
DocType
specifying policies,uml sequence diagrams,uml sequence diagram,case study,deontic logic,sequence diagram,policy rule,human readability,policy specification,uml trace semantics,kripke structure,electronic learning,unified modeling language,logic,information security,automatic control,diagrams,formal specification,control systems,management information systems,semantic interpretation
Sequence diagram,Notation,Deontic logic,Programming language,Unified Modeling Language,UML tool,Computer science,Formal specification,Applications of UML,Semantics
Conference
ISBN
Citations 
PageRank 
0-7695-2767-1
4
0.42
References 
Authors
13
3
Name
Order
Citations
PageRank
Bjørnar Solhaug19913.32
Dag Elgesem2122.68
Ketil Stølen366973.05