Использование методов формальных спецификаций для автоматической генерации по ткс.
Автоматическая генерация программ по формальным спецификациям приобрела широкое распространение в последние десятилетия.
Причины интереса к автоматизации этапа кодирования :
усложнение программного обеспечения;
увеличение размеров программ,
необходимость их длительного сопровождения,
повышение требований к надежности программ.
Особенно актуально применение формальных спецификаций при разработке телекоммуникационных приложений. Программные компоненты в этой сфере тесно взаимодействуют с аппаратурой, обеспечивают совместимость с программами других разработчиков. Для обеспечения переносимости и совместимости в телекоммуникации большое значение приобретают формальные или полуформальные спецификации систем, которые зачастую создаются международными и национальными комитетами по стандартизации.
Наиболее широко распространенным стандартом, утвержденным Международным Телекоммуникационным Союзом (ITU-T). является язык спецификаций и описаний SDL. Язык используют при разработке телекоммуникационных систем, систем реального времени, встроенных систем. SDL позволяет создавать исполняемые спецификации систем, то есть он применяется не только для анализа и проектирования, но и для получения исполняемого кода. Использование языка SDL позволяет значительно сократить время от выдвижения требований к системе до получения автоматически сгенерированных программ на машинно-ориентированном языке программирования
Specification and Description Language (SDL) в переводе с английского – язык спецификаций и описаний. Под спецификацией понимается точное формальное определение системы или ее части, под описанием – неформальная спецификация, иллюстрирующая тот или иной аспект системы. Описания используются на ранних этапах разработки системы или для ее документирования, спецификации – на стадии детального проектирования, и по ним предполагается автоматическая генерация программного кода. Тот факт, что для этих разных этапов разработки системы предлагается один язык, является несомненным достоинством SDL.
Язык SDL предназначен для разработки событийно-ориентированных распределенных систем. Он развивается международным комитетом ITU с 1976 года и является одним из долгожителей в компьютерной инженерии. Есть два варианта этого языка – текстовый (SDL/PR) и графический (SDL/GR), семантика которых, за исключением некоторых тонкостей, совпадает.
Более десяти фирм в Европе (Telelogic, Verilog и т.д.) разрабатывают CASE-средства на основе SDL. Эти продукты используются многими крупными европейскими фирмами-производителями телекоммуникационных систем.
Существует достаточно много инструментальных систем, генерирующих по SDL-спецификациям программы на таких языках программирования как C, C++, CHILL и др. Исполняемые программы на языке C++, которые имеют простую и наглядную структуру, а также дополнительный уровень гибкости, что позволяет осуществлять их настройку в широком диапазоне применений.
Целью данной дисциплины является изучение основ объектно-ориентированного программирования на языке на С++ , и особенностей использования языка формальних спецификация SDL для разработки спецификаций отдельных элементов ТКС использования их для автоматической генерации програмного обеспечения ТКС
Литература.
1. Карабегов Л.В, .Тер-Микаэлян А.А. Введение в язык SDL, Москва, Радио и связь, 1993, 184 с..
2. Мансуров Н.Н., Майлингова О.Л..Методы формальных спецификаций программ: языки SDL MSC Издательство АО «Диалог-МГУ», 1998, 126 с.
3. Фрідман. А.Л. Основи об’єктно-орієнтованого програмування на мові С++,1999.
4. Бондарев В.М. Программирование на С++.- Харьков: «Компания СМИТ», 2004.- 284с.
5. Архангельский А.Я. Программирование в С++Builder,2001.
6. Хортон Айвор. Visual C++:полный курс.: Пер. с англ. – М.:ООО «И.Д.Вильямс», 2011-1216с.