Существует ли формальный независимый от языка язык для описания API?Я хочу определить служебную библиотеку, которая будет использоваться в ряде архитектур, и хотел бы каким-то образом программно проверить, что все функции API были реализованы, и, в идеале, запустить некоторые модульные тесты функций на разных платформах.
Например, я хочу написать .Net Assembly на C #, Windows DLL на C ++, библиотеку MacOS в Objective-C и общую библиотеку Linux на C ++.