Методы и средства вычислительного эксперимента / Акад. наук СССР, КНЦ, Ин-т информатики и мат. моделирования технолог. процессов. – Апатиты : Кольский научный центр АН СССР, 1990.

Здесь{di} - совокупностьвходныхобъектовпроцессаaL , а| o/jj - множест вовыходных. Свычислительнойточкизренияпроцесс aL можетбытьзапущен приусловииналичиявсехвходныхданныхиз|dL результатомработыпроцесса являетсяпорождениесовокупностивыходныхданныхjc/jj Последниедватипаотношенийвмодели: S и F используютсядлядирек тивногозадания, последовательности, вкотороймогутвыполнятьсяпроцессы ( S ), исвязыванияпроцессовиобъектовсихатрибутами( F ). Необходимость вдирективномопределениипорядкаследованияпроцессов возникаетвслучаенеполнотыпредставлениязнанийопричинно-следственных связяхразвитиясобытийвпредметнойобласти(неполногоописанияинформацион ныхпотоков). Спомощьюотношения: S : а,— I Э;} устанавливаетсямножество {в/}* включающеепроцессы, выполнениюкоторыхне можетпредшествоватьзапуск д-і Атрибуты(С) являютсяобъектамимоделитретьеготипа. Иерархическиеот ношениямеждуатрибутами, описывающиесоставныеатрибуты, либоихклассифи кацию, незадаются, приэтомсчитается, чтоониполностьюсовпадаютссоот ветствующимидляобъектовилипроцессов(в зависимостиотпринадлежностиат рибутов). Скаждымобъектоммоделисвязываютсяимиобъектаиимятипа. Именаобъ ектовипроцессовдолжныбытьуникальны. Аппараттиповиспользуетсяприана лизекорректностимодели, атакжедляуменьшенияобъемаописания. Вслучае, еслиоднотипныеобъектывстречаютсявразличныхветвяхдеревадекомпозиции, достаточноописатьструктуруобъектаодинраз(воднойизветвей). Дляобъектовтипообразующимипризнакамиявляютсяимятипа, типотноше ниядекомпозиции, количествоитипиподчиненныхобъектов(вмоделииспользу етсяименнаятипизация). Пусть t ( имятипаобъектас/,^ , a i(^(dj_)} - множествоиментиповобъектов, подчиненных dL . Дваобъекта и dj будут объектамиодногоитогожетипа, тогдаитолькотогда, когдаt(a^)= і(о^) (совпадаютименатипов dL и dj ),ia (совпадаюттипыотноше нийдекомпозиции) и і ( l({[d^)) (совпадаютчислоитипыподчиненных), или с \[dL)=0 илиcj,(dj)=0 (одинизобъектовнеимеетподчиненных). Допущениевозможностиотсутствияподчиненныхуодногоизобъектов( dL или dt илиобоихвместе) обеспечиваеткорректностьмодели, декомпозицияко торойбылаприостановлена, либовкоторойиспользуютсясокращенныеописания. Привыделении типообразующихпризнаковпроцессовследуетучитыватьих "смысл". Однотипныепроцессыдолжныиспользоватьодниитежеданныеивыда ватьодинаковыерезультаты. Двапроцесса a L и aj являютсяпроцессамиодно гои тогожетипатогдаитолькотогда, когда i (a[)=t(aj) , = t 4 (a>), i (v ( a L ) H ( v ( a il)), или ч( a t ) = р ИДИ ч( а, , атакже t(P[n(aj,))=-t(Pi.n(aj)) (совпадаютмножестватиповвходныхданных) и ^ (Pout (й.jj= t (Pout (a/))(совпадаютмножестватиповрезультатов). Статистическийанализмоделипредметнойобластивключаетконтрольти повипроцедурыобнаруженияпротиворечийвструктурахопределенныхотношений. Условиекорректноститиповвмоделидляобъектовможетбытьзаписанов форме: vd L, .i (dL )=t (c£j) =t>tч (с i i>tq (d j) * 26