Cтраница 4
Таким образом, обработка баз данных в условиях ИМС / 360 осуществляется довольно просто с помощью оператора вызова подпрограммы с четырьмя типами параметров. На практике программист, работающий с языком ПЛ / 1, осваивает применение операторов обработки баз за две-три недели. Опытный специалист рационально применяет оператор вызова CALL PLITDLI и анализирует код успешности завершения функции, формируемый системой в программной части блока спецификации программы PSB. Внутри обрабатывающей программы объявляется часть блока спецификации программы PSB. Если несколько программ используют одни и те же базы и сегменты, то нет необходимости разрабатывать отдельные спецификации для этих программ. [46]
Последнее обстоятельство лежит в основе тезиса Ковальского, согласно которому человеческие экспертные знания обычно не поддаются полной формализации ( являющейся, в некотором отношении, их заменой), и поэтому нет оснований надеяться, что эти знания будут иметь точную спецификацию, которой они должны соответствовать. Следует, таким образом, ожидать, что процесс введения экспертных знаний в программу для компьютера - в противоположность точной разработке хорошо специфицированных обычных программ - будет протекать посредством проб и ошибок. По мере того как база знаний развивается и к компетентности системы предъявляются новые требования, в нее должны вноситься соответствующие коррективы - точно так же и спецификацию программ возможно потребовалось бы совершенствовать для того, чтобы внести поправки и уточнения и привести ее в соответствие с новыми потребностями. По своей природе логическое программирование более, чем какой-либо другой из существующих вычислительных формализмов, приспособлено для решения задач обнаружения противоречивости ( например, с помощью процедур опровержения) и неполноты ( например, посредством правил вывода по умолчанию) с целью мотивации необходимости усовершенствования экспертной системы, в то время как метаязык логического программирования обеспечивает автоматическое описание критериев и механизмов для этого усовершенствования. [47]
Полная и точная формализованная постановка задачи проверки базируется на техническом описании специализированной ЭВМ и описании ее автокода. При формализованном описании конкретных условий применения отпадает необходимость в задаче отработки и отладки идей [42], что приводит к значительному сокращению числа итераций процесса проверки и вместе с этим снижению трудоемкости задачи проверки. Отсутствие проклятия размерности позволяет, во-первых, рассматривать задачи проверки подготовки как детерминированные и, во-вторых, применить для их решения метод перебора. Места возможного возникновения ошибок определяются по спецификации машинно-зависимых программ, и это позволяет обойтись без одной из самых сложных задач отладки - локализации ошибок. Задача диагностики ошибок упрощается, так как для ее решения можно привлечь дополнительную информацию о том, к какой компоненте адаптируемой кросс-системы относится программа. Очевидно, например, что если обнаружена неправильная работа параметризованной программы, то ошибку следует искать в формализованном описании значений соответствующего параметра конкретных условий применения на языке настройки. [48]
Таким образом, обработка баз данных в условиях ИМС / 360 осуществляется довольно просто с помощью оператора вызова подпрограммы с четырьмя типами параметров. На практике программист, работающий с языком ПЛ / 1, осваивает применение операторов обработки баз за две-три недели. Опытный специалист рационально применяет оператор вызова CALL PLITDLI и анализирует код успешности завершения функции, формируемый системой в программной части блока спецификации программы PSB. Внутри обрабатывающей программы объявляется часть блока спецификации программы PSB. Если несколько программ используют одни и те же базы и сегменты, то нет необходимости разрабатывать отдельные спецификации для этих программ. [49]
Однако просто расписать все пред - и пост-условия) программы явно недостаточно. Чтобы добиться этого, мы будем рассматривать оператор за оператором всю программу, доказывая, что из первого пред-условия следует последнее пост-условие. Так как отношения между первым пред-условием и последним пост-условием характеризуют спецификацию программы, нам фактически надо доказать, что программа будет функционировать в точном соответствии со своей спецификацией. [50]