SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Runtime Verification of LTL-Based Declarative Process Models
8 references·16 citing·36 second hop
Runtime Verification of LTL-Based Declarative Process Models (2012)Runtime Verification of LTL-Based Declara…Monitoring business constraints with the event calculus (2013)Monitoring business constrain…User-guided discovery of declarative process models (2011)User-guided discovery of decl…Process Mining: Discovery, Conformance and Enhancement of Business Processes (2011)Process Mining: Discovery, Co…Process Mining (2011)Process MiningMonitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata (2011)Monitoring Business Constrain…Declarative workflows: Balancing between flexibility and support (2009)Declarative workflows: Balanc…DECLARE: Full Support for Loosely-Structured Processes (2007)DECLARE: Full Support for Loo…International Telecommunications Union (1947)International Telecommunicati…Declarative Process Specifications: Reasoning, Discovery, Monitoring (2022)Declarative Process Specifica…Modeling and Reasoning over Declarative Data-Aware Processes with Object-Centric Behavioral Constraints (2019)Modeling and Reasoning over D…A distributed approach to compliance monitoring of business process event streams (2018)A distributed approach to com…Norms modeling constructs of business process compliance management frameworks: a conceptual evaluation (2017)Norms modeling constructs of …Resolving inconsistencies and redundancies in declarative process models (2016)Resolving inconsistencies and…Business process flexibility - a systematic literature review with a software systems perspective (2016)Business process flexibility …A framework for visually monitoring business process compliance (2016)A framework for visually moni…Mixed-Paradigm Process Modeling with Intertwined State Spaces (2015)Mixed-Paradigm Process Modeli…Process Mining in the Large: A Tutorial (2014)Process Mining in the Large: …Monitoring data-aware business constraints with finite state automata (2014)Monitoring data-aware busines…Hierarchical Declarative Modelling with Refinement and Sub-processes (2014)Hierarchical Declarative Mode…Mixing Paradigms for More Comprehensible Models (2013)Mixing Paradigms for More Com…Declarative Process Mining with the Declare Component of ProM. (2013)Declarative Process Mining wi…A Framework for the Systematic Comparison and Evaluation of Compliance Monitoring Approaches (2013)A Framework for the Systemati…Techniques for a Posteriori Analysis of Declarative Processes (2012)Techniques for a Posteriori A…An Operational Decision Support Framework for Monitoring Business Constraints (2012)An Operational Decision Suppo…A Declarative Approach for Flexible Business Processes Management (2006)Business Process Management Workshops (2008)Monitoring Business Process Compliance Using Compliance Rule Graphs (2011)Compliance monitoring in business processes: Functionalities, application, and tool-support (2015)Are we done with business process compliance: state of the art and challenges ahead (2018)An overview of workflow management: From process modeling to workflow automation infrastructure (1995)Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control (1998)THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)Enabling Flexibility in Process-Aware Information Systems (2012)Knowledge-Intensive Processes: Characteristics, Requirements and Analysis of Contemporary Approaches (2014)Business Process Variability Modeling (2017)Workflow mining: A survey of issues and approaches (2003)Workflow Patterns (2003)Time prediction based on process mining (2010)Automated Discovery of Process Models from Event Logs: Review and Benchmark (2018)Workflow mining: discovering process models from event logs (2004)Conformance checking of processes based on monitoring real behavior (2007)Fuzzy Mining – Adaptive Process Simplification Based on Multi-perspective Metrics (2007)Efficient Discovery of Understandable Declarative Process Models from Event Logs (2012)Declarative process mining in healthcare (2015)Big data: The next frontier for innovation, competition, and productivity (2011)Scalable Process Discovery Using Map-Reduce (2014)Designing a Process Mining-Enabled Decision Support System for Business Process Standardization in ERP Implementation Projects (2018)Data Analytic Approaches for Mining Process Improvement—Machinery Utilization Use Case (2020)Process Mining Manifesto (2012)Business Process Management: A Comprehensive Survey (2013)Digital Innovation Management: Reinventing Innovation Management Research in a Digital World (2017)Process discovery from event data: Relating models and logs through abstractions (2018)How is process mining technology used by organizations? A systematic literature review of empirical studies (2018)Extracting Declarative Process Models from Natural Language (2019)Exogenous Shocks and Business Process Management (2022)Risking Security: Policies and Paradoxes of Cyberspace Security (2010)Crisis analytics: big data-driven crisis response (2016)The relationship between nomophobia and the distraction associated with smartphone use among nursing students in their clinical practicum (2018)Replaying history on process models for conformance checking and performance analysis (2012)Discovering Block-Structured Process Models from Event Logs - A Constructive Approach (2013)
this work references cited by second hop

References

  • 2011Process Mining1,804 cited
  • 2011Process Mining: Discovery, Conformance and Enhancement of Business Processes1,725 cited
  • 2007DECLARE: Full Support for Loosely-Structured Processes583 cited
  • 2009Declarative workflows: Balancing between flexibility and support531 cited
  • 1947International Telecommunications Union443 cited
  • 2011Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata233 cited
  • 2011User-guided discovery of declarative process models169 cited
  • 2013Monitoring business constraints with the event calculus121 cited

Cited by

  • 2016Resolving inconsistencies and redundancies in declarative process models88 cited
  • 2014Process Mining in the Large: A Tutorial67 cited
  • 2022Declarative Process Specifications: Reasoning, Discovery, Monitoring64 cited
  • 2016Business process flexibility - a systematic literature review with a software systems perspective63 cited
  • 2013A Framework for the Systematic Comparison and Evaluation of Compliance Monitoring Approaches54 cited
  • 2012An Operational Decision Support Framework for Monitoring Business Constraints50 cited
  • 2012Techniques for a Posteriori Analysis of Declarative Processes

Only edges whose both ends are imported exist here. Widen the year window, or show the whole map. Back to the work

46 cited
  • 2013Declarative Process Mining with the Declare Component of ProM.41 cited
  • 2019Modeling and Reasoning over Declarative Data-Aware Processes with Object-Centric Behavioral Constraints41 cited
  • 2013Mixing Paradigms for More Comprehensible Models40 cited
  • 2014Monitoring data-aware business constraints with finite state automata39 cited
  • 2016A framework for visually monitoring business process compliance35 cited
  • 2014Hierarchical Declarative Modelling with Refinement and Sub-processes32 cited
  • 2015Mixed-Paradigm Process Modeling with Intertwined State Spaces30 cited
  • 2017Norms modeling constructs of business process compliance management frameworks: a conceptual evaluation28 cited
  • 2018A distributed approach to compliance monitoring of business process event streams25 cited