Frank Leymann - Frank Leymann

Frank Leymann
Frank Leymann.jpeg
Frank Leymann
narozený1957 (věk 62–63)
Bochum, Německo
Státní občanstvíNěmec
Alma materUniversity of Bochum
Známý jakoSoftwarová architektura
Velké měřítko Distribuované systémy
Řízení podnikových procesů
Architektura zaměřená na služby
Cloud Computing
Vzorové jazyky
OceněníZvolený člen, IBM Academy of Technology (1996)

IBM Distinguished Engineer (2000)
Čestný doktorát, University of Crete (2015)
Zvolený člen, Academia Europaea (2016)

Kolega, Centrum integrované kvantové vědy a technologie (IQST) (2019)
Vědecká kariéra
PolePočítačová věda
InstituceUniversity of Stuttgart, Německo
Výzkum a vývoj IBM, Německo
University of Bochum, Německo
TezeBlätterungen von Räumen mit Singularitäten („Foliace prostorů se singularitami“) (1984)
Doktorský poradceKarl-Heinz Spallek
Doktorandi(seznam)

Frank Leymann (25 září 1957 v Bochum ) je Němec počítačový vědec a matematik. Je profesorem informatiky na University of Stuttgart, Německo a ředitel a zakladatel Institutu architektury aplikačních systémů (IAAS).[1]

Životopis

Leymann studoval Matematika, Fyzika a Astronomie a obdržel Mistr vědy diplom z matematiky (tj. Dipl.-Math.) v roce 1982 od University of Bochum, Německo. Pracoval jako vědecký pracovník na Matematické fakultě Univerzity v Bochumu, kde v roce 1984 získal doktorát z matematiky (tj. Dr. rer. Nat.). Ve své disertační práci studoval foliace v prostorech se singularitami. Po ukončení doktorského studia odešel do IBM Výzkum a vývoj přispívající k softwarovým produktům, jako je DB2, Websphere nebo MQSeries. Leymann byl hlavním spoluvynálezcem a šéfem softwarový architekt IBM řízení podnikových procesů a Pracovní postup produktů a pro tuto práci byl jmenován IBM Distinguished Engineer. V roce 2004 byl jmenován řádným profesorem informatiky na University of Stuttgart kde založil Ústav architektury aplikačních systémů. Je držitelem mnoha udělených patenty v oblasti softwaru.[2]

Práce

Hlavní příspěvky Franka Leymanna pocházejí z domén Pracovní postup systémy, architektura orientovaná na služby, a cloud computing. Působí také v oblasti kvantové výpočty.

Správa databáze

Jeho počáteční zaměření bylo na databázovou technologii: Za účelem zjednodušení dotazů na relační databáze s mnoha tabulkami Leymann vyvinul univerzální relační systém[3]nad rámec existujících systémů relačních databází. Příspěvky k architektonickým aspektům uložené procedury a uživatelem definované funkce následoval. Posledně jmenovaný vyústil ve vyšetřování použití objektové databáze, zvláště ObjectStore, jako základ jiného middlewaru. V této době vývojáři nebyli dostatečně obeznámeni s databázemi objektů, a proto společnost Leymann pomohla vytvořit nástroje pro zajištění správného výkonu odpovídajících aplikací.

Systémy pro správu podnikových procesů a pracovní postupy

Systémy pracovního toku podporují společnosti při modelování, optimalizaci a provádění podnikové procesy ve výpočetním prostředí. Pro modelování obchodních procesů bylo navrženo několik jazyků, z nichž dva jsou v průmyslu široce podporovány: jedním z nich je OASIS (organizace) Standard Jazyk provádění obchodních procesů (BPEL), který Leymann spoluvynalezl a který je zase založen na Jazyk toku webových služeb (WSFL), jazyk, který Leymann vytvořil pro IBM; jiný jazyk je Model obchodního procesu a notace 2.0 (BPMN), které spoluautorem Leymann také. Takové modelovací jazyky podporují „programování ve velkém“ a umožňují rozdělení logiky řízení na vysoké úrovni a toku dat v rámci celkové aplikace od logiky implementující základní obchodní funkce na nízké úrovni; tímto způsobem, aplikace založené na pracovním toku[4] mohou být vytvořeny, které umožňují měnit obchodní procesy, aniž byste museli měnit programy implementující jednotlivé kroky procesu. Kolekce takových kroků často představují dlouhodobé transakce, tj. provedené kroky musí uspět nebo - v případě chyby - musí být kolektivně vráceny; na podporu tohoto chování v obchodních procesech představila společnost Leymann kompenzační transakce v systémech pracovního toku[5]Na základě svých příspěvků k produktům IBM pro pracovní postupy, Leymann spoluautorem klíčové knihy „Výrobní pracovní postup[6] „to vysvětluje, jak vytvořit škálovatelné a spolehlivé systémy pracovního toku.

Výpočet služby

Architektura a implementace systémů pracovního toku předvídala mnoho aspektů programování orientované na služby jako je používání servisních rozhraní, vyvolávač služeb nebo posluchač služeb. Od roku 2000 proto Leymann pomohl definovat několik originálů webová služba standardy jako WS-adresování,[7] WS-obchodní činnost,[8] BPEL4Lidé,[9] nebo Rámec zdrojů webových služeb.[10] BPEL a WSFL se zabývaly zejména agregací webových služeb. Jak nepřeberné množství standardů webových služeb zapadá do architektury pro podnikový servisní autobus byl popsán v knize o platformě webových služeb[11] spoluautorem Leymann.

Cloudové výpočty

Práce na rámci prostředků webových služeb již ukázala, že prvky výpočetní infrastruktury, jako je hardware, operační systémy atd., Lze také vnímat jako služby - stejně jako funkce softwaru. V důsledku toho lze kompletní aplikace outsourcovat do cloudu, což vyžaduje standardy a technologii pro poskytování a správu aplikací v takových prostředích: Frank Leymann byl původním spoluautorem OASIS TOSCA[12] který umožňuje specifikovat strukturu aplikací, jejich artefakty a závislosti a také související operační sémantiku k automatickému zajišťování těchto aplikací. Skupina Leymann na univerzitě ve Stuttgartu vytvořila implementaci tohoto standardu s otevřeným zdrojovým kódem nazvanou OpenTOSCA.[13][14] Pokyny pro vytváření aplikací, které správně zapadají do cloudu, byly odvozeny společně s průmyslovými partnery a byly publikovány jako dodavatel neutrálního jazyka vzorců cloudového výpočtu.[15]

Vzorové jazyky

Leymann a jeho skupina zkoumali použití vzorové jazyky nejen v oblasti cloud computingu[16] ale v několika dalších doménách, jako je Internet věcí,[17] zelené obchodní procesy,[18][19] nebo kvantové výpočty.[20] Použití vzorových jazyků k (semi-) automatickému přepsání architektury softwaru[21] bylo navrženo. Vzory jsou abstrakce konkrétních pracovních řešení, ale v průběhu procesu abstrakce se znalosti o těchto pracovních řešeních ztrácejí - v důsledku toho se pracovní řešení vytvářejí znovu a znovu, když se použije vzor. Aby se zabránilo této neúčinnosti, bylo zkoumáno a rozpracováno opětovné použití konkrétních řešení.[22][23][24] Aby se ukázalo, že nově vyvinuté koncepty jsou použitelné i mimo informatiku, jsou aplikovány na humanitní vědy,[25] zejména do oblasti filmů[26][27] a muzikologie.[28]

Kvantové výpočty

Kvantové výpočty mají potenciál řešit problémy, které jsou dnes neřešitelné.[29] Programování kvantových počítačů se ale velmi liší od programování klasických počítačů.[30] Za účelem podpory odborníků při budování řešení založených na kvantových počítačích navrhl Leymann a jeho skupina platformu pro sdílení znalostí o vytváření odpovídajících aplikací.[31] V rámci projektu PlanQK[32] (kterou Leymann vede jako vědecký ředitel) je tato platforma postavena.

Vyznamenání a ocenění

  • Kolega, Centrum integrované kvantové vědy a technologie (IQST)[33] (2019)
  • Zvolený člen, Academia Europaea (2016)
  • Čestný doktorát, Krétská univerzita (2015)
  • Jmenování do společnosti IBM Distinguished Engineer (2000)
  • Čestný profesor, Stuttgartská univerzita (1999)
  • Zvolený člen, IBM Academy of Technology (1996)

Reference

  1. ^ „Institut architektury aplikačních systémů (IAAS)“. www.iaas.uni-stuttgart.de. Citováno 18. prosince 2019.
  2. ^ „Hledání patentu Espacenet“. celosvětově.espacenet.com. Citováno 18. prosince 2019.
  3. ^ „Universal Relation System“. www.sciencedirect.com. Citováno 24. prosince 2019.
  4. ^ Leymann, F .; Roller, D. (1997). "Aplikace založené na pracovních postupech". IBM Systems Journal. 36: 102–123. doi:10.1147 / sj.361.0102. S2CID  376168.
  5. ^ F. Leymann: Podpora obchodních transakcí prostřednictvím částečného zpětného zotavení v systémech řízení pracovního toku. In: Proc. BTW'95, 1995.
  6. ^ F. Leymann, D. Roller: Pracovní postup výroby: Koncepty a techniky. PTR Prentice Hall, 2000.
  7. ^ „WS-Addressing“. www.w3.org. Citováno 26. prosince 2019.
  8. ^ „WS-Business Activity“. docs.oasis-open.org. Citováno 26. prosince 2019.
  9. ^ „BPEL4People“. docs.oasis-open.org. Citováno 26. prosince 2019.
  10. ^ „WSResourceProperties“ (PDF). docs.oasis-open.org. Citováno 26. prosince 2019.
  11. ^ S. Weerawarana, P. Curbera, F. Leymann, T. Storey, D.F. Ferguson: Architektura platformy webových služeb. Prentice Hall, 2005.
  12. ^ „TOSCA“. docs.oasis-open.org. Citováno 26. prosince 2019.
  13. ^ „Přehled OpenTOSCA“. www.opentosca.org. Citováno 26. prosince 2019.
  14. ^ „Repozitář OpenTOSCA“. www.github.org. Citováno 26. prosince 2019.
  15. ^ Ch. Fehling, F. Leymann, R. Retter, W, Schupeck, P. Arbitter: Cloud Computing Patterns, Springer Wien, 2014. Abstraktní.
  16. ^ „Cloud Computing Patterns“. cloudcomputingpatterns.org. Citováno 26. prosince 2019.
  17. ^ „IoT Patterns“. internetofthingspatterns.com. Citováno 26. prosince 2019.
  18. ^ A. Nowak, F. Leymann, D. Schleicher, D. Schumm, S. Wagner: Zelené obchodní procesy. In: Sborník z 18. konference o vzorových jazycích programů, PLoP 2011
  19. ^ A. Nowak, F. Leymann: Zelené vzory obchodních procesů - část II. In: Proceedings of the 6th IEEE International Conference on Service Oriented Computing & Applications (SOCA 2013)
  20. ^ F. Leymann: Směrem k vzorovému jazyku pro kvantové algoritmy. In: Proc. QTOP 2019 Abstraktní.
  21. ^ J. Guth, F. Leymann: Přepisování a zdokonalování architektur na základě vzorů pomocí teorie grafů. In: Software-Intensive Cyber-Physical Systems (SICS), Springer Berlin Heidelberg, 2019
  22. ^ M. Falkenthal, J. Barzen, U. Breitenbücher, Ch. Fehling, F. Leymann: Efektivní aplikace vzorů: Ověření koncepce implementace řešení v různých doménách. In: International Journal on Advances in Software Vol. 7 (3 a 4), Xpert Publishing Services, 2014
  23. ^ M. Falkenthal, F. Leymann: Uvolnění aplikace vzorů pomocí jazyků řešení. In: Proceedings of the 9th International Conferences on Pervasive Patterns and Applications (PATTERNS), 2017
  24. ^ M. Falkenthal, U. Breitenbücher, J. Barzen, F. Leymann: O algebraických vlastnostech agregace betonových roztoků. In: SICS Software-Intensive Cyber-Physical Systems, Springer, 2019
  25. ^ J. Barzen, F. Leymann: Vzory jako vzorce: Vzory v digitálních humanitních oborech. In: Sborník devátých mezinárodních konferencí o všudypřítomných vzorcích a aplikacích (PATTERNS), 2017
  26. ^ J. Barzen, F. Leymann: Krojové jazyky jako vzorové jazyky. In: Proceedings of Pursuit of Pattern Languages ​​for Socialetal 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: Vize pro MUSE4Music. Uplatnění metody MUSE v muzikologii. In: Computer Science - Research and Development Vol. 32 (3-4), Heidelberg: Springer, 2016
  29. ^ Národní akademie věd, inženýrství a medicíny: Kvantové výpočty: Pokrok a vyhlídky. The National Academies Press, Washington, DC. 2019
  30. ^ Jack D. Hidary: Kvantové výpočty: Aplikovaný přístup. Springer 2019.
  31. ^ F. Leymann, J. Barzen, M. Falkenthal: Směrem k platformě pro sdílení kvantového softwaru. Proceedings of the 13th Advanced Summer School on Service Oriented Computing (2019).
  32. ^ „Projekt PlanQK“. www.planqk.de. Citováno 12. února 2020.
  33. ^ „IQST: Fellows“. www.iqst.org. Citováno 18. prosince 2019.

externí odkazy