Fondacioni Linux, konsorciumi teknologjik jofitimprurës që menaxhon përpjekje të ndryshme me burim të hapur, njoftoi sot nisjen e Fondacionit TLA+ për të promovuar adoptimin dhe zhvillimin e gjuhës së programimit TLA+. AWS, Oracle dhe Microsoft janë ndër anëtarët inaugurues.
Çfarë është gjuha e programimit TLA+, ju pyesni? Është një gjuhë zyrtare “speciale” e zhvilluar nga shkencëtari dhe matematikani i kompjuterave Leslie Lamport. I njohur më së miri për punën e tij thelbësore në sistemet e shpërndara, Lamport – tani një shkencëtar në Microsoft Research – krijoi TLA + për të dizajnuar, modeluar, dokumentuar dhe verifikuar programe softuerike – veçanërisht ato të varietetit të njëkohshëm dhe të shpërndarë.
Për të dhënë disa shembuj, ElasticSearch, organizata që qëndron pas motorit të kërkimit me të njëjtin emër, përdori TLA+ për të verifikuar korrektësinë e algoritmeve të sistemeve të tyre të shpërndara. Diku tjetër, Thales, firma e prodhimit të sistemeve elektrike, përdori TLA+ për të modeluar dhe zhvilluar module tolerante ndaj defekteve për platformën e saj të kontrollit industrial.
“TLA+ është unik në atë që synon të specifikojë një sistem, në vend të zbatimit të softuerit,” tha një zëdhënës i Fondacionit Linux për TechCrunch përmes emailit. “Bazuar në konceptet matematikore, veçanërisht teorinë e grupeve dhe logjikën kohore, TLA+ lejon shprehjen e vetive të dëshiruara të korrektësisë së një sistemi në një mënyrë formale dhe rigoroze.”
TLA+ përfshin një kontrollues modeli dhe vërtetues teoreme për të verifikuar nëse specifikimi i një sistemi plotëson vetitë e tij të dëshiruara. Qëllimi është të ndihmohen zhvilluesit me arsyetimin rreth sistemeve mbi nivelin e kodit, duke zbuluar dhe parandaluar të metat e dizajnit (shpresojmë) përpara se ato të evoluojnë në gabime gjatë fazave të mëvonshme të inxhinierisë së softuerit.
Deri në pikën e fundit, dështimet në hartimin e softuerit janë çuditërisht të zakonshme – dhe shkatërruese. Një raport i vitit 2020 nga Standish Group zbuloi se rreth 66% e projekteve softuerike dështojnë. Dhe sipas Konsorciumit për Informacion dhe Cilësi të Softuerit, cilësia e dobët e softuerit i kushton kompanive mbi 2 trilion dollarë në 2020.
Me themelimin e Fondacionit TLA+, Fondacioni Linux thotë se do të ofrojë burime edukimi dhe trajnimi rreth TLA+, do të financojë kërkime dhe do të zhvillojë mjete për të dhe do të punojë për të nxitur një komunitet praktikuesish TLA+. Fondacioni TLA+ do të marrë gjithashtu vendime për përmirësimet gjuhësore, do të adresojë reagimet e përdoruesve dhe do të udhëheqë evolucionin e gjuhës.
“TLA+ është përdorur tashmë me sukses nga kompanitë e mëdha të teknologjisë si Amazon, Oracle dhe Microsoft për të verifikuar dhe dizajnuar sisteme në shkallë planetare,” vazhdoi zëdhënësi. “Duke krijuar një Fondacion TLA+ nën ombrellën e Fondacionit Linux, TLA+ do të fitojë dukshmëri dhe mbështetje më të madhe, duke promovuar adoptimin e tij më të gjerë brenda industrisë së teknologjisë. Misioni i fondacionit për të mbrojtur projektet me burim të hapur do të sigurojë që TLA+ të vazhdojë të zhvillohet dhe të mbetet i aksesueshëm për komunitetin më të gjerë të teknologjisë. Për më tepër, fondacioni do të lehtësojë një bashkëpunim më të madh midis industrisë dhe akademisë, duke avancuar gjendjen e artit në metodat formale dhe kërkimin e sistemeve të njëkohshme dhe të shpërndarë.”
