Four Modal Operators
Business Rules from the organization perspective need four modal operators - obligation, permission, necessity and possibility.
Full Statement
Important note - this is not a request for full alethic or deontic logic, simply for four specific operators.
Organization-oriented business rules are based on obligations that are imposed on an enterprise (from outside and by the enterprise itself). In an organization, obligations are not always met. The automatically-executed rules have to deal with three aspects of obligation:
- • Detecting violations of obligations • Ensuring that the organization is brought back into compliance • (perhaps) Ensuring that appropriate penalties for violation are applied
Logical necessities are needed to define the concepts on which the rules are based.
Position in the DC structure
Requirement
Dependencies
Supports CSF ‘Coverage’
Motivation
This capability would enable organizations to interchange the business rationale (including business policies) for executable rule-sets - useful in persuading organizations of the business applicability of RIF.
Urgency
Not sure if this could be added later or not.
Champions
OMG (Donald Chapin, John Hall); NIST (Ed Barkmeyer)