Язык безопасных операций - Secure Operations Language

В Язык безопасных операций (СОЛЬ) был разработан совместно Лаборатория военно-морских исследований США и Университет штата Юта В Соединенных Штатах. SOL - это синхронный язык программирования для разработки распределенных приложений и основан на программная инженерия принципы, разработанные в рамках проекта по сокращению затрат на программное обеспечение в Лаборатории морских исследований в конце 1970-х - начале 1980-х годов. SOL призван стать предметно-ориентированный язык для разработки сервисных систем. Одновременно разрабатывается доменно-ориентированное расширение Java (SOLj) (FTDCS 2007). Домены приложений включают сенсорные сети, оборонные и космические системы, медицинское обслуживание, управление питанием и т.

Исследователями проекта являются доктор Рамеш Бхарадвадж из Военно-морской исследовательской лаборатории и Доктор Супратик Мухопадхьяй из Университета штата Юта.

Рекомендации

  • Бхарадвадж, Рамеш (2002). «SOL: проверяемый синхронный язык для реактивных систем». Электронные заметки по теоретической информатике. 65 (5): 140. Дои:10.1016 / S1571-0661 (05) 82565-4.