Composition analysis in uncertain contexts (B03)

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