La Fundación Linux lanza su propia base del lenguaje TLA+

El lenguaje de programación para modelar programas y sistemas simultáneos y distribuidos, TLA+ (Lógica Temporal de Acciones), se muda de la jurisdicción de Microsoft a la Fundación Linux con una base separada.

La Fundación TLA+, independiente y sin ánimo de lucro, estará dedicada a fomentar la adopción y el desarrollo de este lenguaje. Esta fue lanzada la semana pasada por la Fundación Linux para dar educación y capacitación, financiar investigaciones, desarrollar herramientas y construir una comunidad. Sus miembros inaugurales incluyen a Oracle, Microsoft y AWS.

Este lenguaje se ha utilizado para verificar sistemas de software complejos, reducir errores y mejorar la confiabilidad, así como para detectar fallos de diseño al principio del proceso de desarrollo para ahorrar recursos y tiempo. La base de TLA+ es la noción de que la mejor manera de describir las cosas con precisión es con matemáticas simples. TLA+ y sus herramientas, según Linux Foundation, son útiles para eliminar errores de diseño fundamentales que son difíciles de encontrar y costosos de corregir en el código. El lenguaje fue inventado por la científica informática Leslie Lamport, ahora una distinguida científica de Microsoft Research.

Entre los usuarios de TLA+ se encuentra Oracle, que ha utilizado el lenguaje para modelar más de 25 servicios de Oracle Cloud Infrastructure, incluidos los servicios de almacenamiento de bloques y de archivos, y verificar la corrección de escenarios de diseño complejos, incluida