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

dc.contributor.author	Solhaug, Bjørnar
dc.contributor.author	Elgesem, Dag
dc.contributor.author	Stølen, Ketil
dc.date.accessioned	2016-04-28T09:15:41Z
dc.date.accessioned	2016-04-29T06:47:11Z
dc.date.available	2016-04-28T09:15:41Z
dc.date.available	2016-04-29T06:47:11Z
dc.date.issued	2007
dc.identifier.citation	SINTEF Rapport A1230, 34 p. SINTEF, 2007	nb_NO
dc.identifier.isbn	9788214040517
dc.identifier.uri	http://hdl.handle.net/11250/2387891
dc.description	-	nb_NO
dc.description.abstract	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	nb_NO
dc.language.iso	eng	nb_NO
dc.title	Specifying Policies Using UML Sequence Diagrams - An Evaluation Based on a Case Study	nb_NO
dc.type	Research report	nb_NO
dc.date.updated	2016-04-28T09:15:41Z
dc.identifier.cristin	1267844
dc.relation.project	Stiftelsen SINTEF: 90B22000	nb_NO