ВУЗ:
Составители:
Рубрика:
Автоматически построенные программы заведомо правильны и, как правило, не требуют
отладки. При этом резко возрастает производительность труда программиста. К системам
автоматизации программирования можно отнести, в первую очередь, языки логического
программирования (ПРОЛОГ, LISP, ПРИЗ), объектно-ориентированное
программирование (С++, Паскаль), CASE-технологию (ISaGRAF) и т.д.
Однако автоматический синтез программ во всех областях применения
компьютеров
пока невозможен. Более того, он подходит лишь в достаточно простых, и
хорошо изученных областях, для которых легко определить и описать базу знаний. К
сожалению, такая ситуация встречается не часто. Поэтому подобные системы синтеза
программ, прежде всего, хорошо зарекомендовали в классических, давно устоявшихся
разделах математики, электроники, где все законы, правила и формулы
давно известны -
они достаточно просты и довольно полно отражают предметную область.
Второй способ автоматизации программирования ориентирован на приближение
языка программирования к образному способу мышления человека, что выражается в
бездирективном методе организации разработки программ. Повышение
производительности труда программиста в этом случае связывают с большей
наглядностью (понятностью) программ и более комфортными условиями
труда, что, в
конечном итоге, приводит к повышению надежности результирующих программных
продуктов.
Неслучайно, что в настоящее время появилось большое количество визуальных
средств программирования. К ним относятся разнообразные средства разработки
оконных интерфейсов, “визарды” в языках управления базами данных, графические
инструментальные средства в CASE-системах, многочисленные проблемно и предметно
ориентированные языки программирования.
В
то же время, визуальное программирование расширяет “армию труда” в сфере
программирования, поскольку к узкому кругу профессиональных программистов, в
новых условиях, подключается большое количество “любителей”, способных
разрабатывать качественные программные продукты на новых средствах
программирования.
В технологии ГСП используются оба способа автоматизации программирования. С
одной стороны, технология ГСП применяет визуальный способ кодирования программ
, с
другой стороны - автоматизирован синтез многих компонент разрабатываемого
программного обеспечения. Например, автоматически синтезируются коды агрегатов, in-
line акторы, межмодульный информационный интерфейс. Кроме того, технология ГСП
имеет интеллектуальную поддержку, обеспечивающую разработку надежных
программных модулей.
Визуальное программирование в ГСП возможно на непустом множестве объектов
ПОП. Объекты в ГСП порождаются либо традиционным “ручным” способом, при
кодировании на базовом языке программирования
базовых модулей, либо
автоматизированным - при синтезе акторов, агрегатов, предикатов, модулей типа in-line,
а также в результате инкапсуляции агрегатов. Доля неавтоматизированных модулей в
ГСП по мере развития ПОП постоянно уменьшается, а степень автоматизированности
программирования - увеличивается.
Можно выделить три способа автоматического синтеза объектов ГСП (см. рис.3.1):
паспортизацию, агрегацию и инкапсуляцию.
Паспортизация из базовых модулей (типов объектов) порождает полиморфные
объекты - акторы или предикаты, т.е. одна и та же синтаксическая конструкция (базовый
модуль) порождает различные семантические формы объектов.
Страницы
- « первая
- ‹ предыдущая
- …
- 22
- 23
- 24
- 25
- 26
- …
- следующая ›
- последняя »
