definizione API formale e verificabile

Question

C'è un linguaggio indipendente dal linguaggio formale per descrivere un'API? Voglio definire una libreria di utilità per essere utilizzato in un certo numero di architetture e vorrebbe qualche modo per testare programatically che tutte le funzioni API sono state implementate e, idealmente, eseguire alcuni test di unità delle funzioni tra le piattaforme.

Per esempio, mi verrà voglia di scrivere un assembly .NET in C #, una libreria di Windows DLL in C ++, una biblioteca MacOS in Objective-C, ed un Linux condivisi in C ++.

Answer 1

Thrift :

Thrift è una chiamata di procedura remota (RPC) framework sviluppato presso Facebook per "sviluppo scalabili servizi cross-language". Esso combina uno stack software con un motore di generazione di codice per servizi di compilazione che il lavoro in modo efficiente e senza soluzione di continuità tra il C ++, C #, Java, Perl, Python, PHP, Erlang e Ruby. Nonostante sia stato sviluppato a Facebook, ora è un progetto open source in incubatrice Apache Software Foundation. L'implementazione è stata descritta in un documento tecnico aprile 2007 rilasciata da Facebook, ora ospitato su Apache .

Answer 2

Questo è il link buono: Interfaccia linguaggio di descrizione .