Ce qu’il faut savoir sur la création de la Fondation TLA+
(2023/04/27)
- Reference: 2023-04-27T06_17_01Z
- News link: https://www.toolinux.com/?fondation-tla-plus-creation
- Source link:
Ce qu’il faut savoir sur la création de la Fondation TLA+
jeudi 27 avril 2023
Il y a quelques jours, la Fondation Linux donnait naissance à une nouvelle entité, la TLA+ Foundation. Son objectif est clair : promouvoir l’adoption et le développement du langage de programmation TLA+ développé à l’origine par Leslie Lamport. Mais de quoi parle-t-on ?
C’est quoi TLA+ ?
[1]TLA+ (Temporal Logic of Actions) est un langage de spécification formel utilisé pour la conception, la modélisation, la documentation et la vérification de programmes, en particulier les systèmes distribués. Il peut générer des représentations visuelles (blueprints) de systèmes logiciels.
TLA+ et ses outils sont utiles pour éliminer les erreurs de conception fondamentales, qui sont difficiles à trouver et coûteuses à corriger dans le code. Le langage est basé sur l’idée que la meilleure façon de décrire les choses avec précision est d’ utiliser des mathématiques simples . TLA+ est un langage de haut niveau permettant de modéliser des programmes et des systèmes, en particulier des systèmes concurrents et distribués.
C’est un logiciel libre placé sous licence MIT. Il a été inventé il y a plusieurs dizaines d’années par [2]Leslie Lamport , aujourd’hui chercheur émérite chez Microsoft Research. Microsoft [3]en parle d’ailleurs sur son blog.
Ce que va faire la Fondation TLA+
La [4]Fondation TLA+ aura pour mission de la promotion, l’adoption et le développement du langage de programmation. Les premiers membres sont américains : Amazon Web Services (AWS), Oracle et Microsoft.
La Fondation TLA+ aura plusieurs tâches :
Encourager l’adoption
Furnir des ressources en matière d’éducation et de formation
Financer la recherche
Développer des outils
Créer une communauté de praticiens TLA+
Prendre des décisions sur les améliorations du langage
Si le sujet vous intéresse, un webinaire éducatif " Mastering Concurrent Algorithms with TLA+ " est déjà programmé le 14 juin (en anglais). Vous pouvez vous y [5]inscrire gratuitement .
Rejoindre la fondation TLA+
Pour rejoindre le projet de la Fondation TLA+, il faut [6]se manifester auprès de la Linux Foundation et en devenir membre .
[7]
[1] https://en.wikipedia.org/wiki/TLA%2B
[2] https://lamport.azurewebsites.net/tla/tla.html
[3] https://www.microsoft.com/en-us/research/blog/tla-foundation-aims-to-bring-math-based-software-modeling-to-the-mainstream/
[4] https://foundation.tlapl.us
[5] https://www.linuxfoundation.org/webinars/mastering-concurrent-algorithms-with-tla?hsLang=en
[6] https://www.linuxfoundation.org/about/join
[7] https://www.toolinux.com/?fondation-tla-plus-creation#forum
jeudi 27 avril 2023
Il y a quelques jours, la Fondation Linux donnait naissance à une nouvelle entité, la TLA+ Foundation. Son objectif est clair : promouvoir l’adoption et le développement du langage de programmation TLA+ développé à l’origine par Leslie Lamport. Mais de quoi parle-t-on ?
C’est quoi TLA+ ?
[1]TLA+ (Temporal Logic of Actions) est un langage de spécification formel utilisé pour la conception, la modélisation, la documentation et la vérification de programmes, en particulier les systèmes distribués. Il peut générer des représentations visuelles (blueprints) de systèmes logiciels.
TLA+ et ses outils sont utiles pour éliminer les erreurs de conception fondamentales, qui sont difficiles à trouver et coûteuses à corriger dans le code. Le langage est basé sur l’idée que la meilleure façon de décrire les choses avec précision est d’ utiliser des mathématiques simples . TLA+ est un langage de haut niveau permettant de modéliser des programmes et des systèmes, en particulier des systèmes concurrents et distribués.
C’est un logiciel libre placé sous licence MIT. Il a été inventé il y a plusieurs dizaines d’années par [2]Leslie Lamport , aujourd’hui chercheur émérite chez Microsoft Research. Microsoft [3]en parle d’ailleurs sur son blog.
Ce que va faire la Fondation TLA+
La [4]Fondation TLA+ aura pour mission de la promotion, l’adoption et le développement du langage de programmation. Les premiers membres sont américains : Amazon Web Services (AWS), Oracle et Microsoft.
La Fondation TLA+ aura plusieurs tâches :
Encourager l’adoption
Furnir des ressources en matière d’éducation et de formation
Financer la recherche
Développer des outils
Créer une communauté de praticiens TLA+
Prendre des décisions sur les améliorations du langage
Si le sujet vous intéresse, un webinaire éducatif " Mastering Concurrent Algorithms with TLA+ " est déjà programmé le 14 juin (en anglais). Vous pouvez vous y [5]inscrire gratuitement .
Rejoindre la fondation TLA+
Pour rejoindre le projet de la Fondation TLA+, il faut [6]se manifester auprès de la Linux Foundation et en devenir membre .
[7]
[1] https://en.wikipedia.org/wiki/TLA%2B
[2] https://lamport.azurewebsites.net/tla/tla.html
[3] https://www.microsoft.com/en-us/research/blog/tla-foundation-aims-to-bring-math-based-software-modeling-to-the-mainstream/
[4] https://foundation.tlapl.us
[5] https://www.linuxfoundation.org/webinars/mastering-concurrent-algorithms-with-tla?hsLang=en
[6] https://www.linuxfoundation.org/about/join
[7] https://www.toolinux.com/?fondation-tla-plus-creation#forum