SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Verification of Artifact-Centric Systems: Decidability and Modeling Issues
15 references·2 citing·32 second hop
Verification of Artifact-Centric Systems: Decidability and Modeling Issues (2013)Verification of Artifact-Centric Systems:…Foundations of data-aware process analysis (2013)Foundations of data-aware 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…On the Equivalence of Incremental and Fixpoint Semantics for Business Artifacts with Guard-Stage-Milestone Lifecycles (2011)On the Equivalence of Increme…On the Convergence of Data and Process Engineering (2011)On the Convergence of Data an…Modeling Business Processes: A Petri Net-Oriented Approach (2011)Modeling Business Processes: …Modeling Business Processes (2011)Modeling Business ProcessesAutomatic Verification of Data-Centric Business Processes (2011)Automatic Verification of Dat…Model Checking of Security-Sensitive Business Processes (2010)Model Checking of Security-Se…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…A Survey of Formal Verification for Business Process Modeling (2008)A Survey of Formal Verificati…Artifact-centered operational modeling: Lessons from customer engagements (2007)Artifact-centered operational…Using the π-Calculus for Formalizing Workflow Patterns (2005)Using the π-Calculus for Form…Business artifacts: An approach to operational specification (2003)Business artifacts: An approa…Conformance checking in UML artifact-centric business process models (2018)Conformance checking in UML a…Verification and Validation of UML Artifact-Centric Business Process Models (2015)Verification and Validation o…The new science of management decision. (1960)The New Science of Management Decision (1978)Transforming BPEL to Petri Nets (2005)Formal verification of business processes with temporal and resource constraints (2011)Formal verification of complex business processes based on high-level Petri nets (2017)A formal approach to modeling and verification of business process collaborations (2018)Process modeling (1992)Business Process Management: The Third Wave (2003)Workflow Patterns (2003)On the Formal Semantics of Change Patterns in Process-Aware Information Systems (2008)Workflow Time Patterns for Process-Aware Information Systems (2010)Enterprise Modelling and Information Systems Architectures (2012)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)On the Duality of Information-Centric and Activity-Centric Models of Business Processes (2008)Case handling: a new paradigm for business process support (2004)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)A framework for information systems architecture (1987)Towards Formal Analysis of Artifact-Centric Business Process Models (2007)Artifact-Centric Business Process Models: Brief Survey of Research Results and Challenges (2008)Business artifacts with guard-stage-milestone lifecycles (2011)Introducing the Guard-Stage-Milestone Approach for Specifying Business Entity Lifecycles (2011)Business Process Simulation Survival Guide (2014)Extracting Event Data from Databases to Unleash Process Mining (2015)A Holistic Approach for Soundness Verification of Decision-Aware Process Models (2018)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)Quality Value Stream Mapping (2014)
this work references cited by second hop

References

  • 2003Business artifacts: An approach to operational specification542 cited
  • 2009Business Artifacts: A Data-centric Approach to Modeling Business Operations and Processes358 cited
  • 2009Automatic verification of data-centric business processes222 cited
  • 2011Modeling Business Processes: A Petri Net-Oriented Approach172 cited
  • 2007Artifact-centered operational modeling: Lessons from customer engagements156 cited
  • 2011Modeling Business Processes151 cited
  • 2005Using the π-Calculus for Formalizing Workflow Patterns142 cited
  • 2013Foundations of data-aware process analysis136 cited
  • 2012On the equivalence of incremental and fixpoint semantics for business artifacts with Guard–Stage–Milestone lifecycles126 cited
  • 2008A Survey of Formal Verification for Business Process Modeling113 cited
  • 2010Model Checking of Security-Sensitive Business Processes52 cited
  • 2011Automatic Verification of Data-Centric Business Processes49 cited
  • 2012Verifying GSM-Based Business Artifacts37 cited
  • 2011On the Equivalence of Incremental and Fixpoint Semantics for Business Artifacts with Guard-Stage-Milestone Lifecycles34 cited
  • 2011On the Convergence of Data and Process Engineering

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

34 cited

Cited by

  • 2015Verification and Validation of UML Artifact-Centric Business Process Models21 cited
  • 2018Conformance checking in UML artifact-centric business process models20 cited