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

чиненныеобъектысуперобъекта, вошедшеговМО^+ 1 ; нашаге (2/3) включается суперобъектнекоторогопромежуточногорезультата, еслионисвязаныиерархи ческимотношениемклассификации; и, нашаге(2/4) включаетсясуперобъект, связанныйсподчиненнымиотношениямикомпозиции, каждыйизкоторыхвходит вмножествопромежуточныхрезультатов. ПараллельноспостроениемІЛО^ можетсытьпостроеномножествозапускае мыхпроцессовМР(, ,.дляпроцессовмогутбытьиспользованытежеправиладля включенияподчиненныхпроцессовисуперпроцессавМР(, , чтоидляданныхна шагах(2/2), (2/3), (2/4). Планированиерешениязадачиможетосуществлятьсясучетомотношений следования. Приэтомнеобходимымусловиемзапускапроцессаявляетсянетоль коналичиееговходныхданныхвMOl , ноипринадлежностьвсехпредшествую щихемупроцессовMPL : Ѵаі , a^eS (aj & а^еМР^ , Приэтомотношениеследова ния, заданноедлянекоторых aL и , должно"наследоваться" всемиподчи- ненымиимпроцессами: акеѵ( a t) , ае ^(а^)г^> aKeS*( ае). Здесьобобщен ноеотношениеследования S “ можетбытьопределенокак: аке S# (ae). если акеS (ае) или a Ke 4 " ( a t ), a ^ e v ^ a * ) , aJe S ( a j ). Еслидляпроцессов, объектовнаэтапеописаниямоделипредметнойбыли заданыколичественныехарактеристики, впроцессепланированиярешениямогут бытьопределеныхарактеристикиихсуперпроцессовисуперобъектов. Дляявногопредставленияограничений, накладываемыхсоставомиархитек туройаппаратныхсредств, вмоделипроектастроитсяописаниересурсов. Опи сание(спецификация) ресурсовсоздаетсявформедеревадекомпозиции. Семан тикаиерархическихотношений, задаваемыхнадмножествомресурсовЕ, полнос тьюсовпадаетсосмыслом, вкладываемымвотношениятипа ^ и V дляпроцес совиобъектов. ЭлементымножестваЕназываютсяисполнителями. Помимо"вер тикальных" (иерархических) связеймеждуисполнителямиустанавливаются"гори зонтальные" (коммуникационныеотношения): 9 : ег { } > гдее^еg (е^ - множествоисполнителей, откоторых можетприниматьин формацию. Послеописанияструктурыисполнителейосуществляетсяназначениеиспол нителейобъектамипроцессампредметнойобласти: в eL 6j } . Однимизаспектовправильностиназначения, контролируемымвпроцессе статическогоанализа, являетсяналичиекоммуникационныхсвязеймеждуиспол нителем, которомуназначенпроцесс, иисполнителем, которомуназначеноего входноеиливыходноеданное: Vai.,VočL,dt e pln( a L) & Ѵе і,ѳіеб(а1)^ VeJ , ei e e ( d l ) ft e ^ e g ( e t ) , атакже: VaL,VdL,<iiep0Ut ( VeL. e Le 6 ( a L) s, Vei t e,e= e ( U L)8, e Le g ( е Д ЛИТЕРАТУРА 1. ЛИСК0ВE., ГАТЭГДж. Использованиеабстракцийиспецификацийпри разработкепрограмм. Пер. сангл. М., top, 1989, 424 с. 2. ШЕНКР. Обработкаконцептуальнойинформации. ГІер. сангл. М., Наука, 1984, 328 с. 28