A5075575926- Business Process Modeling and Analysis
- Service-Oriented Architecture and Web Services
- Semantic Web and Ontologies
- Blockchain Technology Applications and Security
- Formal Methods in Verification
- Petri Nets in System Modeling
- Model-Driven Software Engineering Techniques
- Distributed systems and fault tolerance
- Advanced Database Systems and Queries
- Big Data and Business Intelligence
- Information Technology Governance and Strategy
- Migration, Health and Trauma
- Artificial Intelligence in Law
- FinTech, Crowdfunding, Digital Finance
- Logic, programming, and type systems
- Migration, Refugees, and Integration
- Software System Performance and Reliability
- Advanced Software Engineering Methodologies
- Software Engineering Research
- Scientific Computing and Data Management
- Personal Information Management and User Behavior
- Manufacturing Process and Optimization
- Auction Theory and Applications
- Census and Population Estimation
- Flexible and Reconfigurable Manufacturing Systems
University of Copenhagen
2016-2025
IT University of Copenhagen
2011-2017
Blockchain technology offers a sizable promise to rethink the way interorganizational business processes are managed because of its potential realize execution without central party serving as single point trust (and failure). To stimulate research on this and limits thereof, in article, we outline challenges opportunities blockchain for process management (BPM). We first reflect how blockchains could be used context established BPM lifecycle second they might become relevant beyond....
It may be tempting for researchers to stick incremental extensions of their current work plan future research activities. Yet there is also merit in realizing the grand challenges one’s field. This paper presents an overview nine major problems Business Process Management discipline. These have been collected by open call community, discussed and refined a workshop setting, described here detail, including motivation why these are worth investigating. serve purpose inspiring both novice...
Complex process models can hinder the comprehension of underlying business processes. While several metrics have been suggested in literature to evaluate complexity imperative models, little is known about their declarative counterparts. In this paper, we address gap through a suite that propose capture models. Following this, empirically investigate impact complexity, as measured by metrics, on users' cognitive load when comprehending Therein, use multi-modal approach including eye-tracking...
In asylum decision-making, algorithmic tools are developed to optimize decision-making processes, for example, streamline the application process. Accuracy, defined as correctly categorizing cases against a ground truth dataset, is main concern. Data scientists employ outlier detection algorithms (ODA) boost accuracy by fine-tuning datasets and discarding deviating from mathematical norms prevent over-fitting. However, increasingly face scrutiny possibly harmful effects on marginalized...
We describe how the declarative Dynamic Condition Response (DCR) Graphs process model can be used for trustworthy adaptive case management by leveraging flexible execution, dynamic composition and adaptation supported DCR Graphs. The dynamically composed adapted graphs are verified deadlock freedom liveness in SPIN checker utilizing a mapping from to PROMELA code. exemplify approach small workflow extracted field study at danish hospital.
We present a case study of the use Dynamic Condition Response (DCR) Graphs, recently introduced declarative business process model, in design cross-organizational management system being developed by Exformatics A/S, Danish provider knowledge and workflow systems. show how DCR Graphs allow to capture directly both behavioral constraints identified during meetings with customer operational execution as markings graph. In comparison, imperative models such BPMN, Petri Net, UML Sequence or...
We report on a recent industrial project carried out by Exformatics A/S in which the company used declarative DCR Graphs notation to model and implement grant application process of Danish foundation. present discuss advantages approach challenges faced both while modelling implementing process. Finally, we current work extensions aiming address raised case study support declarative, agile approach.
This paper reports on a qualitative study of the use declarative process notations used in commercial setting. Specifically, we investigate actual system implemented terms DCR graphs for Danish "Dreyer Foundation" by our industry partner Exformatics A/S. The is performed analysing logs system. By seek to illuminate currently open -- and heavily debated! research question whether claimed advantages conciseness flexibility models over more traditional flow-based are significant practice....