НАЛИЧИЕНЕОБХОДИМЫЕ ВЫСКАЗЫВАНИЯ
Е1. Проблемная область связана с регистрацией автомобилей и
ограничена сферой интересов Органа Регистрации.
Е2. Каждый изготовитель автомобилей имеет уникальное имя.
*3. Новые изготовители автомобилей могут начать производство
при условии, что они имеют разрешение Органа Регистрации.
*4. Орган Регистрации не может отменить разрешение.
*5. Одновременно могут работать не более пяти автономных
изготовителей.
*6. Изготовитель может прекратить работу при условии, что он
больше не владеет автомобилями.
Е7. Каждый изготовитель автомобилей производит автомобили
нескольких моделей.
Е8. Автомобиль относится к определенной модели.
*9. Изготовитель автомобилей присваивает серийный номер
каждому выпускаемому автомобилю.
*10. Этот серийный номер является уникальным для всех
автомобилей одного изготовителя.
*11. Вновь произведенный автомобиль регистрируется Органом
Регистрации, как только это окажется возможным.
(Е)12. В этот момент автомобиль регистрируется как принадлежащий
изготовителю. Поэтому первым владельцем автомобиля будет его
изготовитель.
*13. Только Орган Регистрации может назначить регистрационный
номер каждому регистрируемому автомобилю.
(Е)14. Этот регистрационный номер уникален для всех автомобилей в
течение всего времени.
Е15. Автомобиль имеет год выпуска.
*16. Автомобиль может регистрироваться как произведенный в
предыдущем году только в течение января.