Выполняем курсовые и лабораторные по разным языкам программирования
Подробнее - курсовые и лабораторные на заказ по Delphi Turbo Pascal, Assembler, C, C++, C#, Visual Basic, Java, GPSS, Prolog
Формальный синтаксис
Для чтения любой связи используется следующий синтаксис:
- ¬
¦ должна ¦
Каждая (и любая) СУЩНОСТЬ-A ¦ ¦ описание-связи-1
¦ может ¦
L -
- ¬
¦ ОДНУ И ТОЛЬКО ОДНУ СУЩНОСТЬ-B всегда¦
¦ ¦ (не так ли ?)
¦ ОДНУ И БОЛЕЕ СУЩНОСТЕЙ-B ¦
L -
и в обратном направлении:
- ¬
¦ должна ¦
Каждая (и любая) СУЩНОСТЬ-B ¦ ¦ описание-связи-2
¦ может ¦
L -
- ¬
¦ ОДНУ И ТОЛЬКО ОДНУ СУЩНОСТЬ-A всегда¦
¦ ¦ (не так ли ?)
¦ ОДНУ И БОЛЕЕ СУЩНОСТЕЙ-A ¦
L -
Фразы "и любая" и "всегда" добавляются для придания утвержде-
нию большей строгости. Фраза "не так ли ?" добавляется для про-
верки утверждения.
Если мы прочитаем связь БИЛЕТ/ПАССАЖИР снова, она станет яс-
нее.
Каждый и любой БИЛЕТ должен предназначаться для одного и
только одного ПАССАЖИРА всегда, не так ли ?
Это хороший вопрос, поскольку в данном утверждении предпола-
гается, что компания не продает ни семейных, ни групповых биле-
тов, а также билетов, в которых не упоминается личность пассажи-
ра.
Такое прочтение связей способствует возбуждению у аналитика
сомнений и возражений, в частности по поводу того, всегда ли в
прошлом рассматриваемое утверждение было истинно. При такой пос-
тановке модель может отражать все возникающие вопросы и способс-
твовать их решению путем выбора оптимального проекта системы. Как
оказалось, это может помочь и при возникновении многих проблем,
являющихся следствием отсутствия сомнений, и снизить расходы по
переделке.
