ВУЗ:
Составители:
Рубрика:
1. Современные программные средства характеризуются высокой сложностью
выполняемых функций и значительностью объемов исполняемых кодов, при этом к ПС
предъявляются высокие требования по качеству и надежности.
2. За сравнительно небольшой промежуток времени методы и средства разработки
ПС прошли эволюционный путь развития сравнимый, с методами проектирования
сложных технических систем, что обуславливает необходимость обеспечения
максимальной эффективности процессов проектирования, разработки, эксплуатации и
сопровождения ПС на всех этапах жизненного цикла.
3. Актуальным направлением сокращения сроков проектирования, разработки,
модификации, сопровождения ПС и повышения качества программ является разработка
технологических основ комплексной автоматизации перечисленных процессов в течении
всего жизненного цикла.
4. Одним из методов повышения производительности труда программистов
является применение графических методов программирования, обеспечивающих более
высокий уровень структуризации ПС, соблюдение технологической культуры и более
надежный стиль программирования.
2. Основные понятия технологии графосимволического
программирования
2.1. Концептуальная модель технологии
В качестве методологической основы для представления алгоритмов в работе
используется модель объекта с дискретными состояниями [3]. Основу такой модели
составляет идея, что для любого объекта программирования тем или иным способом
можно выделить конечное число состояний, в которых он может пребывать в каждый
момент времени. Тогда развитие вычислительного процесса можно ассоциировать с
переходами объекта из одного состояния в другое. В математике такая концепция в
качестве способа абстрагирования плодотворно используется достаточно давно:
марковские цепи, теория массового обслуживания, теория формальных грамматик и
автоматов и т.д.
Для уточнения понятия состояния, используемого в работе, определимся с
принятой в технологии графосимволического программирования (ГСП) [26] концепцией
модели алгоритма. Можно
выделить следующие три основных типа универсальных
алгоритмических моделей:
Первый - связывает понятие алгоритма с наиболее традиционными понятиями
математики - вычислениями и числовыми функциями. Наиболее известная и изученная
модель такого типа - рекурсивные функции.
Второй - основан на представлении об алгоритме как о некотором
детерминированном устройстве, способном выполнять в каждый отдельный момент
лишь примитивные операции
. Одним из многочисленных представителей этого типа
является машина Тьюринга.
Третий - алгоритмических моделей - это преобразование слов в произвольных
алфавитах, в которых элементарными операциями являются подстановки. Среди моделей
Страницы
- « первая
- ‹ предыдущая
- …
- 6
- 7
- 8
- 9
- 10
- …
- следующая ›
- последняя »