SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Add Data into Business Process Verification: Bridging the Gap between Theory and Practice
11 references·4 citing·43 second hop
Add Data into Business Process Verification: Bridging the Gap between Theory and Practice (2017)Add Data into Business Process Verificati…Rethinking BPM in a Cognitive World: Transforming How We Learn and Perform Business Processes (2016)Rethinking BPM in a Cognitive…On Structured Workflow Modelling (2013)On Structured Workflow Modell…Process and Data: Two Sides of the Same Coin? (2012)Process and Data: Two Sides o…Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible (2011)Soundness verification for co…Modeling Business Processes: A Petri Net-Oriented Approach (2011)Modeling Business Processes: …Data in Business Processes. (2011)Data in Business Processes.Modern Business Process Automation: YAWL and Its Support Environment (2010)Modern Business Process Autom…Semantics and analysis of business process models in BPMN (2008)Semantics and analysis of bus…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…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…Workflow Nets With Tables and Their Soundness (2019)Workflow Nets With Tables and…New Retail Business Analysis and Modeling: A Taobao Case Study (2019)New Retail Business Analysis …Conceptual Modeling of Processes and Data: Connecting Different Perspectives (2018)Conceptual Modeling of Proces…Business artifacts: An approach to operational specification (2003)DECLARE: Full Support for Loosely-Structured Processes (2007)Provenance and scientific workflows (2008)Automatic verification of data-centric business processes (2009)Data integration flows for business intelligence (2009)Introducing the Guard-Stage-Milestone Approach for Specifying Business Entity Lifecycles (2011)An overview of workflow management: From process modeling to workflow automation infrastructure (1995)A model-driven approach to industrializing discovery processes in pharmaceutical research (2005)Automatic Verification of Data-Centric Business Processes (2011)On the Equivalence of Incremental and Fixpoint Semantics for Business Artifacts with Guard-Stage-Milestone Lifecycles (2011)A view framework for modeling and change validation of artifact-centric inter-organizational business processes (2014)Case handling: a new paradigm for business process support (2004)Business Process Management Workshops (2008)Enabling Flexibility in Process-Aware Information Systems (2012)Lifecycle Management of Business Process Variants (2014)Linking Data and BPMN Processes to Achieve Executable Models (2017)Petri net-based object-centric processes with read-only data (2022)Workflow Management—Models, Methods and Systems (2003)Process-aware information systems: bridging people and software through process technology (2006)Ensuring correctness during process configuration via partner synthesis (2011)Detection of naming convention violations in process models for different languages (2013)A Holistic Approach for Soundness Verification of Decision-Aware Process Models (2018)Workflow Patterns (2003)YAWL: yet another workflow language (2004)The ProM Framework: A New Era in Process Mining Tool Support (2005)Efficient Compliance Checking Using BPMN-Q and Temporal Logic (2008)Opportunities and constraints: the current struggle with BPMN (2010)Similarity of business process models: Metrics and evaluation (2010)Workflow Management: Modeling Concepts, Architecture and Implementation (1996)Verification Of Workflow Task Structures: A Petri-net-baset Approach (2000)Complexity metrics for business process models (2006)From BPMN Process Models to BPEL Web Services (2006)From business process models to process-oriented software systems (2009)Foundations of data-aware process analysis (2013)Business Process Simulation Survival Guide (2014)Extracting Event Data from Databases to Unleash Process Mining (2015)Workflow mining: discovering process models from event logs (2004)On the evolution of process-oriented approaches for healthcare workflows (2013)Automating data exchange in process choreographies (2015)A planning approach to the automated synthesis of template-based process models (2017)What BPM Technology Can Do for Healthcare Process Support (2011)A Rigorous Semantics for BPMN 2.0 Process Diagrams (2014)A knowledge-intensive adaptive business process management framework (2020)
this work references cited by second hop

References

  • 1998THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT2,706 cited
  • 2008Semantics and analysis of business process models in BPMN727 cited
  • 2008Artifact-Centric Business Process Models: Brief Survey of Research Results and Challenges268 cited
  • 2013On Structured Workflow Modelling260 cited
  • 2011Modeling Business Processes: A Petri Net-Oriented Approach172 cited
  • 2010Modern Business Process Automation: YAWL and Its Support Environment100 cited
  • 2011Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible74 cited
  • 2007Static Analysis of Business Artifact-centric Operational Models66 cited
  • 2012Process and Data: Two Sides of the Same Coin?62 cited
  • 2011Data in Business Processes.53 cited
  • 2016Rethinking BPM in a Cognitive World: Transforming How We Learn and Perform Business Processes53 cited

Cited by

  • 2018Conceptual Modeling of Processes and Data: Connecting Different Perspectives20 cited
  • 2020Verifying the manipulation of data objects according to business process and data models19 cited
  • 2019New Retail Business Analysis and Modeling: A Taobao Case Study18 cited
  • 2019

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

Workflow Nets With Tables and Their Soundness
17 cited