SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Delta-BPMN: A Concrete Language and Verifier for Data-Aware BPMN
10 references·0 citing·38 second hop
Delta-BPMN: A Concrete Language and Verifier for Data-Aware BPMN (2021)Delta-BPMN: A Concrete Language and Verif…RESEDA: Declaring Live Event-Driven Computations as REactive SEmi-Structured DAta (2018)RESEDA: Declaring Live Event-…DALEC: a framework for the systematic evaluation of data-centric approaches to process management software (2018)DALEC: a framework for the sy…Ensuring the semantic correctness of a BAUML artifact-centric BPM (2017)Ensuring the semantic correct…Modeling and Enacting Complex Data Dependencies in Business Processes (2013)Modeling and Enacting Complex…Foundations of data-aware process analysis (2013)Foundations of data-aware pro…Process and Data: Two Sides of the Same Coin? (2012)Process and Data: Two Sides o…On the Equivalence of Incremental and Fixpoint Semantics for Business Artifacts with Guard-Stage-Milestone Lifecycles (2011)On the Equivalence of Increme…Object-Aware Business Processes (2011)Object-Aware Business Process…From ADEPT to AristaFlow BPM Suite: A Research Vision Has Become Reality (2010)From ADEPT to AristaFlow BPM …Artifact-Centric Business Process Models: Brief Survey of Research Results and Challenges (2008)Artifact-Centric Business Pro…The ADEPT project: a decade of research and development for robust and flexible process support (2009)Customer-Centered Careflow Modeling Based on Guidelines (2012)Higher-Order Process Modeling: Product-Lining, Variability Modeling and Beyond (2013)Towards the agility of collaborative workflows through an event driven approach – Application to crisis management (2018)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)Business Process Management: A Survey (2003)Workflow Patterns (2003)Case handling: a new paradigm for business process support (2004)DB-Nets: On the Marriage of Colored Petri Nets and Relational Databases (2017)Business Artifacts: A Data-centric Approach to Modeling Business Operations and Processes (2009)Towards a Shared Ledger Business Collaboration Language Based on Data-Aware Processes (2016)A Holistic Approach for Soundness Verification of Decision-Aware Process Models (2018)Business Process Management Workshops (2008)Enabling Flexibility in Process-Aware Information Systems (2012)Add Data into Business Process Verification: Bridging the Gap between Theory and Practice (2017)Linking Data and BPMN Processes to Achieve Executable Models (2017)Petri net-based object-centric processes with read-only data (2022)Towards Formal Analysis of Artifact-Centric Business Process Models (2007)Soundness of workflow nets: classification, decidability, and analysis (2010)Supporting data-aware processes with MERODE (2023)Procedures for Performing Systematic Reviews (2004)Application of data mining techniques in customer relationship management: A literature review and classification (2008)Business Process Management: A Comprehensive Survey (2013)Enabling runtime flexibility in data-centric and data-driven process execution engines (2019)On the declarative paradigm in hybrid business process representations: A conceptual framework and a systematic literature study (2020)Defining gaze patterns for process model literacy – Exploring visual routines in process models with diverse mappings (2022)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)Verification of Artifact-Centric Systems: Decidability and Modeling Issues (2013)A view framework for modeling and change validation of artifact-centric inter-organizational business processes (2014)Universal Artifacts (2016)
this work references cited by second hop

References

  • 2008Artifact-Centric Business Process Models: Brief Survey of Research Results and Challenges268 cited
  • 2013Foundations of data-aware process analysis136 cited
  • 2013Modeling and Enacting Complex Data Dependencies in Business Processes119 cited
  • 2011Object-Aware Business Processes82 cited
  • 2018DALEC: a framework for the systematic evaluation of data-centric approaches to process management software67 cited
  • 2012Process and Data: Two Sides of the Same Coin?62 cited
  • 2011On the Equivalence of Incremental and Fixpoint Semantics for Business Artifacts with Guard-Stage-Milestone Lifecycles34 cited
  • 2010From ADEPT to AristaFlow BPM Suite: A Research Vision Has Become Reality29 cited
  • 2018RESEDA: Declaring Live Event-Driven Computations as REactive SEmi-Structured DAta21 cited
  • 2017Ensuring the semantic correctness of a BAUML artifact-centric BPM16 cited

Cited by

No citing works inside the corpus for this window.

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