Linux Foundation учреждает фонд TLA+ для поддержки языка спецификации программного обеспечения

Linux Foundation, некоммерческий технологический консорциум, ответственный за управление многочисленными проектами с открытым исходным кодом, недавно объявил о создании TLA+ Foundation. Эта новая организация призвана содействовать принятию и развитию языка программирования TLA+, основными первоначальными членами которой являются AWS, Oracle и Microsoft.

TLA+ - это язык формальных спецификаций, разработанный компьютерным ученым и математиком из Microsoft Research Лесли Лэмпортом. Лэмпорт, известный своим значительным вкладом в распределенные системы, разработал TLA+ для моделирования, документирования, проектирования и проверки параллельных и распределенных программ.

Например, компания ElasticSearch, создавшая одноименную поисковую систему, использовала TLA+ для подтверждения точности алгоритмов своей распределенной системы. В другом случае производитель электрических систем Thales использовал TLA+ для разработки и моделирования отказоустойчивых модулей для своей промышленной платформы управления.

Представитель Linux Foundation объяснил в электронном письме TechCrunch, что TLA+ ориентирован на спецификацию системы, а не на реализацию программного обеспечения. Он опирается на математические принципы, такие как теория множеств и временная логика, позволяя разработчикам формально выразить желаемые свойства корректности системы.

С помощью встроенных средств проверки моделей и проверки теорем TLA+ проверяет, соответствуют ли спецификации системы ее предполагаемым свойствам. Эти инструменты помогают разработчикам рассуждать о системах выше уровня кода, помогая им находить и устранять потенциальные недостатки проектирования еще до начала последующих этапов программной инженерии. Поскольку сбои в проектировании программного обеспечения широко распространены и могут привести к катастрофе, использование TLA+ может помочь обеспечить более безопасную и эффективную разработку программного обеспечения.

В рамках своей миссии Фонд TLA+ будет предлагать учебные и образовательные ресурсы, финансировать исследовательские инициативы, разрабатывать новые инструменты и развивать сообщество пользователей TLA+. Он также будет участвовать в развитии языка, принимая решения об улучшениях, учитывая отзывы пользователей и направляя его развитие.

Linux Foundation стремится повысить известность и поддержку TLA+ путем создания специального фонда под своей эгидой. В результате язык программирования может получить более широкое распространение в технологической отрасли. Такие компании, как Amazon, Oracle и Microsoft уже успешно используют TLA+ для разработки систем планетарного масштаба. Linux Foundation также стремится развивать формальные методы и исследования параллельных и распределенных систем, поощряя более тесное сотрудничество между промышленностью и научными кругами.

Поскольку движение no-code, low-code продолжает набирать популярность, такие платформы, как <a href=https://appmaster.io>AppMaster.io , меняют ландшафт разработки приложений. Подчеркивая простоту и удобство использования, платформа <a href=https://appmaster.io/how-to-create-an-app>AppMaster позволяет компаниям разрабатывать веб-, мобильные и внутренние приложения, не требуя обширных знаний в области кодирования. В сочетании с такими инициативами, как TLA+ Foundation, AppMaster помогает сделать разработку программного обеспечения более доступной и эффективной для всех.