A Declarative Approach for Flexible Business Processes Management

No abstract is available for this paper.

• Publication year

  2006

• Venue

  Business Process Management Workshops

• Publication date

  2006-09-04

• Fields of study

  Business, Computer Science

• Identifiers
  DOI 10.1007/11837862_18
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Model Checking

  2018influential reference
• Specifying, Discovering, and Monitoring Service Flows: Making Web Services Process-Aware

  2006influential reference
• The ProM Framework: A New Era in Process Mining Tool Support

  2005influential reference
• Case handling: a new paradigm for business process support

  2005cited by this paper
• Applications and Theory of Petri Nets 2005, 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005, Proceedings

  2005cited by this paper
• Correctness criteria for dynamic changes in workflow systems - a survey

  2004cited by this paper
• Design and Implementation of the YAWL System

  2004cited by this paper
• The SPIN Model Checker - primer and reference manual

  2003cited by this paper
• Workflow Management Models , Methods , and Systems

  2002cited by this paper
• Formal foundation and conceptual design of dynamic adaptations in a workflow management system

  2001cited by this paper
• Validation of Process Models by Construction of Process Nets

  2000cited by this paper
• Dealing with workflow change: identification of issues and solutions

  2000cited by this paper
• Techniques for Supporting Dynamic and Adaptive Workflow

  2000cited by this paper
• Communicating and mobile systems - the Pi-calculus

  1999cited by this paper
• A comprehensive approach to flexibility in workflow management systems

  1999cited by this paper
• Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control

  1998influential reference
• Workflow Evolution

  1996cited by this paper
• Conceptual Modeling — ER '96

  1996cited by this paper
• Lectures on Petri Nets I: Basic Models

  1996cited by this paper
• Simple on-the-fly automatic verification of linear temporal logic

  1995cited by this paper
• An overview of workflow management: From process modeling to workflow automation infrastructure

  1995cited by this paper
• The Calculus of Facts

  1976cited by this paper

• Multi-Property Synthesis

  2026cites this paper
• Static and dynamic techniques for iterative test-driven modelling of Dynamic Condition Response Graphs

  2025cites this paper
• A Framework for Processing Textual Descriptions of Business Processes using a Constrained Language - Technical Report

  2025cites this paper
• S4BP: An Approach for Assessing Business Process Stability

  2025cites this paper
• Service composition for ltl task specifications

  2025cites this paper
• Neuro-Symbolic Predictive Process Monitoring

  2025cites this paper
• Towards Flexible Control of Production Processes: A Requirements Analysis for Adaptive Workflow Management and Evaluation of Suitable Process Modeling Languages

  2024cites this paper
• A closer look at activity relationships to improve business process redesign

  2024cites this paper
• Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems (extended version)

  2024cites this paper
• Flexibility-based selection of paradigms and tools for BP modelling and execution

  2024cites this paper
• Foundations of Reactive Synthesis for Declarative Process Specifications

  2024influential citation
• Digital Twins of Business Processes: A Research Manifesto

  2024cites this paper
• Probabilistic Synthesis and Verification for LTL on Finite Traces

  2024cites this paper
• Computer Simulation to Assess Emergency Department Length of Stay in Pediatric Traumatic Brain Injury

  2024cites this paper
• A review of AI and machine learning contribution in business process management (process enhancement and process improvement approaches)

  2024cites this paper
• A Review of AI and Machine Learning Contribution in Predictive Business Process Management (Process Enhancement and Process Improvement Approaches)

  2024cites this paper
• Predictive process model monitoring using long short-term memory networks

  2024cites this paper
• Exact and approximation algorithms for synthesizing specific classes of optimal block-structured processes

  2023cites this paper
• When business processes meet complex events in logistics: A systematic mapping study

  2023cites this paper
• Applying MAPE-K control loops for adaptive workflow management in smart factories

  2023cites this paper
• LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa

  2023cites this paper
• Modeling of time WED-flow

  2023cites this paper
• Normalizing object-centric process logs by applying database principles

  2023cites this paper
• Grounding LTLf Specifications in Images

  2023cites this paper
• nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models

  2023cites this paper
• Extracting Reusable Fragments From Data-Centric Process Variants

  2023cites this paper
• NL2LTL - a Python Package for Converting Natural Language (NL) Instructions to Linear Temporal Logic (LTL) Formulas

  2023cites this paper
• Lazy Services: A Service Oriented Architecture based on Incremental Computations and Commitments ∗

  2023cites this paper
• Discovering Business Processes models expressed as DNF or CNF formulae of Declare constraints

  2022cites this paper
• A Comparative Study of Compliance Management Frameworks: PENELOPE vs. PCL

  2022cites this paper
• Reactive Synthesis for DECLARE via symbolic automata

  2022cites this paper
• A simple declarative model of the Federal Disaster Assistance Policy - modelling and measuring transparency

  2022cites this paper
• Examining the PASS Approach to Process Modelling for Digitalised Manufacturing Results from Three Industry Case Studies

  2022cites this paper
• Combining Goal modelling with Business Process modelling Two Decades of Experience with the User Requirements Notation Standard

  2022cites this paper
• Ambient Assisted Living and Social Robots: Towards Learning Relations between User’s Daily Routines and Mood

  2022cites this paper
• Declarative Guideline Conformance Checking of Clinical Treatments: A Case Study

  2022cites this paper
• The Federal Disaster Assistance Policy - a declarative analysis

  2022cites this paper
• Utilizing domain knowledge in data-driven process discovery: A literature review

  2022cites this paper
• Understanding Coding Behavior: An Incremental Process Mining Approach

  2022cites this paper
• A Monitoring and Discovery Approach for Declarative Processes Based on Streams

  2022influential citation
• Polynomial Algorithms for Synthesizing Specific Classes of Optimal Block-Structured Processes

  2021cites this paper
• Representation and presentation of knowledge and processes - an integrated approach for a dynamic communication-intensive environment

  2021cites this paper
• Assured automatic dynamic reconfiguration of business processes

  2021cites this paper
• Process Discovery on Deviant Traces and Other Stranger Things

  2021cites this paper
• Graph-based managing and mining of processes and data in the domain of intellectual property

  2021cites this paper
• Leveraging Dynamicity and Process Mining in Ad-Hoc Business Process

  2021cites this paper
• Toward Process Variability Management in Online Examination Process in German Universities: A State of the Art

  2021cites this paper
• A survey on recommendation in process mining

  2021cites this paper
• Case model landscapes: toward an improved representation of knowledge-intensive processes using the fCM-language

  2021cites this paper
• A survey on modeling dynamic business processes

  2021cites this paper
• LEARNING DECLARATIVE PROCESS MODELS FROM POSITIVE AND NEGATIVE TRACES

  2021cites this paper
• Notation-agnostic Subprocess Modeling for Adaptive Case Management

  2021cites this paper
• An IoT-Based Framework for Smart Water Supply Systems Management

  2020cites this paper
• Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces

  2020cites this paper
• Business Process Compliance Using Reference Models of Law

  2020cites this paper
• Process Model Modularization by Subprocess Discovery

  2020cites this paper
• Predição de Processos com Dados não Estruturados Heterogêneos

  2020cites this paper
• Efficient Declarative-Based Process Mining Using an Enhanced Framework

  2020cites this paper
• D3BA: A Tool for Optimizing Business Processes Using Non-Deterministic Planning

  2020cites this paper
• Block structured scheduling using constraint logic programming

  2020cites this paper
• Prognosis of multiple instances in time-aware declarative business process models

  2020cites this paper
• Incremental Declarative Process Mining with WoMan

  2020cites this paper
• Adapting process models via an automated planning approach

  2020cites this paper
• Modeling clinical activities based on multi-perspective declarative process mining with openEHR’s characteristic

  2020influential citation
• A Meta Model for Mining Processes from Email Data

  2020cites this paper
• Integration of Knowledge and Task Management in an Evolving, Communication-intensive Environment

  2020cites this paper
• Enacting Coordination Processes

  2020cites this paper
• Building orchestrated microservice systems using declarative business processes

  2020cites this paper
• On Knowledge Transfer from Cost-Based Optimization of Data-Centric Workflows to Business Process Redesign

  2020cites this paper
• Using business process models for the specification of manufacturing operations

  2020cites this paper
• QCPW: a quality centric process workflow improvement approach for a legacy healthcare information system

  2020cites this paper
• Predictive Process Model Monitoring using Recurrent Neural Networks

  2020cites this paper
• Towards Online Discovery of Data-Aware Declarative Process Models from Event Streams

  2020cites this paper
• Artifact-Based Workflows for Supporting Simulation Studies

  2020cites this paper
• Control-Flow Modeling with Declare: Behavioral Properties, Computational Complexity, and Tools

  2020cites this paper
• Process mining‐constrained scheduling in the hybrid cloud

  2020cites this paper
• What Role Can Process Mining Play in Recurrent Clinical Guidelines Issues? A Position Paper

  2020cites this paper
• Related Work

  2019cites this paper
• CoPModL: Construction Process Modeling Language and Satisfiability Checking

  2019cites this paper
• The application of business process management in smart manufacturing: towards dynamic allocation of manufacturing resources

  2019cites this paper
• How Understandable Are Pattern-based Behavioral Constraints for Novice Software Designers?

  2019cites this paper
• Modeling Block Structured Project Scheduling with Resource Constraints

  2019cites this paper
• Antipasti

  2019cites this paper
• Clinical Guidelines: A Crossroad of Many Research Areas. Challenges and Opportunities in Process Mining for Healthcare

  2019cites this paper
• DCR-KiPN a Hybrid Modeling Approach for Knowledge-Intensive Processes

  2019cites this paper
• Imperfect Information in Alternating-Time Temporal Logic on Finite Traces

  2019cites this paper
• Learning and Predicting User Pairwise Preferences from Emotions and Gaze Behavior

  2019cites this paper
• Detection of Declarative Process Constraints in LTL Formulas

  2019cites this paper
• Supporting Dynamic Workflows with Automatic Extraction of Goals from BPMN

  2019influential citation
• A Conceptual Model for Systems-of-Information Systems

  2019cites this paper
• Mining Insights from Weakly-Structured Event Data

  2019cites this paper
• Dynamic Reconfiguration of Business Processes

  2019cites this paper
• Goal-oriented Process Enhancement and Discovery

  2019cites this paper
• Variability in business processes: Automatically obtaining a generic specification

  2019cites this paper
• Quality management principles and school quality

  2019cites this paper
• Adoption of ITIL best practice methodologies in Indian industries

  2019cites this paper
• Using Sequence Constraints for Modelling Network Interactions

  2019cites this paper
• 1 Supporting Dynamic Workflows with Automatic Extraction of Goals from BPMN LUCA

  2019cites this paper
• Predicting User Preference in Pairwise Comparisons Based on Emotions and Gaze

  2019cites this paper
• Activity prediction in process mining using the WoMan framework

  2019cites this paper