flowchart TD
  accTitle: ASILO：在作用点授权
  accDescr: 请求按顺序经过四项检查：按配置验证身份，输入符合契约，对资源、操作与上下文的授权，以及所要求的附加控制。任何否定回答都会拒绝请求且不产生效果；全部满足时在作用点执行。两种情况下都会记录结果与观察到的影响。
  P["请求"] --> I{"身份已按配置验证？"}
  I -->|"是"| V{"输入符合契约？"}
  I -->|"否"| R["拒绝，不产生所请求的效果"]
  V -->|"是"| A{"资源、操作与上下文已获授权？"}
  V -->|"否"| R
  A -->|"否"| R
  A -->|"是"| H{"所要求的附加控制已满足？"}
  H -->|"否"| R
  H -->|"是"| E["在作用点执行"]
  E --> L["记录结果与观察到的影响"]
  R --> L