Worldlex Wiki Le langage SOL ( Secure Operations Language ) a été développé conjointement par le laboratoire de recherche navale des États-Unis et l'université d'État de l'Utah aux États-Unis. SOL est un langage de programmation synchrone spécifique au domaine pour le développement d'applications distribuées et est basé sur les principes d'ingénierie logicielle développés dans le cadre du projet de réduction des coûts logiciels au laboratoire de recherche navale à la fin des années 1970 et au début des années 1980. SOL est destiné à être un langage spécifique au domaine pour le développement de systèmes basés sur des services. Parallèlement, une extension spécifique au domaine de Java (SOLj) est en cours de développement (FTDCS 2007). Les domaines d'application comprennent les réseaux de capteurs, les systèmes de défense et spatiaux, la prestation de soins de santé, le contrôle de l'alimentation, etc.
Les chercheurs du projet sont le Dr Ramesh Bharadwaj du Naval Research Laboratory et le Dr Supratik Mukhopadhyay de l'Utah State University.
- Bharadwaj, Ramesh (2002). « SOL : un langage synchrone vérifiable pour les systèmes réactifs ». Notes électroniques en informatique théorique . 65 (5) : 140. doi : 10.1016/S1571-0661(05)82565-4 .
