SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Verifying GSM-Based Business Artifacts
5 references·4 citing·25 second hop
Verifying GSM-Based Business Artifacts (2012)Verifying GSM-Based Business ArtifactsOn the equivalence of incremental and fixpoint semantics for business artifacts with Guard–Stage–Milestone lifecycles (2012)On the equivalence of increme…Introducing the Guard-Stage-Milestone Approach for Specifying Business Entity Lifecycles (2011)Introducing the Guard-Stage-M…Business artifacts with guard-stage-milestone lifecycles (2011)Business artifacts with guard…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…Ensuring the semantic correctness of a BAUML artifact-centric BPM (2017)Ensuring the semantic correct…Automating correctness verification of artifact-centric business process models (2015)Automating correctness verifi…Verifiable UML Artifact-Centric Business Process Models (2014)Verifiable UML Artifact-Centr…Verification of Artifact-Centric Systems: Decidability and Modeling Issues (2013)Verification of Artifact-Cent…Business artifacts: An approach to operational specification (2003)Case handling: a new paradigm for business process support (2004)Data Centric BPM and the Emerging Case Management Standard: A Short Survey (2013)Business Process Management : Concepts, Languages, Architectures (2007)Artifact-Centric Business Process Models: Brief Survey of Research Results and Challenges (2008)PHILharmonicFlows: towards a framework for object‐aware process management (2011)Enterprise Pattern: integrating the business process into a unified enterprise model of modern service company (2015)Soundness of data-aware, case-centric processes (2016)Preserving complex object-centric graph structures to improve machine learning tasks in process mining (2023)THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)Business Process Management Workshops (2008)A method for generation and design of business processes with business rules (2017)Verifying the manipulation of data objects according to business process and data models (2020)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)Towards Formal Analysis of Artifact-Centric Business Process Models (2007)Soundness of workflow nets: classification, decidability, and analysis (2010)Verification and Validation of UML Artifact-Centric Business Process Models (2015)Conformance checking in UML artifact-centric business process models (2018)Modeling and Enacting Complex Data Dependencies in Business Processes (2013)Towards a Shared Ledger Business Collaboration Language Based on Data-Aware Processes (2016)DB-Nets: On the Marriage of Colored Petri Nets and Relational Databases (2017)Discovering Interacting Artifacts from ERP Systems (2015)
this work references cited by second hop

References

  • 2009Business Artifacts: A Data-centric Approach to Modeling Business Operations and Processes358 cited
  • 2009Automatic verification of data-centric business processes222 cited
  • 2011Introducing the Guard-Stage-Milestone Approach for Specifying Business Entity Lifecycles204 cited
  • 2011Business artifacts with guard-stage-milestone lifecycles182 cited
  • 2012On the equivalence of incremental and fixpoint semantics for business artifacts with Guard–Stage–Milestone lifecycles126 cited

Cited by

  • 2014Verifiable UML Artifact-Centric Business Process Models32 cited
  • 2013Verification of Artifact-Centric Systems: Decidability and Modeling Issues26 cited
  • 2015Automating correctness verification of artifact-centric business process models19 cited
  • 2017Ensuring the semantic correctness of a BAUML artifact-centric BPM16 cited

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