Фрэнк Лейманн
Фрэнк Лейманн | |
|---|---|
 Фрэнк Лейманн | |
| Рожденный | 25 сентября 1957 г. Бохум, Германия |
| Гражданство | немецкий |
| Альма-матер | Университет Бохума |
| Известный | Архитектура программного обеспечения Крупномасштабные распределенные системы Управление бизнес-процессами Сервис-ориентированная архитектура Облачные вычисления Языки шаблонов |
| Награды | Избранный член Технологической академии IBM (1996 г.) Заслуженный инженер IBM (2000). Почетный профессор Венского технического университета (2023 г.). |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Университет Штутгарта , Германия IBM Research & Development , Германия Университет Бохума , Германия |
| Диссертация | Слоения пространств с особенностями (1984) |
| Докторантура | Карлхайнц Шпаллек |
Франк Лейманн (25 сентября 1957, Бохум ) — немецкий ученый-компьютерщик и математик . Он профессор информатики в Штутгартском университете (Германия), а также директор и основатель Института архитектуры прикладных систем (IAAS). [1]
Биография
[ редактировать ]Лейманн изучал математику , физику и астрономию и получил степень магистра наук по математике (т.е. диплом математики) в 1982 году в Университете Бохума , Германия. Он работал научным сотрудником на математическом факультете Бохумского университета, где в 1984 году получил степень доктора математических наук (т.е. доктора естественных наук). В своей докторской диссертации он изучал слоения в пространствах с особенностями. После получения докторской степени он поступил в отдел исследований и разработок IBM , работая над такими программными продуктами, как DB2 , Websphere или MQSeries . Лейманн был главным соавтором и главным архитектором программного обеспечения продуктов IBM для управления бизнес-процессами и рабочими процессами и был назначен заслуженным инженером IBM за эту работу. В 2004 году он был назначен профессором информатики в Штутгартском университете , где основал Институт архитектуры прикладных систем. Ему принадлежит множество выданных патентов в области программного обеспечения. [2]
Работа
[ редактировать ]Основной вклад Фрэнка Леймана относится к области систем рабочих процессов , сервис-ориентированной архитектуры , облачных вычислений , языков шаблонов и квантовых вычислений .
Управление базой данных
[ редактировать ]Первоначально его внимание было сосредоточено на технологии баз данных: Чтобы упростить запросы к реляционным базам данных с множеством таблиц, Лейманн разработал универсальную реляционную систему. [3] поверх существующих систем реляционных баз данных. Далее последовал вклад в архитектурные аспекты хранимых процедур и пользовательских функций . Последнее привело к исследованию использования объектных баз данных , особенно ObjectStore , в качестве основы другого промежуточного программного обеспечения. В то время разработчики были совершенно незнакомы с объектными базами данных, поэтому Лейманн помог создать инструменты, обеспечивающие правильную работу соответствующих приложений.
Системы управления бизнес-процессами и документооборотом
[ редактировать ]Системы рабочих процессов помогают компаниям моделировать, оптимизировать и выполнять бизнес-процессы в вычислительных средах. Для моделирования бизнес-процессов было предложено несколько языков, из которых два языка широко поддерживаются в промышленности: один из них — OASIS (организации) стандартный язык выполнения бизнес-процессов (BPEL), соавтором которого является Лейманн и который, в свою очередь, основан на веб-технологиях. Язык потока служб (WSFL), язык, созданный Лейманном для IBM; другой язык — Модель бизнес-процессов и нотация 2.0 (BPMN), соавтором которой также является Лейманн. Такие языки моделирования поддерживают «программирование в целом» и позволяют разделить логику высокого уровня управления и потока данных внутри всего приложения от логики низкого уровня, реализующей элементарные бизнес-функции; таким образом, приложения на основе рабочих процессов [4] могут быть созданы, позволяющие изменять бизнес-процессы без изменения программ, реализующих отдельные этапы процесса. Часто наборы таких шагов представляют собой длительные транзакции , т.е. выполненные шаги должны быть успешными или – в случае ошибки – должны быть коллективно отменены; для поддержки такого поведения в бизнес-процессах Leymann ввел компенсирующие транзакции в системах документооборота. [5] Основываясь на своем вкладе в продукты IBM для рабочих процессов, Лейманн стал соавтором основополагающей книги «Производственный рабочий процесс». [6] ", в котором объясняется, как создавать масштабируемые и надежные системы рабочих процессов.
Сервисные вычисления
[ редактировать ]Архитектура и реализация систем рабочих процессов предвосхитили многие аспекты сервис-ориентированного программирования, такие как использование сервисных интерфейсов, вызов сервисов или прослушивание сервисов. Следовательно, начиная с 2000 года, Лейманн помог определить несколько оригинальных веб-сервисов, стандартов таких как WS-Addressing , [7] WS-Деловая активность, [8] BPEL4Люди, [9] или Framework ресурсов веб-служб . [10] В частности, агрегация веб-сервисов рассматривается в BPEL и WSFL. Как множество стандартов веб-сервисов вписываются в архитектуру корпоративной сервисной шины , описано в книге, посвященной платформе веб-сервисов. [11] в соавторстве с Лейманном.
Облачные вычисления
[ редактировать ]Работа над структурой ресурсов веб-сервисов уже показала, что элементы вычислительной инфраструктуры, такие как аппаратное обеспечение, операционные системы и т. д., также могут восприниматься как услуги – точно так же, как и функциональность программного обеспечения. Следовательно, полные приложения могут быть переданы на аутсорсинг в облако, что требует стандартов и технологий для предоставления приложений и управления ими в таких средах: Фрэнк Лейманн был первым соавтором OASIS TOSCA. [12] язык, который позволяет указывать структуру приложений, их артефакты и зависимости, а также соответствующую операционную семантику для автоматического предоставления таких приложений. Группа Леймана из Штутгартского университета создала реализацию этого стандарта с открытым исходным кодом под названием OpenTOSCA. [13] [14] Рекомендации по созданию приложений, которые должным образом вписываются в облако, были разработаны совместно с отраслевыми партнерами и опубликованы как независимый от поставщика язык шаблонов облачных вычислений. [15]
Языки шаблонов
[ редактировать ]Лейманн и его группа исследовали использование языков шаблонов не только в области облачных вычислений. [16] но в некоторых других областях, таких как Интернет вещей , [17] зеленые бизнес-процессы, [18] [19] или квантовые вычисления. [20] Использование языков шаблонов для (полу) автоматического переписывания архитектуры программного обеспечения. [21] было предложено. Шаблоны представляют собой абстракции конкретных рабочих решений, но в ходе процесса абстракции знания об этих рабочих решениях теряются, в результате чего рабочие решения создаются снова и снова при применении шаблона. Чтобы избежать этой неэффективности, было исследовано и отработано повторное использование бетонных растворов. [22] [23] [24] Чтобы показать, что языки шаблонов и соответствующие новые концепции применимы за пределами информатики, они регулярно применяются в гуманитарных науках . [25] особенно в области фильмов [26] [27] и музыковедение. [28]
Квантовые вычисления
[ редактировать ]Квантовые вычисления могут решить проблемы, которые сегодня неразрешимы. [29] Но программирование квантовых компьютеров сильно отличается от программирования классических компьютеров. [30] Чтобы поддержать практиков, создающих решения на основе квантовых компьютеров, Лейманн и его группа предложили платформу для обмена знаниями о создании соответствующих приложений. [31] В рамках проекта PlanQK [32] (которую Лейманн возглавил в качестве научного руководителя) эта платформа была построена. Другая работа была сосредоточена на методе разработки программного обеспечения для разработки гибридных квантовых приложений. [33] и соответствующие инструменты разработки [34] поддержка создания приложений даже на шумных квантовых компьютерах. [35]
Почести и награды
[ редактировать ]- Почетный профессор Венского технического университета (2023 г.). [36]
- Назначение, научный сотрудник WSO2 по технологиям (2023 г.) [37]
- Назначение: Курт Гёдель, приглашенный профессор по квантовым вычислениям , TU Wien (2020) [38]
- Назначение членом Экспертного совета по квантовым вычислениям при правительстве Германии (2020 г.) [39]
- Член Азиатско-Тихоокеанской ассоциации искусственного интеллекта (AAIA) [40] (2020)
- Сотрудник Центра интегрированной квантовой науки и технологий (IQST) [41] (2019)
- Избранный член Европейской академии (2016 г.)
- Почетный доктор Критского университета (2015 г.).
- Назначение, заслуженный инженер IBM (2000 г.)
- Почетный профессор Штутгартского университета (1999).
- Избранный член Технологической академии IBM (1996 г.)
Ссылки
[ редактировать ]- ^ «Институт архитектуры прикладных систем (IAAS)» . www.iaas.uni-stuttgart.de . Проверено 18 декабря 2019 г.
- ^ «Патентный поиск в Espacenet» . world.espacenet.com . Проверено 18 декабря 2019 г.
- ^ Лейманн, Франк (март 1990 г.). «Универсальная система отношений» . Инженерия данных и знаний . 5 (1): 21–38. дои : 10.1016/0169-023X(90)90031-8 . Проверено 24 декабря 2019 г.
- ^ Лейманн, Ф.; Роллер, Д. (1997). «Приложения, основанные на рабочих процессах». IBM Systems Journal . 36 : 102–123. дои : 10.1147/sj.361.0102 . S2CID 376168 .
- ^ Ф. Лейманн: Поддержка бизнес-операций посредством частичного обратного восстановления в системах управления рабочими процессами. В: Учеб. Кстати'95, 1995.
- ^ Ф. Лейманн, Д. Роллер: Производственный процесс: концепции и методы. ПТР Прентис Холл, 2000.
- ^ «WS-Адресация» . www.w3.org . Проверено 26 декабря 2019 г.
- ^ «WS-Деловая активность» . docs.oasis-open.org . Проверено 26 декабря 2019 г.
- ^ «BPEL4People» . docs.oasis-open.org . Проверено 26 декабря 2019 г.
- ^ «WSResourceProperties» (PDF) . docs.oasis-open.org . Проверено 26 декабря 2019 г.
- ^ С. Вираварана, П. Курбера, Ф. Лейманн, Т. Стори, Д.Ф. Фергюсон: Архитектура платформы веб-сервисов. Прентис Холл, 2005.
- ^ «ТОСКА» . docs.oasis-open.org . Проверено 26 декабря 2019 г.
- ^ «Обзор OpenTOSCA» . www.opentosca.org . Проверено 26 декабря 2019 г.
- ^ «Репозиторий OpenTOSCA» . www.github.org . Проверено 26 декабря 2019 г.
- ^ Ч. Фелинг, Ф. Лейманн, Р. Реттер, В. Шупек, П. Арбиттер: Шаблоны облачных вычислений, Springer Vienna, 2014. Аннотация .
- ^ «Шаблоны облачных вычислений» . Cloudcomputingpatterns.org . Проверено 26 декабря 2019 г.
- ^ «Шаблоны Интернета вещей» . www.interofthingspatterns.com . Проверено 26 декабря 2019 г.
- ^ А. Новак, Ф. Лейманн, Д. Шлейхер, Д. Шумм, С. Вагнер: Модели зеленого бизнес-процесса. В: Материалы 18-й конференции по шаблонным языкам программ, PLoP 2011.
- ^ А. Новак, Ф. Лейманн: Модели «зеленых» бизнес-процессов - Часть II. В: Материалы 6-й Международной конференции IEEE по сервис-ориентированным вычислениям и приложениям (SOCA 2013).
- ^ Ф. Лейманн: К языку шаблонов для квантовых алгоритмов. В: Учеб. QTOP 2019 Аннотация .
- ^ Дж. Гут, Ф. Лейманн: Переписывание и усовершенствование архитектур на основе шаблонов с использованием теории графов. В: Программно-интенсивные киберфизические системы (SICS), Springer Berlin Heidelberg, 2019 г.
- ^ М. Фалькенталь, Дж. Барцен, У. Брайтенбюхер, Гл. Фелинг, Ф. Лейманн: Эффективное применение шаблонов: проверка концепции реализации решения в различных областях. В: Международный журнал достижений в области программного обеспечения, том. 7 (3 и 4), Xpert Publishing Services, 2014 г.
- ^ М. Фалькенталь, Ф. Лейманн: Упрощение применения шаблонов с помощью языков решений. В: Материалы 9-й Международной конференции по широко распространенным шаблонам и приложениям (PATTERNS), 2017 г.
- ^ М. Фалькенталь, У. Брайтенбюхер, Дж. Барцен, Ф. Лейманн: Об алгебраических свойствах агрегации конкретных решений. В: Программно-интенсивные киберфизические системы SICS, Springer, 2019 г.
- ^ Дж. Барзен, Ф. Лейманн: Шаблоны как формулы: шаблоны в цифровых гуманитарных науках. В: Материалы девятой Международной конференции по широко распространенным шаблонам и приложениям (PATTERNS), 2017 г.
- ^ Дж. Барзен, Ф. Лейманн: Языки костюмов как языки шаблонов. В: Материалы по поиску шаблонных языков для социальных изменений - Подготовительный семинар, 2014 г.
- ^ М. Фалькенталь, Дж. Барцен, У. Брайтен Бюхер, С. Брюгманн, Д. Йоос, Ф. Лейманн, М. Вурстер: Исследование шаблонов в цифровых гуманитарных науках: как методы интеллектуального анализа данных поддерживают идентификацию моделей костюмов. В: Информатика – исследования и разработки, том 32 (3–4), Гейдельберг: Springer, 2016.
- ^ Дж. Барцен, У. Брайтенбюхер, Л. Ойстерброк, М. Фалькенталь, Ф. Хентшель, Ф. Лейманн: видение MUSE4Music. Применение метода MUSE в музыкознании. В: Информатика – исследования и разработки, том. 32 (3–4), Гейдельберг: Springer, 2016.
- ^ Национальные академии наук, техники и медицины: квантовые вычисления: прогресс и перспективы. Издательство национальных академий, Вашингтон, округ Колумбия. 2019 год
- ^ Джек Д. Хидари: Квантовые вычисления: прикладной подход. Спрингер 2019.
- ^ Ф. Лейманн, Дж. Барзен, М. Фалькенталь: На пути к платформе для совместного использования квантового программного обеспечения. Материалы 13-й Летней школы продвинутого уровня по сервис-ориентированным вычислениям (2019).
- ^ «Проект PlanQK» . www.planqk.de . Проверено 12 февраля 2020 г.
- ^ Б. Ведер, Дж. Барзен, Ф. Лейманн, Д. Витц: Жизненный цикл разработки квантового программного обеспечения. В: Квантовая разработка программного обеспечения, Springer International Publishing, 2022 г.
- ^ «Квантил» . quantil.readthedocs.io/en/latest/ . Проверено 16 июля 2023 г.
- ^ Ф. Лейманн, Дж. Барзен: Горькая правда о квантовых алгоритмах на основе вентилей в эпоху NISQ. В: Квантовая наука и технологии, IOP Publishing Ltd, 2020 г.
- ^ «Фрэнк Лейманн назначен почетным профессором» . информатика.tuwien.ac.at . Проверено 14 сентября 2023 г.
- ^ «Фрэнк Лейманн назван первым научным сотрудником по технологиям WSO2» . wso2.com . Проверено 4 августа 2023 г.
- ^ «Фрэнк Лейманн назначен первым приглашенным профессором Курта Гёделя» . информатика.tuwien.ac.at . Проверено 14 апреля 2021 г.
- ^ «Дорожная карта квантовых вычислений» (PDF) . www.quantentechnologien.de/ . Проверено 2 мая 2021 г.
- ^ «ААИА» . www.aaia-ai.org . Проверено 16 июля 2023 г.
- ^ «IQST: Товарищи» . www.iqst.org . Проверено 18 декабря 2019 г.
Внешние ссылки
[ редактировать ]| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
