|Born||September 25, 1957|
|Alma mater||University of Bochum|
|Known for||Software Architecture|
Large Scale Distributed Systems
Business Process Management
|Awards||Elected Member, IBM Academy of Technology (1996)|
|Institutions||University of Stuttgart, Germany|
IBM Research & Development, Germany
University of Bochum, Germany
|Thesis||Blätterungen von Räumen mit Singularitäten ("Foliations of Spaces with Singularities") (1984)|
|Doctoral advisor||Karl-Heinz Spallek|
Frank Leymann (25 September 1957 in Bochum) is a German computer scientist and mathematician. He is professor of computer science at the University of Stuttgart, Germany, and director and founder of the Institute of Architecture of Application Systems (IAAS).
Leymann studied Mathematics, Physics and Astronomy, and received a Master of Science degree in Mathematics (i.e. Dipl.-Math.) in 1982 from University of Bochum, Germany. He worked as research staff member in the Faculty of Mathematics at University of Bochum, where he obtained his PhD in Mathematics (i.e. Dr. rer. nat.) in 1984. In his PhD thesis he studied foliations on spaces with singularities. After his PhD he went to IBM Research and Development contributing to software products like DB2, Websphere, or MQSeries. Leymann was main co-inventor and chief software architect of IBM's business process management and workflow products, and was appointed IBM Distinguished Engineer for this work. In 2004, he was appointed full professor of computer science at University of Stuttgart where he founded the Institute of Architecture of Application Systems. He holds many granted patents in the area of software.
His initial focus was on database technology: In order to simplify queries on relational databases with many tables, Leymann co-developed a universal relation system on top of existing relational database systems. Contributions to architectural aspects of stored procedures and user defined functions followed. The latter resulted in investigating the use of object databases, especially ObjectStore, as the underpinning of other middleware. At this time, developers were quite unfamiliar with object databases, thus, Leymann helped to create tooling to ensure proper performance of corresponding applications.
Business process management & workflow systems
Workflow systems support companies in modeling, optimizing, and executing their business processes in computing environments. Several languages have been proposed for modeling business processes, out which two languages are widely supported in industry: one of which is the OASIS (organization) standard Business Process Execution Language (BPEL) that Leymann co-invented and which in turn is based on Web Services Flow Language (WSFL), a language that Leymann authored for IBM; the other language is Business Process Model and Notation 2.0 (BPMN), which Leymann co-author too. Such modeling languages support "programming in the large " and allow splitting high-level logic of control- and data flow within an overall application from low-level logic implementing elementary business functions; this way, workflow-based applications can be created, that allow changing business processes without having to change the programs implementing individual steps of the process. Often, collections of such steps represent long running transactions, i.e. performed steps must succeed or - in case of an error - must be collectively undone; to support this behavior in business processes Leymann introduced compensating transactions in workflow systems Based on his contributions to IBM's workflow products, Leymann co-authored the seminal book "Production Workflow " that explains how to build scalable and reliable workflow systems.
The architecture and implementation of workflow systems anticipated many aspects of service-oriented programming like the use of service interfaces, service invoker, or service listener. Consequently, from 2000 on, Leymann helped to define several of the original web service standards like WS-Addressing, WS-Business Activity, BPEL4People, or the Web Services Resource Framework. Especially, aggregation of web services has been addressed by BPEL and WSFL. How the plethora of web service standards fit into an architecture for an enterprise service bus was described in a book on the web service platform co-authored by Leymann.
The work on the web services resource framework had already shown that elements of a computing infrastructure like hardware, operating systems etc. can be perceived as services too - just like software functionality. Consequently, complete applications can be outsource to the cloud, which requires standards and technology to provision and manage applications in such environments: Frank Leymann was initial co-author of OASIS TOSCA that allows to specify the structure of applications, their artifacts, and dependencies, as well as the associated operational semantics to automatically provision such applications. Leymann's group at University of Stuttgart built an open source implementation of this standard called OpenTOSCA. Guidelines for building applications that fit properly into the cloud have been derived jointly with industry partners and was published as a vendor-neutral language of cloud computing patterns.
Leymann and his group investigated the use of pattern languages not only in the area of cloud computing but in several other domains like the internet of things, green business processes, or quantum computing. The use of pattern languages to (semi-)automatically rewrite the architecture of software has been suggested. Patterns are abstractions of concrete working solutions, but in course of the abstraction process the knowledge about these workings solutions is lost - with the consequence that working solutions are created over and over again when a pattern is applied. To avoid this ineffectiveness, the reuse of concrete solutions has been investigated and worked out. In order to show that newly developed concepts are applicable outside of computer science they are applied to the humanities, especially to the domain of films and musicology.
Quantum computing has the potential to solve problems that are intractable today. But programming quantum computers is very different from programming classical computers. In order to support practitioners building solutions based on quantum computers, Leymann and his group proposed a platform for sharing knowledge about building corresponding applications. Within the project PlanQK (which Leymann leads as scientific director) this platform is built. Other work focuses on development tools supporting the creation of applications on noisy quantum computers.
Honors and awards
- Appointment, Kurt Gödel Visiting Professor for Quantum Computing, TU Wien (2020)
- Appointment, Member of the Expert Council for Quantum Computing of the German Government (2020)
- Fellow, Center of Integrated Quantum Science and Technology (IQST) (2019)
- Elected Member, Academia Europaea (2016)
- Honorary Doctorate, University of Crete (2015)
- Appointment to IBM Distinguished Engineer (2000)
- Honorary Professor, University of Stuttgart (1999)
- Elected Member, IBM Academy of Technology (1996)
- "Institute of Architecture of Application Systems (IAAS)". www.iaas.uni-stuttgart.de. Retrieved 18 December 2019.
- "Espacenet Patent Search". worldwide.espacenet.com. Retrieved 18 December 2019.
- "Universal Relation System". www.sciencedirect.com. Retrieved 24 December 2019.
- Leymann, F.; Roller, D. (1997). "Workflow-Based Applications". IBM Systems Journal. 36: 102–123. doi:10.1147/sj.361.0102. S2CID 376168.
- F. Leymann: Supporting Business Transactions Via Partial Backward Recovery in Workflow Management Systems. In: Proc. BTW'95, 1995.
- F. Leymann, D. Roller: Production Workflow: Concepts and Techniques. PTR Prentice Hall, 2000.
- "WS-Addressing". www.w3.org. Retrieved 26 December 2019.
- "WS-Business Activity". docs.oasis-open.org. Retrieved 26 December 2019.
- "BPEL4People". docs.oasis-open.org. Retrieved 26 December 2019.
- "WSResourceProperties" (PDF). docs.oasis-open.org. Retrieved 26 December 2019.
- S. Weerawarana, P. Curbera, F. Leymann, T. Storey, D.F. Ferguson: Web Services Platform Architecture. Prentice Hall, 2005.
- "TOSCA". docs.oasis-open.org. Retrieved 26 December 2019.
- "OpenTOSCA Overview". www.opentosca.org. Retrieved 26 December 2019.
- "OpenTOSCA Repository". www.github.org. Retrieved 26 December 2019.
- Ch. Fehling, F. Leymann, R. Retter, W, Schupeck, P. Arbitter: Cloud Computing Patterns, Springer Wien, 2014. Abstract.
- "Cloud Computing Patterns". cloudcomputingpatterns.org. Retrieved 26 December 2019.
- "IoT Patterns". internetofthingspatterns.com. Retrieved 26 December 2019.
- A. Nowak, F. Leymann, D. Schleicher, D. Schumm, S. Wagner: Green Business Process Patterns. In: Proceedings of the 18th Conference on Pattern Languages of Programs, PLoP 2011
- A. Nowak, F. Leymann: Green Business Process Patterns - Part II. In: Proceedings of the 6th IEEE International Conference on Service Oriented Computing & Applications (SOCA 2013)
- F. Leymann: Towards a Pattern Language for Quantum Algorithms. In: Proc. QTOP 2019 Abstract.
- J. Guth, F. Leymann: Pattern-based rewrite and refinement of architectures using graph theory. In: Software-Intensive Cyber-Physical Systems (SICS), Springer Berlin Heidelberg, 2019
- M. Falkenthal, J. Barzen, U. Breitenbücher, Ch. Fehling, F. Leymann: Efficient Pattern Application: Validating the Concept of Solution Implementations in Different Domains. In: International Journal on Advances in Software Vol. 7 (3&4), Xpert Publishing Services, 2014
- M. Falkenthal, F. Leymann: Easing Pattern Application by Means of Solution Languages. In: Proceedings of the 9th International Conferences on Pervasive Patterns and Applications (PATTERNS), 2017
- M. Falkenthal, U. Breitenbücher, J. Barzen, F. Leymann: On the algebraic properties of concrete solution aggregation. In: SICS Software-Intensive Cyber-Physical Systems, Springer, 2019
- J. Barzen, F. Leymann: Patterns as Formulas: Patterns in the Digital Humanities. In: Proceedings of the Ninth International Conferences on Pervasive Patterns and Applications (PATTERNS), 2017
- J. Barzen, F. Leymann: Costume Languages As Pattern Languages. In: Proceedings of Pursuit of Pattern Languages for Societal Change - Preparatory Workshop 2014
- M. Falkenthal, J. Barzen, U. Breitenbücher, S. Brügmann, D. Joos, F. Leymann, M. Wurster: Pattern Research in the Digital Humanities: How Data Mining Techniques Support the Identification of Costume Patterns. In: Computer Science - Research and Development Vol. 32 (3-4), Heidelberg: Springer, 2016
- J. Barzen, U. Breitenbücher, L. Eusterbrock, M. Falkenthal, F. Hentschel, F. Leymann: The vision for MUSE4Music. Applying the MUSE method in musicology. In: Computer Science - Research and Development Vol. 32 (3-4), Heidelberg: Springer, 2016
- National Academies of Sciences, Engineering, and Medicine: Quantum Computing: Progress and Prospects. The National Academies Press, Washington, DC. 2019
- Jack D. Hidary: Quantum Computing: An Applied Approach. Springer 2019.
- F. Leymann, J. Barzen, M. Falkenthal: Towards a Platform for Sharing Quantum Software. Proceedings of the 13th Advanced Summer School on Service Oriented Computing (2019).
- "The PlanQK Project". www.planqk.de. Retrieved 12 February 2020.
- "Frank Leymann Appointed First Kurt Gödel Visiting Professor". informatics.tuwien.ac.at. Retrieved 14 April 2021.
- "Roadmap Quantencomputing" (PDF). www.quantentechnologien.de/. Retrieved 2 May 2021.
- "IQST: Fellows". www.iqst.org. Retrieved 18 December 2019.