Метод структурного проектирования

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

Объект структурного проектирования - управление. Если управление явно указывается, то рассматривается алгоритм, в противном случае рассматривается запись задания, в котором управление умалчивается.

Причинами появления метода являются:

· рост размеров и сложности записей объектов,

· возрастание уровня требований по точности работы знаний и программ,

· увеличение уровня требований к создаваемым объектам по надежности,

· рост требований к распознаваемости элементов объектов,

· рост требований к обозримости,

· обеспечение методов синтеза объектов.

Рост размеров естествен и связан с ростом возможностей ВМ и расширением сфер их применения. Рост сложности связан с увеличением числа функций, возлагаемых на объекты. Надо учитывать, что в программах общее число ветвлений достигает 30% от длины объекта. Ошибки также являются естественными в больших записях, их поиск и устранение возможны в обозримых объектах. Синтез объектов должен порождать хорошо структурированные объекты, поэтому методы структурирования необходимо находить, изучать и применять. Таково краткое обоснование причин появления метода структурного проектирования.

Сущность метода состоит из выбора малого числа стандартных (проверенных и надёжных) структур и использование их при построении новых структур. Заметим, что конструируемый объект становится доказательным. Для построения хорошо структурированных программ можно использовать такие стандартные структуры, как последовательное выполнение, ветвление и простой цикл по условию. Доказано, что любая, даже плохо структурированная программа, может быть преобразована в хорошо структурированную программу, состоящую из стандартных структур. Эта же утверждение при доказательстве показывает, что любая программа может быть сконструирована из указанных трех стандартных структур. Более того, было установлено, что три стандартные структуры можно свести к одной, которая годится для построения любой программы. Но такая структура теряет наглядность. В последнем абзаце все время упоминается программа. Вместо нее можно подразумевать знаний или запрос. Упоминание программы исторически связано с построением доказательств над программами, лишь затем результаты доказательства были перенесены на знания и запросы.

Дата добавления: 2014-01-05