API definición formal y comprobable
https://stackoverflow.com/questions/4736326
-
12-10-2019 - |
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
RussianPregunta
¿Hay un lenguaje formal independiente del lenguaje para describir una API? Quiero definir una biblioteca de utilidades para ser utilizado a través de un número de arquitecturas y le gustaría de alguna manera a prueba mediante programación que todas las funciones de la API se han aplicado y, a ser posible, hacer algunas pruebas unitarias de las funciones a través de plataformas.
Por ejemplo, me va a querer escribir un ensamblado de .NET en C #, un DLL de Windows en C ++, una biblioteca MacOS en Objective-C, y una biblioteca compartida de Linux en C ++.
Solución
Thrift :
El ahorro es una llamada a procedimiento remoto (RPC) de la estructura desarrollada en Facebook como "desarrollo escalables servicios en idioma cruz". Combina una pila de software con un motor de generación de código a los servicios de construcción que el trabajo de manera eficiente y sin problemas entre C ++, C #, Java, Perl, Python, PHP, Erlang y Ruby. Aunque se desarrolló en Facebook, ahora es un proyecto de código abierto en la Apache Software Foundation Incubadora. La implementación se describe en un documento técnico de abril de año 2007 publicados por Facebook, ahora alojado en Apache .
Otros consejos
Aquí hay un enlace bueno: interfaz de lenguaje de descripción de .
