Перейти до вмісту

Франк Лейманн

Очікує на перевірку
Матеріал з Вікіпедії — вільної енциклопедії.
Франк Лейманн
Франк Лейманн
Франк Лейманн
Франк Лейманн
Народився25 вересня 1957(1957-09-25) (67 років)
Бохум, Німеччина
КраїнаНімецьке
Діяльністьдослідник, науковець
Alma materУніверситет Бохума
ГалузьКомп'ютерні науки
ЗакладУніверситет Штутгарта, Німеччина
IBM Research & Development, Німеччина
Університет Бохума, Німеччина
Вчене званняПрофесор
Науковий ступіньДоктор наук
Науковий керівникКарлхайнц Шпаллек
Аспіранти, докторантиOliver Koppd
Rania Khalafd[1]
Olaf Zimmermannd[1]
Jussi Vanhatalod[1]
Daniel Wutked[1]
Thorsten Scheiblerd[1]
Daniel Martind[1]
Ralph Mietznerd[1]
Joerg Nitsched[1]
Zhilei Mad[1]
Dieter Rollerd[1]
Matthias Wielandd[1]
Hanna Eberled[1]
Daniel Schleicherd[1]
Alexander Nowakd[1]
David Schummd[1]
Tobias Binzd[1]
Christoph Fehlingd[1]
Uwe Breitenbücherd[1]
Branimir Wetzsteind[1]
Johannes Wettingerd[1]
Marigianna Skouradakid[1]
Celal Timurhan Sungurd[1]
Johanna Barzend[1]
Santiago Gómez Sáezd[1]
ЧленствоЄвропейська академія[2]
Відомий завдяки:Архітектура програмного забезпечення
Великомасштабні Розподілені системи
Управління бізнес-процесами
Архітектура орієнтована на послуги
Хмарні обчислення
Мовні патерни
НагородиОбраний член, Академія технологій IBM (1996)
IBM Distinguished Engineer (2000)
Почесний доктор, Університет Крит (2015)
Обраний член, Академія Європи (2016)
Член, Центр інтегрованих квантових наук і технологій (IQST) (2019)
Професор з квантових обчислень, TU Wien (2020)
Феллоу WSO2 Technology (2023)
Почесний професор, TU Wien (2023)
Особ. сторінкаІнститут архітектури прикладних систем (IAAS)

Франк Лейманн (25 вересня 1957 року в Бохум) — німецький комп'ютерний вчений та математик. Він є професором комп'ютерних наук в Університет Штутгарта, Німеччина, а також директором і засновником Інституту архітектури прикладних систем (IAAS).[3]

Біографія

[ред. | ред. код]

Лейманн вивчав математика, фізика і астрономія, і отримав ступінь Магістр наук у галузі математики (тобто Dipl.-Math.) у 1982 році в Університет Бохума, Німеччина. Він працював у якості наукового співробітника на факультеті математики в Університеті Бохума, де здобув докторський ступінь у галузі математики (тобто Dr. rer. nat.) у 1984 році. У своїй дисертації він досліджував фоліація простору із сингулярностями. Після здобуття докторського ступеня він перейшов до IBM Research and Development, де зробив внесок у розробку програмних продуктів таких як DB2, Websphere або MQSeries. Лейманн був головним співавтором і головним архітектор програмного забезпечення продуктів управління бізнес-процесами і робочих процесів IBM, і був призначений Distinguished Engineer IBM за цю роботу. У 2004 році він був призначений професором комп'ютерних наук в Університет Штутгарта, де заснував Інститут архітектури прикладних систем. Він має багато патентів у галузі програмного забезпечення.[4]

Робота

[ред. | ред. код]

Основні внески Франка Лейманна походять з таких областей, як системи робочих процесів, архітектура орієнтована на послуги, хмарні обчислення, мовні патерни і квантові обчислення.

Управління базами даних

[ред. | ред. код]

Спочатку його увага була зосереджена на технології баз даних: Щоб спростити запити на реляційні бази даних з багатьма таблицями, Лейманн спільно розробив універсальну реляційну систему[5] на основі існуючих реляційних систем баз даних. Далі були внесені зміни в архітектурні аспекти збережені процедури і функції, визначені користувачем. Останні призвели до дослідження використання об'єктні бази даних, зокрема ObjectStore, як основи для іншого проміжного програмного забезпечення. На той час розробники не були дуже знайомі з об'єктними базами даних, тому Лейманн допоміг створити інструменти для забезпечення належної продуктивності відповідних застосунків.

Управління бізнес-процесами та системи робочих процесів

[ред. | ред. код]

Системи робочих процесів підтримують компанії в моделюванні, оптимізації та виконанні їх бізнес-процесів у комп'ютерних середовищах. Було запропоновано кілька мов для моделювання бізнес-процесів, з яких дві мови отримали широке визнання в промисловості: одна з них — це стандарт OASIS (організація) Business Process Execution Language (BPEL), який Лейманн спільно винайшов і який, у свою чергу, базується на Web Services Flow Language (WSFL), мові, яку Лейманн створив для IBM; інша мова — це Business Process Model and Notation 2.0 (BPMN), яку Лейманн також співавтор. Такі мови моделювання підтримують "програмування у великому масштабі" і дозволяють розділити високорівневу логіку управління і потоків даних у загальному додатку від його низькорівневої логіки, яка реалізує елементарні бізнес-функції; таким чином, можна створювати застосунки на основі робочих процесів[6], які дозволяють змінювати бізнес-процеси без необхідності змінювати програми, які реалізують окремі етапи процесу. Часто колекції таких етапів представляють тривалі транзакції, тобто виконані етапи повинні бути успішними або — у випадку помилки — повинні бути колективно скасовані; для підтримки цієї поведінки в бізнес-процесах Лейманн ввів компенсуючі транзакції в системи робочих процесів[7]. На основі його внеску в продукти IBM для робочих процесів, Лейманн співавтор книги "Production Workflow[8]", яка пояснює, як створювати масштабовані та надійні системи робочих процесів.

Службове обчислення

[ред. | ред. код]

Архітектура та реалізація систем робочих процесів передбачала багато аспектів програмування орієнтованого на послуги, таких як використання інтерфейсів послуг, викликачів послуг або слухачів послуг. Відповідно, з 2000 року Лейманн допомагав визначати кілька оригінальних стандартів веб-послуг, таких як WS-Addressing,[9] WS-Business Activity,[10] BPEL4People,[11] або Web Services Resource Framework.[12] Зокрема, агрегація веб-послуг була розглянута в BPEL і WSFL. Як безліч стандартів веб-послуг вписуються в архітектуру шини підприємства для послуг, описано в книзі про платформу веб-послуг[13], співавтором якої є Лейманн.

Хмарні обчислення

[ред. | ред. код]

Робота над ресурсною рамкою веб-послуг вже показала, що елементи обчислювальної інфраструктури, такі як апаратне забезпечення, операційні системи тощо, також можна сприймати як послуги — так само, як і функціональність програмного забезпечення. Відповідно, цілком можливе аутсорсинг застосунків у хмару, що потребує стандартів і технологій для постачання та управління такими застосунками в таких середовищах: Франк Лейманн був початковим співавтором OASIS TOSCA[14], мови, яка дозволяє визначати структуру застосунків, їх артефакти та залежності, а також асоційовану операційну семантику для автоматичного постачання таких застосунків. Група Лейманна в Університеті Штутгарта створила реалізацію цього стандарту з відкритим вихідним кодом під назвою OpenTOSCA.[15][16] Рекомендації щодо створення застосунків, які правильно вписуються в хмару, були розроблені спільно з промисловими партнерами і опубліковані як мова нейтральних до постачальника шаблонів хмарних обчислень.[17]

Шаблони мов

[ред. | ред. код]

Лейманн та його група досліджували використання мова шаблонів не тільки в області хмарних обчислень[18], але й у кількох інших сферах, таких як інтернет речей,[19] екологічні бізнес-процеси,[20][21] або квантові обчислення.[22] Запропоновано використання мов шаблонів для (напів)автоматичного переписування архітектури програмного забезпечення[23]. Шаблони є абстракціями конкретних робочих рішень, але в процесі абстракції знання про ці робочі рішення втрачаються — з наслідком, що робочі рішення створюються знову і знову, коли застосовується шаблон. Щоб уникнути цієї неефективності, досліджено та розроблено повторне використання конкретних рішень.[24][25][26] Щоб показати, що мови шаблонів і відповідні нові концепції застосовні поза сферою комп'ютерних наук, їх регулярно використовують у гуманітарних науках,[27] особливо в області фільмів[28][29] та музикознавстві.[30]

Квантові обчислення

[ред. | ред. код]

Квантові обчислення мають потенціал вирішувати проблеми, які сьогодні є невирішуваними.[31] Але програмування квантових комп'ютерів дуже відрізняється від програмування класичних комп'ютерів.[32] Щоб підтримати практиків, що розробляють рішення на основі квантових комп'ютерів, Лейманн та його група запропонували платформу для обміну знаннями про створення відповідних додатків.[33] В рамках проекту PlanQK[34] (який Лейманн очолював як науковий директор) ця платформа була створена. Інша робота зосереджена на методі розробки програмного забезпечення для розробки гібридних квантових додатків,[35] та відповідних інструментах розробки[36], що підтримують створення додатків навіть на шумних квантових комп'ютерах.[37]

Почесті та нагороди

[ред. | ред. код]

Примітки

[ред. | ред. код]
  1. ↑ а б в г д е ж и к л м н п р с т у ф х ц ш щ ю я Математичний генеалогічний проєкт — 1997.
  2. ↑ https://www.ae-info.org/ae/User/Leymann_Frank
  3. ↑ Інститут архітектури прикладних систем (IAAS). www.iaas.uni-stuttgart.de. Процитовано 18 грудня 2019.
  4. ↑ Espacenet Patent Search. worldwide.espacenet.com. Процитовано 18 грудня 2019.
  5. ↑ Leymann, Frank (March 1990). Universal Relation System. Data & Knowledge Engineering. 5 (1): 21—38. doi:10.1016/0169-023X(90)90031-8. Процитовано 24 грудня 2019.
  6. ↑ Leymann, F.; Roller, D. (1997). Workflow-Based Applications. IBM Systems Journal. 36: 102—123. doi:10.1147/sj.361.0102. S2CID 376168.
  7. ↑ F. Leymann: Supporting Business Transactions Via Partial Backward Recovery in Workflow Management Systems. In: Proc. BTW'95, 1995.
  8. ↑ F. Leymann, D. Roller: Production Workflow: Concepts and Techniques. PTR Prentice Hall, 2000.
  9. ↑ WS-Addressing. www.w3.org. Процитовано 26 грудня 2019.
  10. ↑ WS-Business Activity. docs.oasis-open.org. Процитовано 26 грудня 2019.
  11. ↑ BPEL4People. docs.oasis-open.org. Процитовано 26 грудня 2019.
  12. ↑ WSResourceProperties (PDF). docs.oasis-open.org. Процитовано 26 грудня 2019.
  13. ↑ S. Weerawarana, P. Curbera, F. Leymann, T. Storey, D.F. Ferguson: Web Services Platform Architecture. Prentice Hall, 2005.
  14. ↑ TOSCA. docs.oasis-open.org. Процитовано 26 грудня 2019.
  15. ↑ OpenTOSCA Overview. www.opentosca.org. Процитовано 26 грудня 2019.
  16. ↑ OpenTOSCA Repository. www.github.org. Процитовано 26 грудня 2019.
  17. ↑ Ch. Fehling, F. Leymann, R. Retter, W, Schupeck, P. Arbitter: Cloud Computing Patterns, Springer Wien, 2014. Abstract.
  18. ↑ Cloud Computing Patterns. cloudcomputingpatterns.org. Процитовано 26 грудня 2019.
  19. ↑ IoT Patterns. internetofthingspatterns.com. Процитовано 26 грудня 2019.
  20. ↑ 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
  21. ↑ 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)
  22. ↑ F. Leymann: Towards a Pattern Language for Quantum Algorithms. In: Proc. QTOP 2019 Abstract.
  23. ↑ 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
  24. ↑ 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
  25. ↑ 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
  26. ↑ 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
  27. ↑ 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
  28. ↑ J. Barzen, F. Leymann: Costume Languages As Pattern Languages. In: Proceedings of Pursuit of Pattern Languages for Societal Change - Preparatory Workshop 2014
  29. ↑ 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
  30. ↑ 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
  31. ↑ Національні академії наук, інженерії та медицини: Quantum Computing: Progress and Prospects. The National Academies Press, Washington, DC. 2019
  32. ↑ Jack D. Hidary: Quantum Computing: An Applied Approach. Springer 2019.
  33. ↑ 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).
  34. ↑ The PlanQK Project. www.planqk.de. Процитовано 12 лютого 2020.
  35. ↑ B. Weder, J. Barzen, F. Leymann, D. Vietz: Quantum Software Development Lifecycle. In: Quantum Software Engineering, Springer International Publishing, 2022
  36. ↑ Quantil. quantil.readthedocs.io/en/latest/. Процитовано 16 липня 2023.
  37. ↑ 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
  38. ↑ Frank Leymann Appointed Honorary Professorship. informatics.tuwien.ac.at. Процитовано 14 вересня 2023.
  39. ↑ Frank Leymann is Named First WSO2 Technology Fellow. wso2.com. Процитовано 4 серпня 2023.
  40. ↑ Frank Leymann Appointed First Kurt Gödel Visiting Professor. informatics.tuwien.ac.at. Процитовано 14 квітня 2021.
  41. ↑ Roadmap Quantencomputing (PDF). www.quantentechnologien.de/. Процитовано 2 травня 2021.
  42. ↑ AAIA. www.aaia-ai.org. Процитовано 16 липня 2023.
  43. ↑ IQST: Fellows. www.iqst.org. Процитовано 18 грудня 2019.

Зовнішні посилання

[ред. | ред. код]
Отримано з https://uk.wikipedia.org/w/index.php?title=Франк_Лейманн&oldid=43722235