Henderik Proper
Univ.Prof. PhD
Henderik Proper
- Email: henderik.proper@tuwien.ac.at
- Phone: +43-1-58801-194303
- Office: FB0101 (1040 Wien, Erzherzog-Johann-Platz 1)
- About:
- Orcid: 0000-0002-7318-2496
- Keywords:
- Roles: Full Professor
Publications
Enriching Business Process Event Logs with Multimodal Evidence
Keywords: Artificial Intelligence, Event Log Completion, Event Log Creation, Event Log Quality Improvement, Multimodal data
Astract: Process mining uses data from event logs to understand which activities were undertaken, their timing, and the involved entities, providing a data trail for process analysis and improvement. However, a significant challenge involves ensuring that these logs accurately reflect the actual processes. Some processes leave few digital traces, and their event logs often lack details about manual and physical work that does not involve computers or simple sensors. We introduce the Business-knowledge Integration Cycles (BICycle) method and mm_proc_miner tool to convert raw and unstructured data from various modalities, such as video, audio, and sensor data, into a structured and unified event log, while keeping human-in-the-loop. Our method analyzes the semantic distance between visible, audible, and textual evidence within a self-hosted joint embedding space. Our approach is designed to consider (1) preserving the privacy of evidence data, (2) achieving real-time performance and scalability, and (3) preventing AI hallucinations. We also publish a dataset consisting of over 2K processes with 16K steps to facilitate domain inference-related tasks. For the evaluation, we created a novel test dataset in the domain of DNA home kit testing, for which we can guarantee that it was not encountered during the training of the employed AI foundational models. We show positive insights in both event log enrichment with multimodal evidence and human-in-the-loop contribution.
Gavric, A., Bork, D., & Proper, H. A. (2024). Enriching Business Process Event Logs with Multimodal Evidence. In The Practice of Enterprise Modeling (pp. 175–191). https://doi.org/10.1007/978-3-031-77908-4_11
Supplementing the Build Activity in Design Science Research with Soft Systems Methodology: A Technique of Creating Frameworks for Guiding Interventions Against Unstructured Problems
Agnes Nakakawa
Fiona Tulinayo
Geoffrey Tabo
Patrick Van Bommel
Hans MulderKeywords: Design Process, Design Science Research, Soft Systems Methodology
Astract: Several efforts have been undertaken to define generic guidelines that address specific gaps in the ‘build’ activity of Design Science Research (DSR) artifacts, i.e., constructs, models, methods and frameworks, and instantiations. Unfortunately, explicit guidance is still lacking on how to coherently operationalize such guidelines when building a DSR artifact, particularly a framework. In addition, there is no an elaborate procedure or logical thinking pattern that can be followed when building a DSR artifact, particularly a framework for solving an unstructured problem. Consequently, structural compositions of some artifacts insufficiently subscribe to several general design guidelines, which often hinders the artifacts from fulfilling their intended purposes. To address this gap, Soft Systems Methodology can be leveraged during the design cycle of a DSR initiative, to elaborate the ‘build’ activity and simultaneously support the coherent operationalization of existing general design guidelines. This is demonstrated herein by presenting a Technique of Building Frameworks for guiding Interventions against unstructured problems (TBUFI). From 2011 to 2023, TBUFI has undergone 11 evaluation iterations, which involved: (a) using it to support the building of frameworks for guiding digital interventions in ten research studies; and (b) engaging information systems specialists in a group walkthrough meeting to deliberate its structural composition. Evaluation iterations since 2011 (including feedback from information systems specialists) confirm TBUFI’s ability to successfully guide the design of frameworks that can direct interventions against complex and unstructured problems, by making their ‘build’ activity more elaborate, coherent, and aligned with existing general design guidelines. Thus, TBUFI can be perceived as a supplement for the ‘build’ activity in DSR.
Nakakawa, A., Tulinayo, F., Tabo, G., Van Bommel, P., Mulder, H., & Proper, H. (2024). Supplementing the Build Activity in Design Science Research with Soft Systems Methodology: A Technique of Creating Frameworks for Guiding Interventions Against Unstructured Problems. Complex Systems Informatics and Modeling Quarterly, 2024(40), 1–35. https://doi.org/10.7250/csimq.2024-40.01
Understanding the Variety of Domain Models: Views, Programs, Animations, and Other Models
Giancarlo GuizzardiKeywords: Conceptual fidelity, Domain modeling, Return on modeling effort, Views
Astract: Humanity has long since used models, in different shapes and forms, to understand, redesign, communicate about, and shape, the world around us; including many different social, economic, biological, chemical, physical, and digital aspects. This has resulted in a wide range of modeling practices. When the models as used in such modeling practices have a key role to play in the activities in which these practices are ‘embedded’, the need emerges to consider the effectiveness and efficiency of such processes, and speak about modeling capabilities. In the latter situation, it also becomes relevant to develop a thorough understanding of the artifacts involved in modeling practices/capabilities. One context in which models play (an increasingly) important role is model-driven systems development, including software engineering, information systems engineering, business process engineering, enterprise engineering, and enterprise architecture management. In such a context, we come across a rich variety of modeling related artifacts, such as views, diagrams, programs, animations, specifications, etc. In this paper, which is actually part of an ongoing ‘journey’ in which we aim to gain deeper insights into the foundations of modeling, we take a fundamental look at the variety of modeling related artifacts as used in the context of model-driven (systems) development, while also presenting an associated framework for understanding, synthesizing the insights we obtained during the ‘journey’ so-far. In doing so, we will also argue that the aforementioned artifacts are actually specific kinds of models, albeit for fundamentally different purposes. The provided framework for understanding involves definitions of domain model, the Return on Modeling Effort (RoME), the conceptual fidelity of domain models, as well as views as a mechanism to manage the complexity of domain models.
Proper, H. A., & Guizzardi, G. (2024). Understanding the Variety of Domain Models: Views, Programs, Animations, and Other Models. SN Computer Science, 5(7), 1–16. https://doi.org/10.1007/s42979-024-03163-y
Keywords: Conceptual Modeling, Enterprise Modeling, Systems analysis and design
Astract: The Exploring Modeling Methods for Systems Analysis and Development (EMMSAD) conference series organized 29 events from 1996 to 2024, associated with Conference on Advanced Information Systems Engineering. In 2009, EMMSAD became a two-day working conference. Since 2017, the authors of EMMSAD’s best papers are invited to submit extended versions of their paper, for consideration to be published in the Journal of Software and Systems Modeling. The main topics of the EMMSAD series focus on models and modeling methods for the analysis and development of software information systems of any kind. These are organized into five tracks: (1) Foundations of Modeling and Method Engineering; (2) Enterprise, Business, Process, and Capability Modeling; (3) Information Systems and Requirements Modeling; (4) Domain-Specific and Knowledge Modeling; and (5) Evaluation of Models and Modeling Approaches. The aims, topics, and history of EMMSAD can be also found on its website at http://www.emmsad.org/.
Bork, D., & Proper, H. A. (2024). Guest editorial for EMMSAD’2023 special section. Software and Systems Modeling, 23(5), 1075–1076. https://doi.org/10.1007/s10270-024-01213-w
From enterprise models to low-code applications: mapping DEMO to Mendix; illustrated in the social housing domain
Marien R. Krouwel
Martin Op ’t LandKeywords: DEMO, Enterprise modeling, Enterprise ontology, Low-code, MDSD, Mendix
Astract: Due to hyper-competition, technological advancements, regulatory changes, etc, the conditions under which enterprises need to thrive become increasingly turbulent. Consequently, enterprise agility increasingly determines an enterprise’s chances for success. As software development often is a limiting factor in achieving enterprise agility, enterprise agility and software adaptability become increasingly intertwined. As a consequence, decisions that regard flexibility should not be left to software developers alone. By taking a Model-driven Software Development (MDSD) approach, starting from DEMO ontological enterprise models and explicit (enterprise) implementation design decisions, the aim of this research is to bridge the gap from enterprise agility to software adaptability, in such a way that software development is no longer a limiting factor in achieving enterprise agility. Low-code technology is a growing market trend that builds on MDSD concepts and claims to offer a high degree of software adaptability. Therefore, as a first step to show the potential benefits to use DEMO ontological enterprise models as a base for MDSD, this research shows the design of a mapping from DEMO models to Mendix for the (automated) creation of a low-code application that also intrinsically accommodates run-time implementation design decisions.
Krouwel, M. R., Op ’t Land, M., & Proper, H. A. (2024). From enterprise models to low-code applications: mapping DEMO to Mendix; illustrated in the social housing domain. Software and Systems Modeling, 23(4), 837–864. https://doi.org/10.1007/s10270-024-01156-2
Teaching
Project in Computer Science 1
Semester: 2026S; Nr: 194.145; Type: PR; Hours: 4.0; Language: if required in English; View on TISSResearch Seminar
Semester: 2025W; Nr: 188.446; Type: SE; Hours: 2.0; Language: if required in English; View on TISSLiterature Seminar for PhD Students
Semester: 2025W; Nr: 188.512; Type: SE; Hours: 2.0; Language: German; View on TISSBachelor Thesis for Informatics and Business Informatics
Semester: 2025W; Nr: 188.926; Type: PR; Hours: 5.0; Language: if required in English; View on TISSInformation Systems Engineering
Semester: 2025W; Nr: 194.143; Type: VU; Hours: 4.0; Language: English; View on TISSProject in Computer Science 1
Semester: 2025W; Nr: 194.145; Type: PR; Hours: 4.0; Language: if required in English; View on TISSEnterprise & Process Engineering
Semester: 2025W; Nr: 194.152; Type: VU; Hours: 4.0; Language: English; View on TISSSeminar in Computer Science (Model Engineering)
Semester: 2025W; Nr: 194.198; Type: SE; Hours: 2.0; Language: German; View on TISSTeam
Business Informatics Group, TU Wien
Professors
Christian Huemer
Ao.Univ.Prof. Mag.rer.soc.oec.Dr.rer.soc.oec.
Dominik Bork
Associate Prof. Dipl.-Wirtsch.Inf.Univ.Dr.rer.pol.
Gerti Kappel
O.Univ.Prof.in Dipl.-Ing.inMag.a Dr.in techn.
Henderik Proper
Univ.Prof. PhDResearchers
Aleksandar Gavric
Univ.Ass. M.Eng. M.Sc. B.Eng.Charlotte Roos R. Verbruggen
Univ.Ass. PhD
Marco Huymajer
Senior Lecturer Dipl.-Ing. BSc
Marianne Schnellmann
Univ.Ass. MScMarion Murzek
Senior Lecturer Mag.a rer.soc.oec.Dr.in rer.soc.oec.
Marion Scholz
Senior Lecturer Dipl.-Ing.inMag.a rer.soc.oec.
Miki Zehetner
Univ.Ass. DI Bakk.rer.soc.oec. MSc




