English
Related papers

Related papers: Enhancing workflow-nets with data for trace comple…

200 papers

The capability to store data about business processes execution in so-called Event Logs has brought to the diffusion of tools for the analysis of process executions and for the assessment of the goodness of a process model. Nonetheless,…

Process analytics approaches allow organizations to support the practice of Business Process Management and continuous improvement by leveraging all process-related data to extract knowledge, improve process performance and support…

Other Computer Science · Computer Science 2025-02-25 Asjad Khan , Aditya Ghose , Hoa Dam , Arsal Syed

With the growing amount of data, data processing workloads and the management of their resource usage becomes increasingly important. Since managing a dedicated infrastructure is in many situations infeasible or uneconomical, users…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-01-19 Dominik Scheinert , Alireza Alamgiralem , Jonathan Bader , Jonathan Will , Thorsten Wittkopp , Lauritz Thamsen

Practitioners are poorly supported by the scientific literature when managing traceability information models (TIMs), which capture the structure and semantics of trace links. In practice, companies manage their TIMs in very different ways,…

To improve customer experience, datacenter operators offer support for simplifying application and resource management. For example, running workloads of workflows on behalf of customers is desirable, but requires increasingly more…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-11-27 Laurens Versluis , Mihai Neacşu , Alexandru Iosup

The current article is an interdisciplinary attempt to decipher automatic program repair processes. The review is done by the manner typical to human science known as diffraction. We attempt to spot a gap in the literature of self-healing…

Software Engineering · Computer Science 2020-11-06 S. Amirhossein Mousavi , Donya Azizi Babani , Francesco Flammini

Traditional data mining algorithms are exceptional at seeing patterns in data that humans cannot, but are often confused by details that are obvious to the organic eye. Algorithms that include humans "in-the-loop" have proved beneficial for…

Human-Computer Interaction · Computer Science 2017-12-05 Austin Graham , Yan Liang , Le Gruenwald , Christan Grant

Users around the world rely on software-intensive systems in their day-to-day activities. These systems regularly contain bugs and security vulnerabilities. To facilitate bug fixing, data-driven models of automatic program repair use pairs…

Software Engineering · Computer Science 2022-02-08 Anastasiia Grishina

[Context and motivation] Trace matrices are lynch pins for the development of mission- and safety-critical software systems and are useful for all software systems, yet automated methods for recovering trace links are far from perfect. This…

Software Engineering · Computer Science 2018-04-10 Bhushan Chitre , Jane Huffman Hayes , Alexander Dekhtyar

Alignments provide sophisticated diagnostics that pinpoint deviations in a trace with respect to a process model and their severity. However, approaches based on trace alignments use crisp process models as reference and recent…

Databases · Computer Science 2021-07-09 Giacomo Bergami , Fabrizio Maria Maggi , Marco Montali , Rafael Peñaloza

Monitoring and analyzing process traces is a critical task for modern companies and organizations. In scenarios where there is a gap between trace events and reference business activities, this entails an interpretation problem, amounting…

Artificial Intelligence · Computer Science 2026-05-26 Bettina Fazzinga , Sergio Flesca , Filippo Furfaro , Luigi Pontieri , Francesco Scala

Process mining techniques including process discovery, conformance checking, and process enhancement provide extensive knowledge about processes. Discovering running processes and deviations as well as detecting performance problems and…

Other Computer Science · Computer Science 2021-08-05 Mahsa Pourbafrani , Shuai Jiao , Wil M. P. van der Aalst

Recent advances in the field of Business Process Management have brought about several suites able to model complex data objects along with the traditional control flow perspective. Nonetheless, when it comes to formal verification there is…

Artificial Intelligence · Computer Science 2025-07-25 Riccardo De Masellis , Chiara Di Francescomarino , Chiara Ghidini , Sergio Tessaris

AI-powered web agents have the potential to automate repetitive tasks, such as form filling, information retrieval, and scheduling, but they struggle to reliably execute these tasks without human intervention, requiring users to provide…

Human-Computer Interaction · Computer Science 2026-01-27 Yimeng Liu , Misha Sra , Jeevana Priya Inala , Chenglong Wang

The existence of trace links between artifacts of the software development life cycle can improve the efficiency of many activities during software development, maintenance and operations. Unfortunately, the creation and maintenance of…

Software Engineering · Computer Science 2023-07-18 Christof Tinnes

Event log records all events that occur during the execution of business processes, so detecting and correcting anomalies in event log can provide reliable guarantee for subsequent process analysis. The previous works mainly include next…

Machine Learning · Computer Science 2024-04-17 Ziyou Gong , Xianwen Fang , Ping Wu

Traceability, the ability to trace relevant software artifacts to support reasoning about the quality of the software and its development process, plays a crucial role in requirements and software engineering, particularly for…

Software Engineering · Computer Science 2024-05-20 Jin L. C. Guo , Jan-Philipp Steghöfer , Andreas Vogelsang , Jane Cleland-Huang

Process mining leverages event data extracted from IT systems to generate insights into the business processes of organizations. Such insights benefit from explicitly considering the frequency of behavior in business processes, which is…

Formal Languages and Automata Theory · Computer Science 2025-07-10 Tian Li , Artem Polyvyanyy , Sander J. J. Leemans

Process models may be automatically generated from event logs that contain as-is data of a business process. While such models generalize over the control-flow of specific, recorded process executions, they are often also annotated with…

Databases · Computer Science 2024-09-18 Henrik Kirchmann , Stephan A. Fahrenkrog-Petersen , Felix Mannhardt , Matthias Weidlich

The amount of information available on the Web grows at an incredible high rate. Systems and procedures devised to extract these data from Web sources already exist, and different approaches and techniques have been investigated during the…

Artificial Intelligence · Computer Science 2012-02-13 Emilio Ferrara , Robert Baumgartner
‹ Prev 1 2 3 10 Next ›