SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Verifiable UML Artifact-Centric Business Process Models
11 references·8 citing·32 second hop
Verifiable UML Artifact-Centric Business Process Models (2014)Verifiable UML Artifact-Centric Business …Modeling and Enacting Complex Data Dependencies in Business Processes (2013)Modeling and Enacting Complex…Artifact-Centric Business Process Models in UML (2013)Artifact-Centric Business Pro…Verifying GSM-Based Business Artifacts (2012)Verifying GSM-Based Business …On the equivalence of incremental and fixpoint semantics for business artifacts with Guard–Stage–Milestone lifecycles (2012)On the equivalence of increme…PHILharmonicFlows: towards a framework for object‐aware process management (2011)PHILharmonicFlows: towards a …Business artifacts with guard-stage-milestone lifecycles (2011)Business artifacts with guard…Behavioral Conformance of Artifact-Centric Process Models (2011)Behavioral Conformance of Art…A Data-Centric Design Methodology for Business Processes (2009)A Data-Centric Design Methodo…Artifact-Centric Business Process Models: Brief Survey of Research Results and Challenges (2008)Artifact-Centric Business Pro…Specification and Verification of Artifact Behaviors in Business Process Models (2007)Specification and Verificatio…Business Process Management : Concepts, Languages, Architectures (2007)Business Process Management :…Preserving complex object-centric graph structures to improve machine learning tasks in process mining (2023)Preserving complex object-cen…Verifying the manipulation of data objects according to business process and data models (2020)Verifying the manipulation of…Conformance checking in UML artifact-centric business process models (2018)Conformance checking in UML a…Ensuring the semantic correctness of a BAUML artifact-centric BPM (2017)Ensuring the semantic correct…Soundness of data-aware, case-centric processes (2016)Soundness of data-aware, case…Service Pattern: An Integrated Business Process Model for Modern Service Industry (2016)Service Pattern: An Integrate…Verification and Validation of UML Artifact-Centric Business Process Models (2015)Verification and Validation o…Enterprise Pattern: integrating the business process into a unified enterprise model of modern service company (2015)Enterprise Pattern: integrati…Business artifacts: An approach to operational specification (2003)Conformance checking of processes based on monitoring real behavior (2007)Business Process Management Workshops (2008)Extracting Multiple Viewpoint Models from Relational Databases (2020)Precision and Fitness in Object-Centric Process Mining (2021)DECLARE: Full Support for Loosely-Structured Processes (2007)Provenance and scientific workflows (2008)Data integration flows for business intelligence (2009)Workflow Management: Models, Methods, and Systems (2001)Case handling: a new paradigm for business process support (2004)Towards a Shared Ledger Business Collaboration Language Based on Data-Aware Processes (2016)Business Artifacts: A Data-centric Approach to Modeling Business Operations and Processes (2009)DB-Nets: On the Marriage of Colored Petri Nets and Relational Databases (2017)Automatic verification of data-centric business processes (2009)Introducing the Guard-Stage-Milestone Approach for Specifying Business Entity Lifecycles (2011)Verification of Artifact-Centric Systems: Decidability and Modeling Issues (2013)Automating correctness verification of artifact-centric business process models (2015)Towards Formal Analysis of Artifact-Centric Business Process Models (2007)Automatic construction of simple artifact-based business processes (2009)Towards Object-Aware Process Management Systems: Issues, Challenges, Benefits (2009)Object-Aware Business Processes (2011)AgentWork: a workflow system supporting rule-based workflow adaptation (2004)Process and Data: Two Sides of the Same Coin? (2012)DALEC: a framework for the systematic evaluation of data-centric approaches to process management software (2018)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)Discovering Interacting Artifacts from ERP Systems (2015)
this work references cited by second hop

References

  • 2007Business Process Management : Concepts, Languages, Architectures1,653 cited
  • 2008Artifact-Centric Business Process Models: Brief Survey of Research Results and Challenges268 cited
  • 2011PHILharmonicFlows: towards a framework for object‐aware process management238 cited
  • 2011Business artifacts with guard-stage-milestone lifecycles182 cited
  • 2009A Data-Centric Design Methodology for Business Processes160 cited
  • 2012On the equivalence of incremental and fixpoint semantics for business artifacts with Guard–Stage–Milestone lifecycles126 cited
  • 2013Modeling and Enacting Complex Data Dependencies in Business Processes119 cited
  • 2007Specification and Verification of Artifact Behaviors in Business Process Models118 cited
  • 2011Behavioral Conformance of Artifact-Centric Process Models48 cited
  • 2012Verifying GSM-Based Business Artifacts37 cited
  • 2013Artifact-Centric Business Process Models in UML32 cited

Cited by

  • 2015Enterprise Pattern: integrating the business process into a unified enterprise model of modern service company31 cited
  • 2016Soundness of data-aware, case-centric processes29 cited
  • 2023Preserving complex object-centric graph structures to improve machine learning tasks in process mining26 cited

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

  • 2015Verification and Validation of UML Artifact-Centric Business Process Models21 cited
  • 2018Conformance checking in UML artifact-centric business process models20 cited
  • 2020Verifying the manipulation of data objects according to business process and data models19 cited
  • 2016Service Pattern: An Integrated Business Process Model for Modern Service Industry17 cited
  • 2017Ensuring the semantic correctness of a BAUML artifact-centric BPM16 cited