Specifying Policies Using UML Sequence Diagrams - An Evaluation Based on a Case Study
Research report
Permanent lenke
http://hdl.handle.net/11250/2387891Utgivelsesdato
2007Metadata
Vis full innførselSamlinger
- Publikasjoner fra CRIStin - SINTEF AS [5583]
- SINTEF Digital [2379]
Originalversjon
SINTEF Rapport A1230, 34 p. SINTEF, 2007Sammendrag
This report 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 semantic 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.
Oppdragsgiver: SINTEF
Beskrivelse
-