|
33 может быть нарушена. В результате необходим контроль временного упорядочения по ссылкам. Из множества термов представляют интерес подмножества WO' подмножество висячих термов это такие выходные термы, которые в дальнейшем нигде не используются (на них не ссылаются другие термы). Если это множество не пустое, то вернее всего этим термам должны соответствовать термы паспорта специальности. WOWOwe WO': -пЗ WIwi WOw=> WIwi (1Л О Также интересен факт связности для WT подмножество неопределенных термов это термы, не имеющие ссылки. Терм без ссылки можно определить как выходной терм школьной программы: WTWIw е WT : -.3 WOwo WOwo=> WIw (1 •12) При наличии корректных ссылок термов появляется возможность определения связности модулей и дисциплин. Рис. 1.5. Интерпретация связности модулей Связность модулей определяется на основании связности термов. Выбрав два произвольных модуля, можно пересчитать количество согласованных термов, т.е. выходных первого модуля, которые используются во втором модуле. Чем больше таких термов, тем более сильно связны модули. Интерпретация связности модулей приведена на рис. 1.5. Внутри каждой дисциплины можно опередить меру ее внутренней связности и |
92 Каждому выходному терму ставится в соответствие список входных, которые ссылаются на него: \ZWweWO 3 {\\^} : еXVI а Wwi=>Ww (ЗЛ0) Назовем эти термы вторичными. Термы источники и вторичные термы при программировании базы выводятся вместе с идентификаторами модуля (а он единственный в силу 1) и дисциплины (она единственна в силу 2). Отношение термов Отношение на множестве термов представляет собой двудольный граф. • А\Ю являются источниками для \¥1 и непосредственно задаются • с другой стороны \УО определяются через WI (это определяется структурой модуля) \У1=^^0 Если во втором случае всегда выдержана синхронизация по времени (модуль имеет положительный период протяженности), то во втором она может быть нарушена. В результате необходим контроль временного упорядочения по ссылкам. % Из множества термов представляют интерес подмножества \Ю ' -г подмножество висячих термов это такие выходные термы, которые в дальнейшем нигде не используются (на них не ссылаются другие термы). Если это множество не пустое, то вернее всего этим термам должны соответствовать термы требований к специалисту. * 93 : -В WOw=> ТО** (3-11) Также интересен факт связности для WГ подмножество неопределенных термов это термы, не имеющие ссылки. Терм без ссылки можно определить как выходной терм школьной программы: \¥Г\У1№е ТО : а ¥ О и„ МГО№0=> (ЗЛ2) При наличии корректных ссылок термов появляется возможность определения связности модулей и дисциплин. Связность модулей определяется на основании связности термов. Выбрав два произвольных модуля, можно пересчитать количество согласованных термов, т.е. выходных первого модуля, которые используются во втором модуле. Чем больше таких термов, тем более сильно связны модули. Интерпретация связности модулей приведена на рис.3.4. Внутри каждой дисциплины можно опередить меру ее внутренней связности и внешней связности как множество внутренних связей модулей по термам и* внешних. Рис. 3.4. Связность модулей по отношению к связности дисциплин можно рассматривать в аспектах внутренней и внешней связности. Внутренняя связность <1(Х,У) между модулями X и Г определяется величиной: |