Business rule is a statement that are used to specify the allowed/forbidden state of business domain (usually represented in business objects specifications).

( From Eriksson & Penker 2000)

( From Eriksson & Penker 2000) is introducing the complete classification of all possible rules. Should be reviewed

Relation between business activity and business object. Properties introduced by Abadi & Lamport. (pre, post, invariant)

Relation between business event and business activity. Linkage from business events to certain business activities. (This imposes that a part of a formalization stated in business processes result from the event constraints.)

Relation between business objects.

Goes as a requirement to a underlying system (like structure of business objects)

business constraint

[2000, book]

Eriksson, H.-E., & Penker, M. (2000). Business Modeling With UML: Business Patterns at Work. New York, NY, USA: John Wiley and Sons, Inc.

[2006, book]

Allen, P. (2006). Service Orientation: Winning Stratergies and Best Practices. New York, NY, USA: Cambridge University Press.

[1991, article]

Abadi, M., & Lamport, L. (1991). The Existence of Refinement Mappings. Theoretical Computer Science, 82(2), 253-284.