Composition analysis in uncertain contexts (B03)

• Subject Area: Software Engineering and Programming Languages
• Term: from 2011 to 2023
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 160364472

The subproject B3 develops methods and concepts for an analytical quality assurance of “on-the-fly” assembled service compositions with respect to functional and non-functional requirements. To this end, we employ techniques from machine learning and formal verification. In the third funding period, we will shift our studies from the model to the implementation level, lift our learning technique from a batch to an online setting, and specifically consider the analysis of data-driven systems.

• DFG Programme: Collaborative Research Centres
• Subproject of: SFB 901: On-The-Fly (OTF) Computing - Individualised IT-Services in Dynamic Markets
• Applicant Institution: Universität Paderborn
• Project Heads: Professor Dr.-Ing. Steffen Becker, until 6/2014; Professor Dr. Eyke Hüllermeier, since 7/2015; Professorin Dr. Heike Wehrheim