시큐어 운용 언어
Secure Operations Language | 이 문서의 주제는 위키피디아의 일반적인 알림 가이드라인을 충족하지 못할 수 있습니다.찾기 : " Language · · · JSTOR (2011년 1월 (이메시지 및 ) |
Secure Operations Language(SOL; 보안 작전 언어)는 미국 해군 연구소와 미국 유타 주립 대학이 공동으로 개발했습니다.SOL은 분산 어플리케이션 개발을 위한 도메인 고유의 동기 프로그래밍 언어이며 1970년대 후반과 1980년대 초반 Naval Research Laboratory의 소프트웨어 비용 절감 프로젝트에서 개발된 소프트웨어 엔지니어링 원칙을 기반으로 합니다.SOL은 서비스 기반 시스템을 개발하기 위한 도메인 고유의 언어입니다.동시에 Java(SOLJ)의 도메인 고유의 확장이 개발되고 있습니다(FTDCS 2007). 애플리케이션 도메인에는 센서 네트워크, 방위 및 우주 시스템, 의료 서비스 제공, 전원 제어 등이 포함됩니다.
이 프로젝트의 조사자는 해군 연구소의 라메시 바라드와이 박사와 유타 주립 대학의 수프라틱 무코파디아이 박사이다.
레퍼런스
- Bharadwaj, Ramesh (2002). "SOL: A Verifiable Synchronous Language for Reactive Systems". Electronic Notes in Theoretical Computer Science. 65 (5): 140. doi:10.1016/S1571-0661(05)82565-4.
