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

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Bjornar Solhaug Articles by Dag Elgesem Articles by Ketil Stolen

Eighth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'07)

Bologna, Italy

June 13-June 15

ISBN: 0-7695-2767-1

	ASCII Text	x
	Bjornar Solhaug, Dag Elgesem, Ketil Stolen, "Specifying Policies Using UML Sequence Diagrams--An Evaluation Based on a Case Study," Policies for Distributed Systems and Networks, IEEE International Workshop on, pp. 19-28, Eighth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'07), 2007.

	BibTex	x
	@article{ 10.1109/POLICY.2007.42, author = {Bjornar Solhaug and Dag Elgesem and Ketil Stolen}, title = {Specifying Policies Using UML Sequence Diagrams--An Evaluation Based on a Case Study}, journal ={Policies for Distributed Systems and Networks, IEEE International Workshop on}, volume = {0}, year = {2007}, isbn = {0-7695-2767-1}, pages = {19-28}, doi = {http://doi.ieeecomputersociety.org/10.1109/POLICY.2007.42}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Policies for Distributed Systems and Networks, IEEE International Workshop on TI - Specifying Policies Using UML Sequence Diagrams--An Evaluation Based on a Case Study SN - 0-7695-2767-1 SP19 EP28 A1 - Bjornar Solhaug, A1 - Dag Elgesem, A1 - Ketil Stolen, PY - 2007 KW - null VL - 0 JA - Policies for Distributed Systems and Networks, IEEE International Workshop on ER -

Bjornar Solhaug, University of Bergen, Norway; SINTEF ICT, Norway

Dag Elgesem, University of Bergen, Norway

Ketil Stolen, SINTEF ICT, Norway; University of Oslo, Norway

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/POLICY.2007.42

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.

Citation:

Bjornar Solhaug, Dag Elgesem, Ketil Stolen, "Specifying Policies Using UML Sequence Diagrams--An Evaluation Based on a Case Study," policy, pp.19-28, Eighth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'07), 2007

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.