module Law

A Judgement determines if an Actor (represented by their Roles) are in violation of the given Statute.

A Law defines which Statutes are enforced against specifics Actions.

A Law enforces various Statutes to restrict Actions.

A Law is used to make a Judgement about whether an Action is authorized.

A Law creates a Petition for the Statute enforced against an Action; all other data must be specified.

A Law can have a default Statute to apply against Actions which do not otherwise specify.

To make something permissible by the enforcement of Laws.

A Petition is used to make a Judgement determining if an action would violate a given Statute.

A Regulation is the “lock” which has a matching Permission “key”.

A Regulation accepts a Petition and applies Validations to ensure the request is acceptable.

A Regulation is imposed by various Statutes to restrict Actors from perform actions.

A Statute restricts actions to Actors by enforcing a collection of Permissions.

A Statute is a collection of imposed Regulations with some Compliance rules.

A Statute is enforced by Laws.

A Statute is a collection of imposed Regulations.