Définition de l'API formelle et testable

Question

Y at-il un langage indépendant langage formel pour décrire une API? Je veux définir une bibliothèque utilitaire à utiliser à travers un certain nombre d'architectures et que vous souhaitez un moyen de test programatically que toutes les fonctions de l'API ont été mises en œuvre et, idéalement, faire quelques tests unitaires des fonctions différentes plates-formes.

Par exemple, je vais vouloir écrire une Assemblée .Net en C #, une DLL de Windows en C ++, une bibliothèque MacOS en Objective-C, et une bibliothèque partagée Linux en C ++.

Answer 1

Thrift :

  

Thrift est un cadre appel de procédure distante (RPC) développé à Facebook pour « le développement des services évolutifs inter-linguistiques ». Il combine une pile logicielle avec un moteur de génération de code aux services de construction que le travail efficacement et de façon transparente entre C ++, C #, Java, Perl, Python, PHP, Ruby et Erlang. Bien que développé à Facebook, il est maintenant un projet open source Apache Software Foundation incubateur. La mise en œuvre a été décrite dans un document technique Avril 2007 Diffusé par Facebook, maintenant hébergé sur Apache .

Answer 2

Voici un bon lien: langue Description de l'interface .