Универсальный системный язык
Универсальный системный язык ( USL ) — это язык системного моделирования и формальный метод спецификации и проектирования программного обеспечения и других сложных систем. Он был разработан Маргарет Гамильтон на основе ее опыта написания полетного программного обеспечения для программы «Аполлон» . [1] Язык реализован с помощью программного обеспечения 001 Tool Suite от Hamilton Technologies, Inc. [2] USL произошел от 001AXES, который, в свою очередь, произошел от AXES, все из которых основаны на аксиомах контроля Гамильтона. В наборе инструментов 001 используется превентивная концепция разработки до факта (DBTF) для процесса разработки на протяжении всего жизненного цикла. DBTF устраняет ошибки как можно раньше в процессе разработки, устраняя необходимость искать ошибки постфактум.
Философия [ править ]
USL был вдохновлен признанием Гамильтоном закономерностей или категорий ошибок, возникающих во время разработки программного обеспечения Apollo. [3] [4]
Определенные гарантии правильности заложены в грамматику USL. [5]
Некоторые пользователи считают USL более удобным для пользователя, чем другие формальные системы. [6] Это не только формализм программного обеспечения, но также определяет онтологии для общих элементов проблемных областей, таких как физическое пространство и время событий.
Формализм теории управления [ править ]
Примитивные структуры универсальны в том смысле, что их можно использовать для создания новых абстрактных универсальных структур, функций или типов. Процесс получения новых объектов (т.е. структур, типов и функций) эквивалентен процессу получения новых типов в конструктивной теории типов.
Реализация [ править ]
Процесс разработки системы программного обеспечения с USL вместе с ее автоматизацией, 001 Tool Suite (001), заключается в следующем: определить систему с помощью USL, автоматически проанализировать определение с помощью анализатора 001, чтобы убедиться, что USL использовался правильно, автоматически сгенерировать много проекта и всего кода реализации с генератором 001. [9] [10] [11] [12] USL можно использовать для формальной поддержки других языков. [13]
См. также [ править ]
- Системная философия
- ИДЭФ
- Модельно-ориентированная архитектура
- Язык системного моделирования
- Методология объектного процесса
Ссылки [ править ]
- ^ М. Гамильтон и В. Р. Хаклер, « Универсальный системный язык: уроки, извлеченные из Аполлона », IEEE Computer, декабрь 2008 г.
- ^ 001 Набор инструментов (1986-2020)
- ^ Маргарет Х. Гамильтон, Hamilton Technologies (27 сентября 2012 г.). « Универсальный системный язык и его автоматизация, набор инструментов 001 для проектирования и создания систем и программного обеспечения», Серия вебинаров Lockheed Martin / IEEE Computer Society» .
- ^ Гамильтон, Маргарет Х. (2018). «О чем нам говорят ошибки» . Программное обеспечение IEEE . 35 (5): 32–37. дои : 10.1109/MS.2018.290110447 . ISSN 0740-7459 . S2CID 52896962 .
- ^ Долха, Стив, Чисте, Дэйв, «Система удаленных запросов в Интернете: управление разработкой распределенных систем», глава 32, «Управление Интернетом», редактор Джессика Киз, Ауэрбах, 2000.
- ^ Крут-младший, Б., « Интеграция поддержки инструмента 001 в методологии функционально-ориентированного анализа предметной области » (CMU/SEI-93-TR-11, ESC-TR-93-188), Питтсбург, SEI, Университет Карнеги-Меллона , 1993.
- ^ Гамильтон, М. , « Внутреннее развитие перед фактом» , статья на обложке, Специальное редакционное приложение, 8ES-24ES. Электронный дизайн, апрель 1994 г.
- ^ Гамильтон, М. , « 001: ПОЛНЫЙ ЖИЗНЕННЫЙ ЦИКЛ СИСТЕМНОГО РАЗРАБОТКИ И СРЕДА РАЗРАБОТКИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ Разработка до факта в действии» , история на обложке, Специальное редакционное приложение, 8ES-24ES. Электронный дизайн, апрель 1994 г.
- ^ Оуян, М., Голэй, М.В., 1995, Интегрированный формальный подход к разработке высококачественного программного обеспечения для систем, критически важных для безопасности , Массачусетский технологический институт, Кембридж, Массачусетс, отчет № MIT-ANP-TR-035.
- ^ Консорциум по повышению производительности программного обеспечения (SPC) (1998), Обзор объектно-ориентированных методов и инструментов , Херндон, VA.SPC-98022-MC, версия 02.00.02, декабрь 1998 г.
- ^ Макс Шиндлер (1990) Компьютерное проектирование программного обеспечения , John Wiley & Sons, 1990.
- ^ * Министерство обороны (1992). Эксперимент по инструментам программной инженерии. Итоговый отчет , Том. 1. Краткое описание эксперимента, таблица 1, с. 9. Стратегическая оборонная инициатива, Вашингтон, округ Колумбия.
- ^ Гамильтон, М. Хаклер, WR, « Формальная универсальная системная семантика для SysML », 17-й ежегодный международный симпозиум, INCOSE 2007, Сан-Диего, Калифорния, июнь 2007 г.
Дальнейшее чтение [ править ]
- Гамильтон М., Зельдин С. (1976), «Программное обеспечение высшего порядка — методология определения программного обеспечения», IEEE Transactions on Software Engineering, vol. СЭ-2, нет. 1 марта 1976 г.
- Гамильтон, М. (апрель 1994 г.). «Внутреннее развитие перед фактом» . (История на обложке). Специальное редакционное приложение. 8ЭС-24ЧС. Электронный дизайн .
- Гамильтон, М. (июнь 1994 г.). «001: Среда системного проектирования и разработки программного обеспечения полного жизненного цикла» . (История на обложке). Специальное редакционное приложение. 22ЭС-30ЕС. Электронный дизайн .
- Гамильтон, М., Хаклер, В.Р. (2004), Общие принципы архитектуры программного обеспечения глубоко интегрированного навигационного блока (DI-GNU) (пересмотрено 29 декабря 2004 г.), DAAAE30-02-D-1020 и DAAB07-98-D-H502/0180, Пикатинни Арсенал, Нью-Джерси, 2003–2004 гг.
- Гамильтон, М. и Хаклер, В.Р. (2007), « Универсальный системный язык для превентивной системной инженерии », Proc. 5-я Энн. Конф. Системы Инж. Рез. (CSER), Технологический институт Стивенса, март 2007 г., статья № 36.
- Гамильтон, М.; Хаклер, WR (2007). « Формальная универсальная системная семантика для SysML ». 17-й ежегодный международный симпозиум, INCOSE 2007, Сан-Диего, Калифорния, июнь 2007 г.
Внешние ссылки [ править ]
