Business Requirements
EU-Rent is a (fictitious) car rental company, used as a case study in the SBVR specification. The business requirements for EU-Rent include the following:
- EU-Rent operates in several countries; in each country it has local areas containing branches
- EU-Rent rents cars to customers from branches; one-way rentals are allowed
- Rentals may be booked in advance or ”walk-in”
- Cars are owned by local areas and stored at branches
- Each car is of a given model;car models are grouped into car groups; all cars in a car group have the same rental tariff
- Cars are serviced at 5.000 miles intervals
- EU-Rent notes ”bad experiences” with drivers (police action, unpaid parking fines, cars damaged or not returned to EU-Rent branches, etc.) and may bar drivers who cause them.

- Business Context for EU-Rent
- Business vocabulary for EU-Rent
- Business rules for EU-Rent
- Common vocabulary for EU-Rent
Diagrams are built with Magic Draw using Caminao stereotypes. They follow the sequence of the SBVR case study and the proposed notation for requirements.
E1. Context
Since architecture is first and foremost constrained by the coupling between supporting systems and their operational environment, requirements must identify anchors.

Given anchored representation of actual cars and locations, the next step is to describe symbolic representations of locations and car movements.
E3. Car Movements

E5. Locations

E6. Car Specifications

Semantics can be better expressed through ontologies, as illustrated with the Caminao Ontological Kernel (CaKe):
Of particular interest for the integrity and consistency of information models is the distinction between structural, functional, and analytical partitions: whereas models are structurally defined by body style and propulsion but created and identified independently, profiles are created and identified through crossed partitions.
E7. Rentals

E8. Rental Categories
