Процедура, рассмотренная под углом зрения своих эффектов, имеет множество результатов. Процедура, рассмотренная под углом зрения своего выполнения, является последовательностью подцелей, непосредственно невыполнимых (последние составляют объект разложения) или выполнимых (примитивные действия), позволяющих реализовать цель. Существуют правила упорядочения в последовательность, отражающие временные ограничения между подцелями. Кроме этого, всякая процедура имеет условия входа, а именно предварительные условия: сделать видимым тот параграф, который надо будет переделать. Помимо всего прочего, процедура имеет условия выхода, а именно, условия остановки, которые включаются при итерациях: например, вычеркивать буквы, одну за другой, пока не будет вычеркнута последняя буква.

Формат описания процедур остается одним и тем же на всех уровнях разложения: это очень важно, потому что обеспечивает большую гомогенность в описании. Итак, процедура — это:

§   предварительные требования (ситуативные);

§   последовательная организация подцелей;

§   постериорные требования (ситуативные).

Семантическая связь объектов устройства

Другим аспектом описания процедур является семантическая сеть тех типов объектов, к которым приложимы данные процедуры. Эта сеть структурирована посредством связи следования, которая является связью включения: Х является чем-то вроде Y, если с Х можно сделать все, что можно сделать с Y. Итак, существуют цели и процедуры, являющиеся более общими, чем другие в том смысле, что их можно приложить к самому большому числу объектов. Это означает, что один класс наследует цели и процедуры, связанные с вышестоящими классами, так же, как это происходит со свойствами в классической семантической сети. Итак, процедуры ведут себя точно так же, как и свойства объектов: класс объектов характеризуется одновременно целями (которые можно достичь), процедурами (которые позволяют реализовать эти цели) и их структурными свойствами. На рисунке 5.1. представлен фрагмент семантической сети, соответствующей знанию эксперта относительно части функций современного текстового редактора.