Linux Foundation, 소프트웨어 사양 언어를 지원하기 위해 TLA+ Foundation 구축

수많은 오픈 소스 프로젝트를 관리하는 비영리 기술 컨소시엄인 Linux Foundation은 최근 TLA+ Foundation 의 설립을 발표했습니다. 이 새로운 조직은 AWS, Oracle 및 Microsoft를 주요 초기 구성원으로 하여 TLA+ 프로그래밍 언어의 채택 및 발전을 장려하는 것을 목표로 합니다.

TLA+ 는 컴퓨터 과학자이자 Microsoft Research 수학자인 Leslie Lamport가 고안한 공식 사양 언어입니다. 분산 시스템에 상당한 기여를 한 것으로 알려진 Lamport는 동시 및 분산 소프트웨어 프로그램을 모델링, 문서화, 설계 및 검증하기 위해 TLA+ 설계했습니다.

예를 들어, 같은 이름의 검색 엔진 뒤에 있는 회사인 ElasticSearch는 TLA+ 사용하여 분산 시스템 알고리즘의 정확성을 확인했습니다. 또 다른 예로 전기 시스템 제조업체인 Thales는 TLA+ 사용하여 산업용 제어 플랫폼용 내결함성 모듈을 개발하고 모델링했습니다.

Linux Foundation의 대변인은 TechCrunch에 보낸 이메일에서 TLA+ 소프트웨어 구현보다는 시스템 지정에 초점을 맞추고 있다고 설명했습니다. 집합 이론 및 시간 논리와 같은 수학적 원리에 의존하므로 개발자는 시스템의 원하는 정확성 속성을 공식적으로 표현할 수 있습니다.

내장형 모델 검사기 및 정리 증명기로 TLA+ 시스템 사양이 의도한 속성을 충족하는지 여부를 확인합니다. 이러한 도구는 개발자가 코드 수준 이상의 시스템에 대해 추론하는 데 도움을 주어 소프트웨어 엔지니어링의 후반 단계 이전에 잠재적인 설계 결함을 찾아 수정하는 데 도움이 됩니다. 소프트웨어 설계 오류가 널리 퍼져 있고 재앙이 될 수 있으므로 TLA+ 활용하면 더 안전하고 효율적인 소프트웨어 개발을 보장할 수 있습니다.

사명의 일환으로 TLA+ Foundation 교육 및 교육 리소스를 제공하고, 연구 이니셔티브에 자금을 지원하고, 새로운 도구를 개발하고, TLA+ 사용자 커뮤니티를 육성할 것입니다. 또한 개선에 대한 결정을 내리고 사용자 피드백을 처리하며 진행을 안내함으로써 언어의 진화에 참여할 것입니다.

Linux Foundation은 산하 전용 기반을 구축하여 TLA+ 에 대한 가시성과 지원을 강화하는 것을 목표로 합니다. 결과적으로 프로그래밍 언어는 기술 산업 전반에 걸쳐 더 광범위하게 채택될 수 있습니다. Amazon, Oracle 및 Microsoft와 같은 회사는 이미 TLA+ 성공적으로 활용하여 전 세계적 규모의 시스템을 설계했습니다. Linux Foundation은 또한 업계와 학계 간의 더 큰 협력을 장려함으로써 공식적인 방법과 동시 및 분산 시스템 연구를 발전시키려고 합니다.

no-codelow-code 운동이 계속 인기를 끌면서 appmaster .io> AppMaster.io 와 같은 플랫폼이 애플리케이션 개발 환경을 변화시키고 있습니다. 단순성과 유용성을 강조함으로써 appmaster .io/how-to-create-an-app> AppMaster 플랫폼을 통해 기업은 광범위한 코딩 지식 없이도 웹, 모바일 및 백엔드 애플리케이션을 개발할 수 있습니다. TLA+ Foundation 과 같은 이니셔티브와 결합하여 AppMaster 모든 사람이 소프트웨어 개발에 보다 쉽게 접근하고 효율적으로 사용할 수 있도록 지원합니다.