Güvenli İşlem Dili - Secure Operations Language

Güvenli İşlem Dili (SOL) tarafından ortaklaşa geliştirilmiştir. Amerika Birleşik Devletleri Deniz Araştırma Laboratuvarı ve Utah Eyalet Üniversitesi Birleşik Devletlerde. SOL, alana özgü bir eşzamanlı Programlama dili dağıtılmış uygulamalar geliştirmek için ve yazılım Mühendisliği 1970'lerin sonu ve 1980'lerin başında Deniz Araştırma Laboratuvarı'ndaki Yazılım Maliyetini Azaltma projesinde geliştirilen ilkeler. SOL, bir alana özgü dil hizmet tabanlı sistemler geliştirmek için. Aynı zamanda, alana özgü bir Java uzantısı (SOLj) geliştirilmektedir (FTDCS 2007) Uygulama alanları arasında sensör ağları, savunma ve uzay sistemleri, sağlık hizmeti sunumu, güç kontrolü vb. Yer almaktadır.

Projenin araştırmacıları, Deniz Araştırma Laboratuvarı'ndan Dr. Ramesh Bharadwaj ve Dr.Supratik Mukhopadhyay Utah Eyalet Üniversitesi'nden.

Referanslar

  • Bharadwaj, Ramesh (2002). "SOL: Reaktif Sistemler için Doğrulanabilir Senkron Dil". Teorik Bilgisayar Bilimlerinde Elektronik Notlar. 65 (5): 140. doi:10.1016 / S1571-0661 (05) 82565-4.