Compositional Refinement of Policies in UML – Exemplified for Access Control
Research report
Permanent lenke
http://hdl.handle.net/11250/2389190Utgivelsesdato
2009Metadata
Vis full innførselSamlinger
- Publikasjoner fra CRIStin - SINTEF AS [5867]
- SINTEF Digital [2536]
Originalversjon
SINTEF Rapport A11359, 33 p. SINTEF , 2009Sammendrag
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.
Beskrivelse
-