Abstract
Deontic STAIRS is an extention of the sequence diagram notation customized for the specification of policy rules. Each rule is in the form of a conditional permission, obligation or prohibition. The presentation is an example-based introduction to Deontic STAIRS, and we also explain the notions of policy adherence and policy refinement which are supported by the approach.
