Осуществимость
sergey shishkinОсуществимость задаётся условиями в пунктах 1-5, 11-12 определения алгоритма, которые требуют реализуемости в пространстве:
- (1, 5) локальности множества объектов алгоритма;
- (2) независимого преобразования объектов алгоритма, в случае когда они являются под-объектами внешних к алгоритму макро-объектов;
- (3, 11) выделения инвариантной во времени части алгоритма;
- (4, 12) фиксированного изменения участвующими объектами своих связей и динамических параметров (преобразованиями во взаимодействии согласно эффектности (E) и движениями согласно динамичности (D)).