Til hovedinnhold
Norsk English

Specifying Policies Using UML Sequence Diagrams - An Evaluation Based on a Case Study

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
Les publikasjonen

Kategori

Rapport

Oppdragsgiver

  • SINTEF AS / 90B22000

Språk

Engelsk

Forfatter(e)

  • Bjørnar Solhaug
  • Dag Elgesem
  • Ketil Stølen

Institusjon(er)

  • SINTEF Digital / Sustainable Communication Technologies

År

2007

Forlag

SINTEF

Hefte nr.

A1230

ISBN

9788214040517

Vis denne publikasjonen hos Cristin