SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Verification and Validation of UML Artifact-Centric Business Process Models
6 references·2 citing·29 second hop
Verification and Validation of UML Artifact-Centric Business Process Models (2015)Verification and Validation of UML Artifa…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…Barcelona: A Design and Runtime Environment for Declarative Artifact-Centric BPM (2013)Barcelona: A Design and Runti…Beyond soundness: on the verification of semantic business process models (2010)Beyond soundness: on the veri…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…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…Business artifacts: An approach to operational specification (2003)DECLARE: Full Support for Loosely-Structured Processes (2007)Provenance and scientific workflows (2008)Data integration flows for business intelligence (2009)Business Process Management : Concepts, Languages, Architectures (2007)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)Automatic verification of data-centric business processes (2009)Business Artifacts: A Data-centric Approach to Modeling Business Operations and Processes (2009)Verification of workflow nets (1997)ARIS — Business Process Modeling (1999)YAWL: yet another workflow language (2004)Modeling and validation of business process families (2012)Detection of naming convention violations in process models for different languages (2013)Automatic Detection and Resolution of Lexical Ambiguity in Process Models (2015)Case handling: a new paradigm for business process support (2004)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)Process Mining (2011)Process Mining: Discovery, Conformance and Enhancement of Business Processes (2011)Analyzing process models using graph reduction techniques (2000)Business artifacts with guard-stage-milestone lifecycles (2011)Introducing the Guard-Stage-Milestone Approach for Specifying Business Entity Lifecycles (2011)Separating Execution and Data Management: A Key to Business-Process-as-a-Service (BPaaS) (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
  • 2007Specification and Verification of Artifact Behaviors in Business Process Models118 cited
  • 2010Beyond soundness: on the verification of semantic business process models98 cited
  • 2013Barcelona: A Design and Runtime Environment for Declarative Artifact-Centric BPM35 cited
  • 2014Verifiable UML Artifact-Centric Business Process Models32 cited
  • 2013Verification of Artifact-Centric Systems: Decidability and Modeling Issues26 cited

Cited by

  • 2018Conformance checking in UML artifact-centric business process models20 cited
  • 2020Verifying the manipulation of data objects according to business process and data models19 cited

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