La Fundación Linux crea la Fundación TLA+ para apoyar el lenguaje de especificación de software

La Fundación Linux, un consorcio tecnológico sin ánimo de lucro responsable de la gestión de numerosos proyectos de código abierto, ha anunciado recientemente la creación de la Fundación TLA+. Esta nueva organización pretende fomentar la adopción y el avance del lenguaje de programación TLA+, con AWS, Oracle y Microsoft como miembros iniciales clave.

TLA+ es un lenguaje de especificación formal concebido por el informático y matemático de Microsoft Research Leslie Lamport. Lamport, conocido por sus importantes contribuciones a los sistemas distribuidos, diseñó TLA+ para modelar, documentar, diseñar y verificar programas de software concurrentes y distribuidos.

Por ejemplo, ElasticSearch, la empresa que está detrás del motor de búsqueda del mismo nombre, utilizó TLA+ para confirmar la precisión de los algoritmos de sus sistemas distribuidos. En otro caso, el fabricante de sistemas eléctricos Thales utilizó TLA+ para desarrollar y modelar módulos tolerantes a fallos para su plataforma de control industrial.

Un portavoz de la Fundación Linux explicó en un correo electrónico a TechCrunch que TLA+ se centra en especificar un sistema más que en implementar software. Se basa en principios matemáticos como la teoría de conjuntos y la lógica temporal, lo que permite a los desarrolladores expresar formalmente las propiedades de corrección deseadas de un sistema.

TLA+ incorpora un verificador de modelos y un comprobador de teoremas para comprobar si las especificaciones de un sistema cumplen las propiedades deseadas. Estas herramientas ayudan a los desarrolladores a razonar sobre los sistemas por encima del nivel de código, ayudándoles a encontrar y corregir posibles fallos de diseño antes de las fases posteriores de la ingeniería de software. Dado que los fallos en el diseño de software están muy extendidos y pueden ser desastrosos, la utilización de TLA+ puede ayudar a garantizar un desarrollo de software más seguro y eficiente.

Como parte de su misión, la Fundación TLA+ ofrecerá formación y recursos educativos, financiará iniciativas de investigación, desarrollará nuevas herramientas y fomentará una comunidad de usuarios de TLA+. También participará en la evolución del lenguaje tomando decisiones sobre mejoras, atendiendo a los comentarios de los usuarios y guiando su progresión.

La Fundación Linux aspira a impulsar la visibilidad y el apoyo a TLA+ mediante el establecimiento de una fundación dedicada bajo su paraguas. Como resultado, el lenguaje de programación podría obtener una mayor adopción en toda la industria tecnológica. Empresas como Amazon, Oracle y Microsoft ya han utilizado con éxito TLA+ para diseñar sistemas a escala planetaria. La Fundación Linux también pretende hacer avanzar los métodos formales y la investigación en sistemas concurrentes y distribuidos fomentando una mayor colaboración entre la industria y el mundo académico.

A medida que el movimiento no-code, low-code sigue ganando popularidad, plataformas como <a href=https://appmaster.io>AppMaster.io están transformando el panorama del desarrollo de aplicaciones. Al hacer hincapié en la sencillez y la facilidad de uso, la plataforma <a href=https://appmaster.io/how-to-create-an-app>AppMaster permite a las empresas desarrollar aplicaciones web, móviles y de backend sin necesidad de amplios conocimientos de codificación. En combinación con iniciativas como la Fundación TLA+, AppMaster contribuye a que el desarrollo de software sea más accesible y eficiente para todos.