Issue 11291: SBVR Annex E minor corrections                                                                                                                                                                          (sbvr-ftf)
Source: Business Rules Group (Mr. John Hall, john.hall@modelsys.com johnhallms@hotmail.com)
Nature: Uncategorized Issue
Severity: 
Summary: In the final read through of Annex E (EU-Rent example) a few errors of content were noticed.
Corrections are given below. 

Revised Text:
E.2.2.1.1: rental car is assigned to car movement
Necessity:
replace "…car movement is of the car model …" 
with "…car movement is of some car model …"
E2.2.1.2: transfer drop-off branch
Definition:
replace "branch from which the transferred car of a car transfer is picked up"
with "branch at which the transferred car of a car transfer is dropped off"
E.2.2.1.5: pick-up branch
Necessity:
replace "The pick-up branch of a rental may not be changed."
with "The pick-up branch of a rental is not changed."
E.2.2.1.5: rental
Definition:
replace "… specifying use of a car of a car group…"
with "… specifying use of some car of a car group…"
E.2.2.1.9 drop-off branch
replace Necessity "A car may be returned to a location other than …"
with Note "A car may be returned to a branch other than …"
E.2.2.1.10 rental car is of car model
Insert new entry immediately following:
rental car is of car group
Concept Type:		associative fact type
Necessity:		A rental car is of a car group if and only if the rental car is of some car model that is included in the car group. 
E.2.2.1.11 renter is responsible for rental
Necessity
Replace "The renter of a rental may not be changed"
With "The renter of a rental is not changed"
E.2.2.2.5 Page 380, second rule
Rule statement
Replace "If the actual pick-up date/time of each rental is after the end date/time …"
With "If the actual return date/time of a rental is after the end date/time …"
Supporting fact types
Replace "rental has actual pick-up date/time"
With "rental has actual return date/time"
Related facts
Delete "the noun concept 'actual pick-up date/time' is a role that ranges over the noun concept 'date/time'"
E.2.2.2.11.2 First rule
Rule statement
Replace "… is provisionally charged to a credit card …"
With "… is provisionally charged to some credit card …"
 
Repeated error in Necessity for inclusion in a segmentation
In several places the Necessity is incorrectly stated as
 "aaa is included in Bbbbbbb" instead of 
"The concept 'aaa' is included in Bbbbbbb". 
For example, in E.2.2.1.3, city branch:
replace "city branch is included in Branches by Type."
with "The concept 'city branch' is included in Branches by Type."
The same change needs to be made for:
E.2.2.1.6 in-country one-way rental
E.2.2.1.6 in-country rental
E.2.2.1.6 international rental
E.2.2.1.6 international inward rental
E.2.2.1.6 international outward rental
E.2.2.1.6 local one-way rental
E.2.2.1.6 round-trip rental
E.2.2.1.6 walk-in rental
E.2.2.1.7 cash rental
E.2.2.1.7 cash rental price
E.2.2.1.7 driver charge
E.2.2.1.7 extras charge
E.2.2.1.7 penalty charge
E.2.2.1.7 points rental
E.2.2.1.7 points rental price
E.2.2.1.11 corporate renter
E.2.2.1.11 individual customer

 
Characteristics used to define states.
There is a mixture of use of the verb form and the gerund form. The verb form seems better for states. The changes are:
Section	Replace	With
E.2.2.1.6	advance rental being assigned	advance rental is assigned
E.2.2.1.6	advance rental being reserved	advance rental is reserved
E.2.2.1.6	rental being returned	rental is returned
E.2.2.1.9	rental being late	rental is late
E.2.2.1.9	rental being overdue	rental is overdue
E.2.2.1.9	rental car being in need of repair	rental car is in need of repair
E.2.2.1.9	rental car being in need of service	rental car is in need of service
E.2.2.1.9	driver being barred	driver is barred

Disposition:	Resolved


Resolution: 
Revised Text: E.1.4, example 3  example 3
Rule statement:
replace ""… driver of a rental is qualified"" 
with ""… driver of a rental is qualified"
E2.2.2.4 - same rule as above
E.2.2.1.1: rental car is assigned to car movement
Necessity:
replace "…car movement is of the car model …" 
with "…car movement is of some car model …"
E2.2.1.2: transfer drop-off branch
Definition:
replace "branch from which the transferred car of a car transfer is picked up"
with "branch at which the transferred car of a car transfer is dropped off"
E.2.2.1.5: pick-up branch
Necessity:
replace "The pick-up branch of a rental may not be changed."
with "The pick-up branch of a rental is not changed."
E.2.2.1.5: rental
Definition:
replace "… specifying use of a car of a car group…"
with "… specifying use of some car of a car group…"
E.2.2.1.9 drop-off branch
replace Necessity "A car may be returned to a location other than …"
with Note "A car may be returned to a branch other than …"
E.2.2.1.10 rental car is of car model
Insert new entry immediately following:
rental car is of car group
Concept Type:		associative fact type
Necessity:		A rental car is of a car group if and only if the rental car is of some car model that is included in the car group. 
E.2.2.1.11 renter is responsible for rental
Necessity
Replace "The renter of a rental may not be changed"
With "The renter of a rental is not changed"
E.2.2.2.5 Page 380, second rule
Rule statement
Replace "If the actual pick-up date/time of each rental is after the end date/time …"
With "If the actual return date/time of a rental is after the end date/time …"
Supporting fact types
Replace "rental has actual pick-up date/time"
With "rental has actual return date/time"
Related facts
Delete "the noun concept 'actual pick-up date/time' is a role that ranges over the noun concept 'date/time'"
Definition:	E.2.2.2.11.2 First rule
Rule statement
Replace "… is provisionally charged to a credit card …"
With "… is provisionally charged to some credit card …"
Repeated error in Necessity for inclusion in a segmentation
In several places the Necessity is incorrectly stated as
 "aaa is included in Bbbbbbb" instead of 
"The concept 'aaa' is included in Bbbbbbb". 
For example, in E.2.2.1.3, city branch:
replace "city branch is included in Branches by Type."
with "The concept 'city branch' is included in Branches by Type."
The same change needs to be made for:
E.2.2.1.6 in-country one-way rental
E.2.2.1.6 in-country rental
E.2.2.1.6 international rental
E.2.2.1.6 international inward rental
E.2.2.1.6 international outward rental
E.2.2.1.6 local one-way rental
E.2.2.1.6 round-trip rental
E.2.2.1.6 walk-in rental
E.2.2.1.7 cash rental
E.2.2.1.7 cash rental price
E.2.2.1.7 driver charge
E.2.2.1.7 extras charge
E.2.2.1.7 penalty charge
E.2.2.1.7 points rental
E.2.2.1.7 points rental price
E.2.2.1.11 corporate renter
E.2.2.1.11 individual customer

 
Characteristics used to define states.
There is a mixture of use of the verb form and the gerund form. The verb form seems better for states. The changes are:
Section	Replace	With
E.2.2.1.6	advance rental being assigned	advance rental is assigned
E.2.2.1.6	advance rental being reserved	advance rental is reserved
E.2.2.1.6	rental being returned	rental is returned
E.2.2.1.9	rental being late	rental is late
E.2.2.1.9	rental being overdue	rental is overdue
E.2.2.1.9	rental car being in need of repair	rental car is in need of repair
E.2.2.1.9	rental car being in need of service	rental car is in need of service
E.2.2.1.9	driver being barred	driver is barred

Actions taken:
August 21, 2007: received issue
January 15, 2008: closed issue
Discussion: 

End of Annotations:=====
sposition: Resolved
OMG Issue No:  ????
Title:	SBVR Annex E minor corrections
Source:
John Hall, BRG <johnhallms@hotmail.com>
Summary:
In the final read through of Annex E (EU-Rent example) a few errors of content were noticed.
Corrections are given below. 

Revised Text:
E.2.2.1.1: rental car is assigned to car movement
Necessity:
replace ..car movement is of the car model .. 
with ..car movement is of some car model ..
E2.2.1.2: transfer drop-off branch
Definition:
replace .branch from which the transferred car of a car transfer is picked up.
with .branch at which the transferred car of a car transfer is dropped off.
E.2.2.1.5: pick-up branch
Necessity:
replace .The pick-up branch of a rental may not be changed..
with .The pick-up branch of a rental is not changed..
E.2.2.1.5: rental
Definition:
replace .. specifying use of a car of a car group..
with .. specifying use of some car of a car group..
E.2.2.1.9 drop-off branch
replace Necessity .A car may be returned to a location other than ..
with Note .A car may be returned to a branch other than ..
E.2.2.1.10 rental car is of car model
Insert new entry immediately following:
rental car is of car group
Concept Type:		associative fact type
Necessity:		A rental car is of a car group if and only if the rental car is of some car model that is included in the car group. 
E.2.2.1.11 renter is responsible for rental
Necessity
Replace .The renter of a rental may not be changed.
With .The renter of a rental is not changed.
E.2.2.2.5 Page 380, second rule
Rule statement
Replace .If the actual pick-up date/time of each rental is after the end date/time ..
With .If the actual return date/time of a rental is after the end date/time ..
Supporting fact types
Replace .rental has actual pick-up date/time.
With .rental has actual return date/time.
Related facts
Delete .the noun concept .actual pick-up date/time. is a role that ranges over the noun concept .date/time..
E.2.2.2.11.2 First rule
Rule statement
Replace .. is provisionally charged to a credit card ..
With .. is provisionally charged to some credit card ..
 
Repeated error in Necessity for inclusion in a segmentation
In several places the Necessity is incorrectly stated as
 .aaa is included in Bbbbbbb. instead of 
.The concept .aaa. is included in Bbbbbbb.. 
For example, in E.2.2.1.3, city branch:
replace .city branch is included in Branches by Type..
with .The concept .city branch. is included in Branches by Type..
The same change needs to be made for:
E.2.2.1.6 in-country one-way rental
E.2.2.1.6 in-country rental
E.2.2.1.6 international rental
E.2.2.1.6 international inward rental
E.2.2.1.6 international outward rental
E.2.2.1.6 local one-way rental
E.2.2.1.6 round-trip rental
E.2.2.1.6 walk-in rental
E.2.2.1.7 cash rental
E.2.2.1.7 cash rental price
E.2.2.1.7 driver charge
E.2.2.1.7 extras charge
E.2.2.1.7 penalty charge
E.2.2.1.7 points rental
E.2.2.1.7 points rental price
E.2.2.1.11 corporate renter
E.2.2.1.11 individual customer

 
Characteristics used to define states.
There is a mixture of use of the verb form and the gerund form. The verb form seems better for states. The changes are:
Section	Replace	With
E.2.2.1.6	advance rental being assigned	advance rental is assigned
E.2.2.1.6	advance rental being reserved	advance rental is reserved
E.2.2.1.6	rental being returned	rental is returned
E.2.2.1.9	rental being late	rental is late
E.2.2.1.9	rental being overdue	rental is overdue
E.2.2.1.9	rental car being in need of repair	rental car is in need of repair
E.2.2.1.9	rental car being in need of service	rental car is in need of service
E.2.2.1.9	driver being barred	driver is barred

Disposition:	Resolved