Язык безопасных операций ( SOL ) был разработан совместно Лабораторией военно-морских исследований США и Государственным университетом Юты в США. SOL - это предметно-ориентированный язык синхронного программирования для разработки распределенных приложений, основанный на принципах программной инженерии, разработанных в рамках проекта по сокращению затрат на программное обеспечение в Лаборатории морских исследований в конце 1970-х - начале 1980-х годов. SOL предназначен для использования в качестве предметно-ориентированного языка.для разработки сервисных систем. Одновременно разрабатывается доменно-ориентированное расширение Java (SOLj) (FTDCS 2007). Домены приложений включают сенсорные сети, оборонные и космические системы, медицинское обслуживание, управление питанием и т. Д.
Исследователями проекта являются доктор Рамеш Бхарадвадж из Военно-морской исследовательской лаборатории и доктор Супратик Мукхопадхьяй из Университета штата Юта.
Рекомендации
- Бхарадвадж, Рамеш (2002). «SOL: проверяемый синхронный язык для реактивных систем» . Электронные заметки по теоретической информатике . 65 (5): 140. DOI : 10.1016 / S1571-0661 (05) 82565-4 .