Похожее соображение относится и к свойствам-связям: при создании таких свойств каждый раз необходимо принимать решение, можно ли обойтись свойством, или необходимо создавать специальный объект для выражения связи. Вариант с объектом более универсален, но менее удобен при выполнении логических вычислений. Например, утверждение о том, что собака сторожит подозреваемого, может быть выражено как прямой связью между этими объектами, так и при помощи дополнительной сущности – такой, как экземпляр класса «Выполнение функции»: один объект (собака) выполняет определенную функцию (сторожит) по отношению к другому объекту (человек, выступающий в роли подозреваемого). Это позволит, например, определить интервал времени, в течение которого выполняется функция, а также сообщить информацию о том, что стало причиной такого поведения собаки, и к каким привело последствиям. Использование свойства-связи позволило бы только зафиксировать статическую картину.
Похожее соображение относится и к свойствам-связям: при создании таких свойств каждый раз необходимо принимать решение, можно ли обойтись свойством, или необходимо создавать специальный объект для выражения связи. Вариант с объектом более универсален, но менее удобен при выполнении логических вычислений. Например, утверждение о том, что собака сторожит подозреваемого, может быть выражено как прямой связью между этими объектами, так и при помощи дополнительной сущности – такой, как экземпляр класса «Выполнение функции»: один объект (собака) выполняет определенную функцию (сторожит) по отношению к другому объекту (человек, выступающий в роли подозреваемого). Это позволит, например, определить интервал времени, в течение которого выполняется функция, а также сообщить информацию о том, что стало причиной такого поведения собаки, и к каким привело последствиям. Использование свойства-связи позволило бы только зафиксировать статическую картину.
В рамках рассматриваемой нами методологии моделирования определения и сами свойства могут находиться между собой в тех или иных отношениях, а также обладать характеристиками, позволяющими делать логические выводы. В этой главе мы просто перечислим их, а детально рассмотрим позднее:
- Эквивалентность (например, «длительность» и «продолжительность»).
- Инверсность. Это отношение актуально для двух свойств, выражающих отношения объектов. Например, отношение «является сыном» инверсно отношению «является родителем».
- Разъединенность. Два свойства-связи разъединены, если наличие одной из них исключает наличие другой. Например, свойства «является матерью» и «является дочерью» разъединены, так как А не может одновременно быть и матерью, и дочерью Б.
