Специализация константности связей
sergey shishkinДалее рассмотрим пример специализации с разграничением по способности некоторого объекта конструкционного алгоритма не изменять свою конструкцию в ходе исполнения.
Для этого выберем из всех конструкционных алгоритмов только те, которые оставляют неизменным хотя бы один из взаимодействующих объектов, но без этого объекта (согласно обусловленности алгоритма) их исполнение невозможно.
Это даст нам две специализации объекта алгоритма: материал и работник.
Работник - это специализированный объект w алгоритма AlgW, который при взаимодействии с другими объектами этого алгоритма обеспечивает его исполнение, при этом сам работник не связан с остальными объектами AlgW в начальном t1 и конечном t2 моменте исполнения.
AlgW(Alg,t1…t2),w∈Alg
∀ t∈{t1,t2}:∀[Linkt(w,Alg\w)]
∃ t∈[t1…t2]:∃[Neart(w,Alg\w)]
Для обозначения факта, что объект \mathrm{obj}_wobjw является работником алгоритма AlgW введем запись WorkerAlgW(objw).
Материал - это специализированное множество объектов M алгоритма AlgM, в котором, в отличие от работника, обязательно происходит изменение связей при исполнении.
AlgM(Alg,t1…t2),M⊂Alg
∃[Link(Mt1)=Algt1∼Algt2Link(Mt2)]
Для обозначения факта, что множество объектов mObjm является материалом алгоритма AlgM введем запись MaterialAlgM(Objm).
Работник может быть представлен примерами:
- ЭВМ — она исполняет программу;
- человек — готовит салат по рецепту;
- фермент — расщепляет жир при контакте;
- цепочка РНК — собирает молекулу белка;
- яблоня преобразует свет, материалы воздуха и почвы в яблоки.
Материал может быть представлен примерами:
- цемент в строительстве здания;
- аминокислоты в построении белка;
- ячейки оперативной памяти при исполнении программы на ЭВМ.