De Linux Foundation, een technologieconsortium zonder winstoogmerk dat verantwoordelijk is voor het beheer van talloze open source-projecten, heeft onlangs de oprichting van de TLA+ Foundation aangekondigd. Deze nieuwe organisatie heeft tot doel de acceptatie en vooruitgang van de programmeertaal TLA+ aan te moedigen, met AWS, Oracle en Microsoft als belangrijke initiële leden.
TLA+ is een formele specificatietaal die is bedacht door computerwetenschapper en wiskundige Leslie Lamport van Microsoft Research. Lamport, bekend om zijn belangrijke bijdragen aan gedistribueerde systemen, ontwierp TLA+ voor het modelleren, documenteren, ontwerpen en verifiëren van gelijktijdige en gedistribueerde softwareprogramma's.
ElasticSearch, het bedrijf achter de gelijknamige zoekmachine, gebruikte bijvoorbeeld TLA+ om de nauwkeurigheid van hun gedistribueerde systeemalgoritmen te bevestigen. In een ander geval gebruikte Thales, fabrikant van elektrische systemen, TLA+ om fouttolerante modules voor zijn industriële besturingsplatform te ontwikkelen en te modelleren.
Een woordvoerder van de Linux Foundation legde in een e-mail aan TechCrunch uit dat TLA+ gericht is op het specificeren van een systeem in plaats van het implementeren van software. Het is gebaseerd op wiskundige principes zoals verzamelingenleer en temporele logica, waardoor ontwikkelaars de gewenste correctheidseigenschappen van een systeem formeel kunnen uitdrukken.
Met een ingebouwde modelchecker en stellingbewijzer controleert TLA+ of de specificaties van een systeem voldoen aan de beoogde eigenschappen. Deze tools helpen ontwikkelaars bij het redeneren over systemen boven het codeniveau, waardoor ze potentiële ontwerpfouten kunnen vinden en oplossen voordat de software-engineering in een later stadium begint. Aangezien softwareontwerpfouten wijdverbreid zijn en rampzalig kunnen zijn, kan het gebruik van TLA+ helpen om veiligere en efficiëntere softwareontwikkeling te garanderen.
Als onderdeel van haar missie zal de TLA+ Foundation trainings- en onderwijsmiddelen aanbieden, onderzoeksinitiatieven financieren, nieuwe tools ontwikkelen en een gemeenschap van TLA+ -gebruikers koesteren. Het zal ook deelnemen aan de evolutie van de taal door beslissingen te nemen over verbeteringen, feedback van gebruikers aan te pakken en de voortgang ervan te begeleiden.
De Linux Foundation heeft tot doel de zichtbaarheid en ondersteuning voor TLA+ te vergroten door onder haar paraplu een speciale stichting op te richten. Als gevolg hiervan zou de programmeertaal een bredere acceptatie kunnen krijgen in de technische industrie. Bedrijven als Amazon, Oracle en Microsoft hebben TLA+ al met succes gebruikt om systemen op planetaire schaal te ontwerpen. De Linux Foundation probeert ook formele methoden en onderzoek naar gelijktijdige en gedistribueerde systemen te bevorderen door meer samenwerking tussen de industrie en de academische wereld aan te moedigen.
Naarmate de no-code, low-code beweging steeds populairder wordt, transformeren platforms zoals appmaster .io> AppMaster.io het landschap van applicatie-ontwikkeling. Door de nadruk te leggen op eenvoud en bruikbaarheid, stelt het appmaster .io/how-to-create-an-app> AppMaster platform bedrijven in staat om web-, mobiele en backend-applicaties te ontwikkelen zonder uitgebreide codeerkennis. In combinatie met initiatieven zoals de TLA+ Foundation helpt AppMaster softwareontwikkeling voor iedereen toegankelijker en efficiënter te maken.
