Frank Leymann

Last updated

Frank Leymann
Frank Leymann.jpeg
Frank Leymann
Born (1957-09-25) September 25, 1957 (age 66)
Bochum, Germany
CitizenshipGerman
Alma mater University of Bochum
Known for Software Architecture
Large Scale Distributed Systems
Business Process Management
Service-Oriented Architecture
Cloud Computing
Pattern Languages
AwardsElected Member, IBM Academy of Technology (1996)

IBM Distinguished Engineer (2000)
Honorary Doctorate, University of Crete (2015)
Elected Member, Academia Europaea (2016)
Fellow, Center of Integrated Quantum Science and Technology (IQST) (2019)
Kurt Gödel Visiting Professor for Quantum Computing, TU Wien (2020)

WSO2 Technology Fellow (2023)

Contents


Honorary Professor, TU Wien (2023)
Scientific career
FieldsComputer Science
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). [1]

Biography

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. [2]

Work

Frank Leymann's main contributions are from the domains of workflow systems, service-oriented architecture, cloud computing, pattern languages and quantum computing.

Database management

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 [3] 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 its low-level logic implementing elementary business functions; this way, workflow-based applications [4] 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 [5] Based on his contributions to IBM's workflow products, Leymann co-authored the seminal book "Production Workflow [6] " that explains how to build scalable and reliable workflow systems.

Service computing

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, [7] WS-Business Activity, [8] BPEL4People, [9] or the Web Services Resource Framework. [10] 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 [11] co-authored by Leymann.

Cloud computing

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 [12] a language 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. [13] [14] 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. [15]

Pattern languages

Leymann and his group investigated the use of pattern languages not only in the area of cloud computing [16] but in several other domains like the internet of things, [17] green business processes, [18] [19] or quantum computing. [20] The use of pattern languages to (semi-)automatically rewrite the architecture of software [21] 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. [22] [23] [24] In order to show that pattern languages and corresponding new concepts are applicable outside of computer science, they are regularly applied in the humanities, [25] especially to the domain of films [26] [27] and musicology. [28]

Quantum Computing

Quantum computing has the potential to solve problems that are intractable today. [29] But programming quantum computers is very different from programming classical computers. [30] 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. [31] Within the project PlanQK [32] (which Leymann leads as scientific director) this platform is built. Other work focuses on a software engineering method for developing hybrid quantum applications, [33] and corresponding development tools [34] supporting the creation of applications even on noisy quantum computers. [35]

Honors and awards

Related Research Articles

<span class="mw-page-title-main">Computing</span> Activity involving calculations or computing machinery

Computing is any goal-oriented activity requiring, benefiting from, or creating computing machinery. It includes the study and experimentation of algorithmic processes, and development of both hardware and software. Computing has scientific, engineering, mathematical, technological and social aspects. Major computing disciplines include computer engineering, computer science, cybersecurity, data science, information systems, information technology and software engineering.

<span class="mw-page-title-main">Supercomputer</span> Type of extremely powerful computer

A supercomputer is a computer with a high level of performance as compared to a general-purpose computer. The performance of a supercomputer is commonly measured in floating-point operations per second (FLOPS) instead of million instructions per second (MIPS). Since 2017, supercomputers have existed which can perform over 1017 FLOPS (a hundred quadrillion FLOPS, 100 petaFLOPS or 100 PFLOPS). For comparison, a desktop computer has performance in the range of hundreds of gigaFLOPS (1011) to tens of teraFLOPS (1013). Since November 2017, all of the world's fastest 500 supercomputers run on Linux-based operating systems. Additional research is being conducted in the United States, the European Union, Taiwan, Japan, and China to build faster, more powerful and technologically superior exascale supercomputers.

In telecommunication, provisioning involves the process of preparing and equipping a network to allow it to provide new services to its users. In National Security/Emergency Preparedness telecommunications services, "provisioning" equates to "initiation" and includes altering the state of an existing priority service or capability.

The Organization for the Advancement of Structured Information Standards is a nonprofit consortium that works on the development, convergence, and adoption of open standards for cybersecurity, blockchain, Internet of things (IoT), emergency management, cloud computing, legal data exchange, energy, content technologies, and other areas.

Quantum Corporation is a data storage, management, and protection company that provides technology to store, manage, archive, and protect video and unstructured data throughout the data lifecycle. Their products are used by enterprises, media and entertainment companies, government agencies, big data companies, and life science organizations. Quantum is headquartered in San Jose, California and has offices around the world, supporting customers globally in addition to working with a network of distributors, VARs, DMRs, OEMs and other suppliers.

In software engineering, service-oriented architecture (SOA) is an architectural style that focuses on discrete services instead of a monolithic design. By consequence, it is also applied in the field of software design where services are provided to the other components by application components, through a communication protocol over a network. A service is a discrete unit of functionality that can be accessed remotely and acted upon and updated independently, such as retrieving a credit card statement online. SOA is also intended to be independent of vendors, products and technologies.

In system administration, orchestration is the automated configuring, coordinating, and managing of computer systems and software.

Quantum programming is the process of designing or assembling sequences of instructions, called quantum circuits, using gates, switches, and operators to manipulate a quantum system for a desired outcome or results of a given experiment. Quantum circuit algorithms can be implemented on integrated circuits, conducted with instrumentation, or written in a programming language for use with a quantum computer or a quantum processor.

A workflow pattern is a specialized form of design pattern as defined in the area of software engineering or business process engineering. Workflow patterns refer specifically to recurrent problems and proven solutions related to the development of workflow applications in particular, and more broadly, process-oriented applications.

A workflow management system provides an infrastructure for the set-up, performance, and monitoring of a defined sequence of tasks arranged as a workflow application.

In information systems, applications architecture or application architecture is one of several architecture domains that form the pillars of an enterprise architecture (EA).

<span class="mw-page-title-main">WSO2</span> Company providing open-source middleware

WSO2 is an open-source technology provider founded in 2005. It delivers software and cloud solutions that provide foundational technologies for application development and identity and access management (IAM). This represents an expansion upon its original focus on integrating application programming interfaces (APIs), applications, and web services locally and across the Internet.

<span class="mw-page-title-main">Cloud computing</span> Form of shared Internet-based computing

Cloud computing is the on-demand availability of computer system resources, especially data storage and computing power, without direct active management by the user. Large clouds often have functions distributed over multiple locations, each of which is a data center. Cloud computing relies on sharing of resources to achieve coherence and typically uses a pay-as-you-go model, which can help in reducing capital expenses but may also lead to unexpected operating expenses for users.

<span class="mw-page-title-main">Sanjiva Weerawarana</span> Sri Lankan computer scientist and entrepreneur.

Sanjiva Weerawarana is a CEO, software developer and open-source software evangelist. He is known for his work on Web Services standards including WSDL, BPEL, and WS-Addressing. He is the founder, chairman and CEO of WSO2, an open-source middleware company, and creator of the Ballerina programming language. His involvement with the Apache Software Foundation includes project work on SOAP, Apache Axis and Apache Axis2.

Business process management (BPM) is the discipline in which people use various methods to discover, model, analyze, measure, improve, optimize, and automate business processes. Any combination of methods used to manage a company's business processes is BPM. Processes can be structured and repeatable or unstructured and variable. Though not required, enabling technologies are often used with BPM.

Service choreography in business computing is a form of service composition in which the interaction protocol between several partner services is defined from a global perspective. The idea underlying the notion of service choreography can be summarised as follows:

"Dancers dance following a global scenario without a single point of control"

Topology and Orchestration Specification for Cloud Applications (TOSCA), is an OASIS standard language to describe a topology of cloud based web services, their components, relationships, and the processes that manage them. The TOSCA standard includes specifications of a file archive format called CSAR.

IBM Quantum Platform is an online platform allowing public and premium access to cloud-based quantum computing services provided by IBM. This includes access to a set of IBM's prototype quantum processors, a set of tutorials on quantum computation, and access to an interactive textbook. As of February 2021, there are over 20 devices on the service, six of which are freely available for the public. This service can be used to run algorithms and experiments, and explore tutorials and simulations around what might be possible with quantum computing.

Cloud-based quantum computing is the invocation of quantum emulators, simulators or processors through the cloud. Increasingly, cloud services are being looked on as the method for providing access to quantum processing. Quantum computers achieve their massive computing power by initiating quantum physics into processing power and when users are allowed access to these quantum-powered computers through the internet it is known as quantum computing within the cloud.

Quantinuum is a quantum computing company formed by the merger of Cambridge Quantum and Honeywell Quantum Solutions. The company's H-Series trapped-ion quantum computers set the highest quantum volume to date of 524,288. This architecture supports all-to-all qubit connectivity, allowing entangled states to be created between all qubits, and enables a high fidelity of quantum states.

References

  1. "Institute of Architecture of Application Systems (IAAS)". www.iaas.uni-stuttgart.de. Retrieved 18 December 2019.
  2. "Espacenet Patent Search". worldwide.espacenet.com. Retrieved 18 December 2019.
  3. Leymann, Frank (March 1990). "Universal Relation System". Data & Knowledge Engineering. 5 (1): 21–38. doi:10.1016/0169-023X(90)90031-8 . Retrieved 24 December 2019.
  4. Leymann, F.; Roller, D. (1997). "Workflow-Based Applications". IBM Systems Journal. 36: 102–123. doi:10.1147/sj.361.0102. S2CID   376168.
  5. F. Leymann: Supporting Business Transactions Via Partial Backward Recovery in Workflow Management Systems. In: Proc. BTW'95, 1995.
  6. F. Leymann, D. Roller: Production Workflow: Concepts and Techniques. PTR Prentice Hall, 2000.
  7. "WS-Addressing". www.w3.org. Retrieved 26 December 2019.
  8. "WS-Business Activity". docs.oasis-open.org. Retrieved 26 December 2019.
  9. "BPEL4People". docs.oasis-open.org. Retrieved 26 December 2019.
  10. "WSResourceProperties" (PDF). docs.oasis-open.org. Retrieved 26 December 2019.
  11. S. Weerawarana, P. Curbera, F. Leymann, T. Storey, D.F. Ferguson: Web Services Platform Architecture. Prentice Hall, 2005.
  12. "TOSCA". docs.oasis-open.org. Retrieved 26 December 2019.
  13. "OpenTOSCA Overview". www.opentosca.org. Retrieved 26 December 2019.
  14. "OpenTOSCA Repository". www.github.org. Retrieved 26 December 2019.
  15. Ch. Fehling, F. Leymann, R. Retter, W, Schupeck, P. Arbitter: Cloud Computing Patterns, Springer Wien, 2014. Abstract.
  16. "Cloud Computing Patterns". cloudcomputingpatterns.org. Retrieved 26 December 2019.
  17. "IoT Patterns". internetofthingspatterns.com. Retrieved 26 December 2019.
  18. 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
  19. 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)
  20. F. Leymann: Towards a Pattern Language for Quantum Algorithms. In: Proc. QTOP 2019 Abstract.
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. J. Barzen, F. Leymann: Costume Languages As Pattern Languages. In: Proceedings of Pursuit of Pattern Languages for Societal Change - Preparatory Workshop 2014
  27. 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
  28. 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
  29. National Academies of Sciences, Engineering, and Medicine: Quantum Computing: Progress and Prospects. The National Academies Press, Washington, DC. 2019
  30. Jack D. Hidary: Quantum Computing: An Applied Approach. Springer 2019.
  31. 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).
  32. "The PlanQK Project". www.planqk.de. Retrieved 12 February 2020.
  33. B. Weder, J. Barzen, F. Leymann, D. Vietz: Quantum Software Development Lifecycle. In: Quantum Software Engineering, Springer International Publishing, 2022
  34. "Quantil". quantil.readthedocs.io/en/latest/. Retrieved 16 July 2023.
  35. F. Leymann, J. Barzen: The bitter truth about gate-based quantum algorithms in the NISQ era. In: Quantum Science and Technology, IOP Publishing Ltd, 2020
  36. "Frank Leymann Appointed Honorary Professorship". informatics.tuwien.ac.at. Retrieved 14 September 2023.
  37. "Frank Leymann is Named First WSO2 Technology Fellow". wso2.com. Retrieved 4 August 2023.
  38. "Frank Leymann Appointed First Kurt Gödel Visiting Professor". informatics.tuwien.ac.at. Retrieved 14 April 2021.
  39. "Roadmap Quantencomputing" (PDF). www.quantentechnologien.de/. Retrieved 2 May 2021.
  40. "AAIA". www.aaia-ai.org. Retrieved 16 July 2023.
  41. "IQST: Fellows". www.iqst.org. Retrieved 18 December 2019.