Abstract
The UML is the de facto standard for system specification, but offers little specialized support for the specification and analysis of policies. This paper presents Deontic STAIRS, an extension of the UML sequence diagram notation with customized constructs for policy specification. The notation is underpinned by a denotational trace semantics. We formally define what it means that a system satisfies a policy specification, and introduce a notion of policy refinement. We prove that the refinement relation is transitive and compositional, thus supporting a stepwise and modular specification process. The approach is exemplified with access control policies. © 2008 Springer Berlin Heidelberg.
Author supplied keywords
Cite
CITATION STYLE
Solhaug, B., & Stølen, K. (2008). Compositional refinement of policies in UML - Exemplified for access control. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5283 LNCS, pp. 300–316). Springer Verlag. https://doi.org/10.1007/978-3-540-88313-5_20
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
