セキュアオペレーション言語

セキュアオペレーション言語( SOL ) は、米国海軍研究所とユタ州立大学によって共同で開発されました。SOL は、分散アプリケーションを開発するためのドメイン固有の同期プログラミング言語であり、 1970 年代後半から 1980 年代前半にかけて海軍研究所のソフトウェア コスト削減プロジェクトで開発されたソフトウェア エンジニアリングの原則に基づいています。SOL は、サービス ベースのシステムを開発するためのドメイン固有言語となることを目的としています。同時に、Java のドメイン固有拡張 (SOLj) が開発されています (FTDCS 2007)。アプリケーション ドメインには、センサー ネットワーク、防衛および宇宙システム、ヘルスケアの提供、電力制御などが含まれます。

このプロジェクトの研究者は、海軍研究所の Ramesh Bharadwaj 博士とユタ州立大学の Supratik Mukhopadhyay 博士です。

• Bharadwaj, Ramesh (2002). 「SOL: リアクティブシステムのための検証可能な同期言語」.理論計算機科学における電子ノート. 65 (5): 140. doi : 10.1016/S1571-0661(05)82565-4 .