SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Automating correctness verification of artifact-centric business process models
16 references·2 citing·33 second hop
Automating correctness verification of artifact-centric business process models (2015)Automating correctness verification of ar…Business Process Management (BPM) (2018)Business Process Management (…Modeling and Enacting Complex Data Dependencies in Business Processes (2013)Modeling and Enacting Complex…Compliance by design for artifact-centric business processes (2012)Compliance by design for arti…BPMN: An introduction to the standard (2011)BPMN: An introduction to the …Diagnosing and Repairing Data Anomalies in Process Models (2010)Diagnosing and Repairing Data…Beyond soundness: on the verification of semantic business process models (2010)Beyond soundness: on the veri…Business Artifacts: A Data-centric Approach to Modeling Business Operations and Processes (2009)Business Artifacts: A Data-ce…Automatic verification of data-centric business processes (2009)Automatic verification of dat…Business Process Management Workshops (2008)Business Process Management W…Artifact-Centric Business Process Models: Brief Survey of Research Results and Challenges (2008)Artifact-Centric Business Pro…Static Analysis of Business Artifact-centric Operational Models (2007)Static Analysis of Business A…Specification and Verification of Artifact Behaviors in Business Process Models (2007)Specification and Verificatio…Business Process Management : Concepts, Languages, Architectures (2007)Business Process Management :…Business artifacts: An approach to operational specification (2003)Business artifacts: An approa…Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques (2000)Workflow Verification: Findin…THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)THE APPLICATION OF PETRI NETS…Verifying the manipulation of data objects according to business process and data models (2020)Verifying the manipulation of…A method for generation and design of business processes with business rules (2017)A method for generation and d…DECLARE: Full Support for Loosely-Structured Processes (2007)Provenance and scientific workflows (2008)Data integration flows for business intelligence (2009)Introducing the Guard-Stage-Milestone Approach for Specifying Business Entity Lifecycles (2011)A framework for information systems architecture (1987)Workflow Patterns (2003)Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs (2011)Knowledge-Intensive Processes: Characteristics, Requirements and Analysis of Contemporary Approaches (2014)Object-Centric Process Mining: Dealing with Divergence and Convergence in Event Data (2019)Business Process Management: A Survey (2003)Seven process modeling guidelines (7PMG) (2009)Business process model and notation: The current state of affairs (2015)BPMN 2.0: The state of support and implementation (2017)Event abstraction in process mining: literature review and taxonomy (2020)Workflow Management: Modeling Concepts, Architecture and Implementation (1996)Verification of workflow nets (1997)Diagnosing Workflow Processes using Woflan (2001)What Makes Process Models Understandable? (2007)Soundness of workflow nets: classification, decidability, and analysis (2010)Towards Formal Analysis of Artifact-Centric Business Process Models (2007)Business artifacts with guard-stage-milestone lifecycles (2011)Case handling: a new paradigm for business process support (2004)YAWL: yet another workflow language (2004)Process and deviation exploration with Inductive visual Miner (2014)The State of the Art of Business Process Management Research as Published in the BPM Conference (2015)Connecting databases with process mining: a meta model and toolset (2018)Change patterns and change support features – Enhancing flexibility in process-aware information systems (2008)Replaying history on process models for conformance checking and performance analysis (2012)Business Process Management: A Comprehensive Survey (2013)Workflow mining: discovering process models from event logs (2004)Modeling Control Objectives for Business Process Compliance (2007)Discovering Block-Structured Process Models from Event Logs - A Constructive Approach (2013)Discovering Block-Structured Process Models from Event Logs Containing Infrequent Behaviour (2014)
this work references cited by second hop

References

  • 1998THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT2,706 cited
  • 2007Business Process Management : Concepts, Languages, Architectures1,653 cited
  • 2008Business Process Management Workshops761 cited
  • 2011BPMN: An introduction to the standard688 cited
  • 2003Business artifacts: An approach to operational specification542 cited
  • 2000Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques435 cited
  • 2009Business Artifacts: A Data-centric Approach to Modeling Business Operations and Processes358 cited
  • 2008Artifact-Centric Business Process Models: Brief Survey of Research Results and Challenges268 cited
  • 2009Automatic verification of data-centric business processes222 cited
  • 2013Modeling and Enacting Complex Data Dependencies in Business Processes119 cited
  • 2007Specification and Verification of Artifact Behaviors in Business Process Models118 cited
  • 2010Beyond soundness: on the verification of semantic business process models98 cited
  • 2010Diagnosing and Repairing Data Anomalies in Process Models77 cited
  • 2012Compliance by design for artifact-centric business processes73 cited
  • 2007Static Analysis of Business Artifact-centric Operational Models

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

66 cited
  • 2018Business Process Management (BPM)63 cited
  • Cited by

    • 2020Verifying the manipulation of data objects according to business process and data models19 cited
    • 2017A method for generation and design of business processes with business rules17 cited