Ingeniero distinguido de IBM (2000)
Doctorado honorario , Universidad de Creta (2015)
Miembro electo, Academia Europaea (2016)
Miembro, Centro de ciencia y tecnología cuántica integrada (IQST) (2019)
Frank Leymann (25 de septiembre de 1957 en Bochum ) es un científico informático y matemático alemán . Es profesor de informática en la Universidad de Stuttgart , Alemania, y director y fundador del Instituto de Arquitectura de Sistemas de Aplicación (IAAS). [1]
Leymann estudió Matemáticas , Física y Astronomía , y recibió una Maestría en Ciencias en Matemáticas (es decir, Dipl.-Math.) en 1982 de la Universidad de Bochum , Alemania. Trabajó como miembro del personal de investigación en la Facultad de Matemáticas de la Universidad de Bochum, donde obtuvo su doctorado en Matemáticas (es decir, Dr. rer. nat.) en 1984. En su tesis doctoral estudió foliaciones en espacios con singularidades. Después de su doctorado, pasó a IBM Research and Development contribuyendo a productos de software como DB2 , Websphere o MQSeries . Leymann fue co-inventor principal y jefearquitecto de software de los productos de flujo de trabajo y gestión de procesos empresariales de IBM , y fue nombrado Ingeniero Distinguido de IBM por este trabajo. En 2004, fue nombrado profesor titular de informática en la Universidad de Stuttgart , donde fundó el Instituto de Arquitectura de Sistemas de Aplicación. Tiene muchas patentes concedidas en el área de software. [2]
Las principales contribuciones de Frank Leymann provienen de los dominios de los sistemas de flujo de trabajo, la arquitectura orientada a servicios y la computación en la nube . También está activo en el área de la computación cuántica .
Su enfoque inicial fue la tecnología de bases de datos: para simplificar las consultas en bases de datos relacionales con muchas tablas, Leymann co-desarrolló un sistema de relación universal [3] además de los sistemas de bases de datos relacionales existentes. Siguieron las contribuciones a los aspectos arquitectónicos de los procedimientos almacenados y las funciones definidas por el usuario . Este último resultó en la investigación del uso de bases de datos de objetos , especialmente ObjectStore , como base de otro middleware. En ese momento, los desarrolladores no estaban familiarizados con las bases de datos de objetos, por lo que Leymann ayudó a crear herramientas para garantizar el rendimiento adecuado de las aplicaciones correspondientes.
Los sistemas de flujo de trabajo ayudan a las empresas a modelar, optimizar y ejecutar sus procesos comerciales en entornos informáticos. Se han propuesto varios lenguajes para modelar procesos de negocios, de los cuales dos lenguajes son ampliamente compatibles en la industria: uno de los cuales es el Lenguaje de Ejecución de Procesos de Negocios (BPEL) estándar de OASIS (organización) que Leymann co-inventó y que a su vez se basa en Web . Services Flow Language (WSFL), un lenguaje creado por Leymann para IBM; el otro idioma es el modelo de proceso comercial y la notación2.0 (BPMN), del que también es coautor Leymann. Dichos lenguajes de modelado admiten la "programación en general" y permiten dividir la lógica de alto nivel de control y flujo de datos dentro de una aplicación general de la lógica de bajo nivel que implementa funciones comerciales elementales; de esta manera, se pueden crear aplicaciones basadas en flujos de trabajo [4] , que permiten cambiar los procesos comerciales sin tener que cambiar los programas que implementan los pasos individuales del proceso. A menudo, las colecciones de dichos pasos representan transacciones de ejecución prolongada , es decir, los pasos realizados deben tener éxito o, en caso de error, deben deshacerse colectivamente; para respaldar este comportamiento en los procesos comerciales, Leymann introdujo transacciones de compensación en los sistemas de flujo de trabajo [5]Sobre la base de sus contribuciones a los productos de flujo de trabajo de IBM, Leymann es coautor del libro fundamental "Flujo de trabajo de producción [6] " que explica cómo crear sistemas de flujo de trabajo escalables y confiables.