Введение к работе
Интенсивное развитие аппаратного и программного обеспечения средств вычислительной техники выдвинуло на одно из первых мест проблему создания мобильного программного обеспечения, как системного, так и прикладного.
При этом под мобильностью (переносимостью) программного обеспечения понимается его максимально слабая зависимость от аппаратной платформы на которую оно переносится, обеспечение минимального объема дополнительных работ по его переносу и, наконец, обеспечение выполнения им своего функционального назначения в максимально полном объеме после переноса. Для прикладного ПО дополнительно должна быть обеспечена максимально слабая зависимость от системного ПО на той аппаратной платформе, куда осуществляется перенос.
Решение проблемы построения мобильного программного обеспечения достигается многими средствами, описанными в работах.
Среди наиболее эффективных из шгх можно отметать применение стандартов и применение современных информационных технологий.
Следует отметить также, что серьезную проблему представляет переносимость баз данных, поскольку количество созданных локальных БД в различных организациях постоянно возрастает и в то же время наблюдается тенденция к интеграции локальных БД для расширения круга пользователей и возможностей по обработке хранимой там информации.
Кроме того, значительное влияние на решение задач построения переносимого программного обеспечения оказывают выбранные для его реализации средства программирования, поэтому в каждом конкретном случае имеются свои особенности, которые требуется обнаружить и исследовать для получения положительного конечного результата. Здесь исследования
проводились для ПО, созданного на базе языка Лисп, который достаточно широко применяется как у нас в стране, так и за рубежом.
В связи с тем, что постоянно сокращаются сроки обновления аппаратных средств и программного обеспечения различного уровня, возрастают требования к эффективности прикладного программного обеспечения, задача разработки и обоснования эффективных средств и методов создания переносимого (мобильного) программного обеспечения с учетом особенностей программной среды для его реализации, решаемая в диссертационной работе, является актуальной, а полученные результаты имеют большое прикладное значение.
Результаты, приведенные в диссертационной работе могут быть полезны при создании мобильного прикладного программного обеспечения средствами Лисп, а также как методика анализа эффективности разработок переносимого прикладного ПО в различных программных средах и на различных аппаратных платформах.
Цель и задачи исследования.
Данная работа направлена на исследование проблем переноса программного обеспечения на различные аппаратно-программные платформы и разработку решений по созданию конвертора и реляционной СУБД L1SP/CROSS/R.
Цель исследования - разработка методологии переноса программного обеспечения на различные аппаратно-программные платформы.
Для достижения данной цели были поставлены и решены следующие задачи:
анализ диалектов языка Лисп с обоснованием выбора диалекта С-Лисп в качестве языка, на который переносится программное обеспечение;
разработка денотационной семантики языка С-Лисп;
разработка вычислительной модели внешней памяти типа "виртуальная лента";
разработка математического, алгоритмического и программного обеспечения конвертирующего комплекса.
доработка программного обеспечения реляционной СУБД LISP/CROSS/R,
ученной путем конвертирования.
Научная новизна заключается в разработке денотационной семантики ка С-Лисп, доказательстве корректности конвертирования программ, а также одологии переноса программного обеспечения на различные аппаратно-траммные платформы.
Практическая значимость работы заключается в разработке ематического, алгоритмического и программного обеспечения вертирующего комплекса, который позволяет переносить программное течение, разработанное на ЭВМ одного класса на ЭВМ другого класса. С ющью этого конвертирующего комплекса была получена реляционная СУБД P/CROSS/R.
Основные положения, выносимые на защиту:
результаты анализа современных требований к программному обеспечению с ки зрения построения переносимых программ;
результаты анализа диалектов языка Лисп с обоснованием выбора диалекта Іисп в качестве языка, на который переноси сея программное обеспечение;
разработанная денотационная семантика языка С-Лисп ;
локазатсльство корректности конвертирования программ на Лиспе;
методология переноса программного обеспечения на различные аппаратно-іграммньїе платформы;
вычислительная модель внешней памяти типа "виртуальная лента'-;
полученная путем конвертирования реляционная СУБД LISP/CROSS/R.
Внедрение результатов. Результаты диссертационней работы внедрены на ;е предприятий, а также использовались в учебном процессе в нескольких ах.
Апробация работы. Основные результаты и положения работы докладывались и обсуждались на:
XXXI научно-технической конференции МИФИ, г. Москва, 1985 г., » XXXII научно-технической конференции МИФИ, г. Москва, 1987 г.,
научно-техническом семинаре "Технология проектирования интеллектуальных систем", г. Москва, 1989 г.,
постоянно действующем семинаре Искусственный интеллект при секций Прикладная кибернетика при МДНТП им. Ф.Э. Дзержинского, г. Москва, 1984-1990 гг.,
7-ом Международном научно-техническом семинаре "Проблемы передачи и обработки информации в информационно-вычислительных сетях", г. Москва, 1997 г.
Публикации. Основные положения диссертации опубликованы в 5 научных работах и 1 учебном пособии.
Структура работы. Диссертация состоит из введения, четырех глав, заключения и списка литературы и приложений. Общий объем диссертации -158 страниц, включая 117 стр. основного текста, 12 рисунков, 6 таблиц, приложения на 51 стр.