Объектно-ориентированное программирование


Объектно-ориентированное программирование - стр. 34


 

Описание операций

 

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

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

·         математические формулы;

·         табличные функции: таблицы, сопоставляющие выходные значения входным;

·         уравнения, связывающие входные и выходные значения;

·         аксиоматическое определение операций с помощью пред- и пост-условий;

·         таблицы принятия решений;

·         псевдокод;

·         естественный язык.

Пример описания операции - cпецификация операции изменить_счет (при описании эффекта операции использованы операции отменить_проводку, выдать_запрос, выдать_деньги, дебетовать_счет и кредитовать_счет):

 

          изменить_счет (счет, сумма, вид_проводки) -> деньги, квитанция

 

             если сумма снимается и больше баланса счета,                

 

               то "отменить_проводку"                                    

 

             если сумма снимается и меньше баланса счета,                




Начало  Назад  Вперед



Книжный магазин