Specifying Policies Using UML Sequence Diagrams - An Evaluation Based on a Case Study
Specifying Policies Using UML Sequence Diagrams - An Evaluation Based on a Case Study
Kategori
Rapport
Sammendrag
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
Oppdragsgiver: SINTEF
Oppdragsgiver
- SINTEF AS / 90B22000
Språk
Engelsk
Institusjon(er)
- SINTEF Digital / Software and Service Innovation
År
Forlag
SINTEF
Hefte nr.
A1230
ISBN
9788214040517
Les fulltekst