Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

A methodology for combinatory process synthesis: Process variability in clinical pathways

Eine Methodik für die kombinatorische Prozesssynthese: Prozessvariabilität in klinischen Pfaden
: Schäfer, Tristan; Möller, Frederik; Burmann, Anja; Pikus, Yevgen; Weißenberg, Norbert; Hintze, Marcus; Rehof, Jakob


Margaria-Steffen, T.:
Leveraging applications of formal methods, verification and validation. 8th International Symposium, ISoLA 2018. Pt.4: Industrial practice : Limassol, Cyprus, November 5-9, 2018; Proceedings
Cham: Springer International Publishing, 2018 (Lecture Notes in Computer Science 11247)
ISBN: 978-3-030-03426-9 (Print)
ISBN: 978-3-030-03427-6 (Online)
ISBN: 3-030-03426-7
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) <8, 2018, Limassol>
Fraunhofer ISST ()
Fraunhofer IML ()
combinatory process synthesis; CPS; clinical pathway; business process modeling; design science research; variability modeling

Combinatory Process Synthesis (CPS) is a special case of software synthesis that can be used to manage variability by synthetizing target-specific processes from a repository of components. While conducted CPS research mainly addresses formal aspects of algorithm engineering, no structured methodology is available that enables the broader industrial application. This study addresses this gap and proposes a procedural model for CPS. The presented research bases on the Design Science Research principles. A case study in the healthcare sector shows the successful applicability of the elaborated procedure.