View Issue Details

IDProjectCategoryView StatusLast Update
0005873CaseTalk ModelerExpressionspublic2026-08-08 12:43
ReporterMarco Wobben Assigned To 
PrioritynormalSeveritytextReproducibilityhave not tried
Status resolvedResolutionfixed 
Fixed in Version15.0 
Summary0005873: Business rules should say 'Each', because they constrain every instance and not the type
Description

A verbalized rule reads as a statement about a type: "<Student> must occur in <Enrollment>". What the rule actually says is that this holds for every single student, and both ORM and SBVR word it that way, so the rules now open with "Each".

The cardinality rule needed more than that one word. It only binds the instances that occur at all - it does not make taking part obligatory - so "Each <Student> must occur 2 times" would be claiming what the mandatory rule claims. It now carries the qualifying clause:

Each <Student> that occurs in <Enrollment> must occur there exactly 2 times.

"Each" is used only where the subject really is an instance: the cardinality, mandatory and value rules. The identification rule, the combination-is-unique rule, and the subset and subtype rules speak about a type or about a whole set, so they are left as they were.

TagsNo tags attached.
CaseTalk EditionCorporate

Activities

Marco Wobben

Marco Wobben

2026-08-08 12:43

administrator   ~0008808

The rules now read:

Each <Student> that occurs in <Enrollment> must occur there exactly 2 times.
Each <Student> must occur in <Enrollment>.
Each <Grade> must be 'A' or 'B'.

The four shapes of the cardinality rule became complete sentences that a language can word and order freely, because the pieces cannot be assembled in one fixed order for every language - Dutch and German put the verb at the end.

Issue History

Date Modified Username Field Change
2026-08-08 12:42 Marco Wobben New Issue
2026-08-08 12:43 Marco Wobben Note Added: 0008808
2026-08-08 12:43 Marco Wobben Status new => resolved
2026-08-08 12:43 Marco Wobben Resolution open => fixed
2026-08-08 12:43 Marco Wobben Fixed in Version => 15.0