Henderik Proper


Image
Univ.Prof. PhD

Henderik Proper

  • About:
  • Orcid: 0000-0002-7318-2496
  • Keywords:
  • Roles: Full Professor

Publications

Enriching Business Process Event Logs with Multimodal Evidence
Aleksandar GavricDominik BorkHenderik Proper

View .bib

Handle: 20.500.12708/210634; DOI: 10.1007/978-3-031-77908-4_11; Year: 2024; Issued On: 2024-11-30; Type: Publication; Subtype: Inproceedings; Peer Reviewed:

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 NakakawaFiona TulinayoGeoffrey TaboPatrick Van BommelHans MulderHenderik Proper

View .bib

Handle: 20.500.12708/208570; DOI: 10.7250/csimq.2024-40.01; Year: 2024; Issued On: 2024-10-31; Type: Publication; Subtype: Article; Peer Reviewed:

Keywords: 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
Henderik ProperGiancarlo Guizzardi

View PDF View .bib

Handle: 20.500.12708/208701; DOI: 10.1007/s42979-024-03163-y; Year: 2024; Issued On: 2024-10-01; Type: Publication; Subtype: Article; Peer Reviewed:

Keywords: 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
Guest editorial for EMMSAD’2023 special section
Dominik BorkHenderik Proper

View .bib

Handle: 20.500.12708/204352; DOI: 10.1007/s10270-024-01213-w; Year: 2024; Issued On: 2024-09-26; Type: Publication; Subtype: Article;

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. KrouwelMartin Op ’t LandHenderik Proper

View PDF View .bib

Handle: 20.500.12708/208557; DOI: 10.1007/s10270-024-01156-2; Year: 2024; Issued On: 2024-08-01; Type: Publication; Subtype: Article; Peer Reviewed:

Keywords: 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 TISS

Research Seminar
Semester: 2025W; Nr: 188.446; Type: SE; Hours: 2.0; Language: if required in English; View on TISS

Literature Seminar for PhD Students
Semester: 2025W; Nr: 188.512; Type: SE; Hours: 2.0; Language: German; View on TISS

Bachelor Thesis for Informatics and Business Informatics
Semester: 2025W; Nr: 188.926; Type: PR; Hours: 5.0; Language: if required in English; View on TISS

Information Systems Engineering
Semester: 2025W; Nr: 194.143; Type: VU; Hours: 4.0; Language: English; View on TISS

Project in Computer Science 1
Semester: 2025W; Nr: 194.145; Type: PR; Hours: 4.0; Language: if required in English; View on TISS

Enterprise & Process Engineering
Semester: 2025W; Nr: 194.152; Type: VU; Hours: 4.0; Language: English; View on TISS

Seminar in Computer Science (Model Engineering)
Semester: 2025W; Nr: 194.198; Type: SE; Hours: 2.0; Language: German; View on TISS

Team

Business Informatics Group, TU Wien

Head


Team member

Dominik Bork

Associate Prof. Dipl.-Wirtsch.Inf.Univ.
Dr.rer.pol.

Professors


Team member

Christian Huemer

Ao.Univ.Prof. Mag.rer.soc.oec.
Dr.rer.soc.oec.

Team member

Dominik Bork

Associate Prof. Dipl.-Wirtsch.Inf.Univ.
Dr.rer.pol.

Team member

Gerti Kappel

O.Univ.Prof.in Dipl.-Ing.in
Mag.a Dr.in techn.

Team member

Henderik Proper

Univ.Prof. PhD

Visiting Scientists


Team member

Christiane Floyd

Hon.Prof.in Dr.in phil.

Team member

Johanna Barzen

Dr. phil.

External Researchers



Researchers


Team member

Aleksandar Gavric

Univ.Ass. M.Eng. M.Sc. B.Eng.


Team member

Marco Huymajer

Senior Lecturer Dipl.-Ing. BSc

Team member

Marianne Schnellmann

Univ.Ass. MSc

Team member

Marion Murzek

Senior Lecturer Mag.a rer.soc.oec.
Dr.in rer.soc.oec.

Team member

Marion Scholz

Senior Lecturer Dipl.-Ing.in
Mag.a rer.soc.oec.

Team member

Miki Zehetner

Univ.Ass. DI Bakk.rer.soc.oec. MSc

Team member

Philipp-Lorenz Glaser

Univ.Ass. Dipl.-Ing. BSc

Team member

Syed Juned Ali

Univ.Ass. BSc MSc

Team member

Zhuoxun Zheng

Projektass. PhD