SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Automatic Verification of Data-Centric Business Processes
16 references·8 citing·29 second hop
Automatic Verification of Data-Centric Business Processes (2011)Automatic Verification of Data-Centric Bu…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…Automatic verification of data-centric business processes (2009)Automatic verification of dat…Artifact-Based Transformation of IBM Global Financing (2009)Artifact-Based Transformation…On the Duality of Information-Centric and Activity-Centric Models of Business Processes (2008)On the Duality of Information…Towards Formal Analysis of Artifact-Centric Business Process Models (2007)Towards Formal Analysis of Ar…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…Modeling Business Contexture and Behavior Using Business Artifacts (2007)Modeling Business Contexture …Generation of Business Process Models for Object Life Cycle Compliance (2007)Generation of Business Proces…Artifact-centered operational modeling: Lessons from customer engagements (2007)Artifact-centered operational…Document Engineering: Analyzing and Designing Documents for Business Informatics and Web Services (2005)Document Engineering: Analyzi…A model-driven approach to industrializing discovery processes in pharmaceutical research (2005)A model-driven approach to in…A Framework for Document-Driven Workflow Systems (2005)A Framework for Document-Driv…Business artifacts: An approach to operational specification (2003)Business artifacts: An approa…Declarative workflows that support easy modification and dynamic browsing (1999)Declarative workflows that su…Ensuring the semantic correctness of a BAUML artifact-centric BPM (2017)Ensuring the semantic correct…Semantical Vacuity Detection in Declarative Process Mining (2016)Semantical Vacuity Detection …Monitoring data-aware business constraints with finite state automata (2014)Monitoring data-aware busines…A view framework for modeling and change validation of artifact-centric inter-organizational business processes (2014)A view framework for modeling…Verification of Artifact-Centric Systems: Decidability and Modeling Issues (2013)Verification of Artifact-Cent…Artifact-Centric Business Process Models in UML (2013)Artifact-Centric Business Pro…Techniques for a Posteriori Analysis of Declarative Processes (2012)Techniques for a Posteriori A…Entity-centric operations modeling for business process management — A multidisciplinary review of the state-of-the-art (2011)Entity-centric operations mod…An overview of workflow management: From process modeling to workflow automation infrastructure (1995)THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)Workflow Patterns (2003)A New Paradigm for the Enactment and Dynamic Adaptation of Data-Driven Process Structures (2008)Challenges and opportunities in collaborative business process management: Overview of recent advances and introduction to the special issue (2008)Case handling: a new paradigm for business process support (2004)Business Artifacts: A Data-centric Approach to Modeling Business Operations and Processes (2009)On the equivalence of incremental and fixpoint semantics for business artifacts with Guard–Stage–Milestone lifecycles (2012)Data Centric BPM and the Emerging Case Management Standard: A Short Survey (2013)Design Rules (2000)Beyond soundness: on the verification of semantic business process models (2010)Foundations of data-aware process analysis (2013)Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control (1998)Workflow mining: discovering process models from event logs (2004)Business Process Management Workshops (2008)Beyond rigidity – dynamic process lifecycle support (2009)Are we done with business process compliance: state of the art and challenges ahead (2018)Institutional Ecology, `Translations' and Boundary Objects: Amateurs and Professionals in Berkeley's Museum of Vertebrate Zoology, 1907-39 (1989)Improving Performance: How to Manage the White Space on the Organization Chart (1990)The balanced scorecard : measures that drive performance (1992)A framework for information systems architecture (1987)Artifact-Centric Business Process Models: Brief Survey of Research Results and Challenges (2008)Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs (2011)Object-Centric Process Mining: Dealing with Divergence and Convergence in Event Data (2019)Discovering Interacting Artifacts from ERP Systems (2015)Towards a Shared Ledger Business Collaboration Language Based on Data-Aware Processes (2016)Automatic construction of simple artifact-based business processes (2009)Towards Object-Aware Process Management Systems: Issues, Challenges, Benefits (2009)Object-Aware Business Processes (2011)
this work references cited by second hop

References

  • 2003Business artifacts: An approach to operational specification542 cited
  • 2007Towards Formal Analysis of Artifact-Centric Business Process Models287 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
  • 2007Generation of Business Process Models for Object Life Cycle Compliance163 cited
  • 2007Artifact-centered operational modeling: Lessons from customer engagements156 cited
  • 2008On the Duality of Information-Centric and Activity-Centric Models of Business Processes142 cited
  • 2007Modeling Business Contexture and Behavior Using Business Artifacts126 cited
  • 2007Specification and Verification of Artifact Behaviors in Business Process Models118 cited
  • 2005A Framework for Document-Driven Workflow Systems103 cited
  • 2005A model-driven approach to industrializing discovery processes in pharmaceutical research89 cited
  • 2005Document Engineering: Analyzing and Designing Documents for Business Informatics and Web Services78 cited
  • 1999Declarative workflows that support easy modification and dynamic browsing70 cited

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

2009
Artifact-Based Transformation of IBM Global Financing
69 cited
  • 2007Static Analysis of Business Artifact-centric Operational Models66 cited
  • Cited by

    • 2012Techniques for a Posteriori Analysis of Declarative Processes46 cited
    • 2014Monitoring data-aware business constraints with finite state automata39 cited
    • 2013Artifact-Centric Business Process Models in UML32 cited
    • 2014A view framework for modeling and change validation of artifact-centric inter-organizational business processes32 cited
    • 2013Verification of Artifact-Centric Systems: Decidability and Modeling Issues26 cited
    • 2011Entity-centric operations modeling for business process management — A multidisciplinary review of the state-of-the-art22 cited
    • 2016Semantical Vacuity Detection in Declarative Process Mining18 cited
    • 2017Ensuring the semantic correctness of a BAUML artifact-centric BPM16 cited