Конспект установочных лекций по комплексному курсу Информатика, Теория информации


Формализмы для спецификаций


Cуществует много различных стилей и формализмов для описания требований, данных и алгоритмов которые находят примеyение при проектировании, разработке и aнализе программных систем. Различные формализмы по-разному удовлетворяют общим требованиям к нотации, таким, как:

·

простота чтения и понимания,

·         легкость овладения,

·         мощность (границы возможностей нотации),

·         выполнимость,

·         эффективность выполнения.

Какие веса придать этим критериям, сильно зависит от специфики приложений. В данной главе дадим краткое введение в некоторые основные методы описания и программирования.

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

Абстракция в спецификации

В программировании оказывается полезным различать абстрактные вычислительные структуры

(называемые также абстрактными типами данных) и структуры данных.

При этом, точнее говоря, речь идет исключительно о разных взглядах на типы и на функции, имеющиеся для них в распоряжении.

Абстрактные структуры данных представляют вид доступа для типа s или для семейства типов. При этом устанавливается, какие основные операции имеются в распоряжении для элементов данных этого типа. Для этого в сигнатуре задаются доступные для использования функции и их функциональности. Относительно символов функций делается различие между

·         селекторами для доступа к составным частям элемента данных,

·         функциями опроса для установления определенных свойств данных

·         (дискриминаторы),

·         функциями-конструкторами для построения элементов данных.




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



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