SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Developer-friendly verification of process-based systems
8 references·0 citing·37 second hop
Developer-friendly verification of process-based systems (2010)Developer-friendly verification of proces…Instantaneous Soundness Checking of Industrial Business Process Models (2009)Instantaneous Soundness Check…Proceedings of the 6th International Conference on Business Process Management (BPM'2008) (2008)Proceedings of the 6th Intern…Model Checking with Graphical Validation Rules (2008)Model Checking with Graphical…A Survey of Formal Verification for Business Process Modeling (2008)A Survey of Formal Verificati…Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants (2007)Verification of the SAP refer…Verification of Business Process Quality Constraints Based on Visual Process Patterns (2007)Verification of Business Proc…From business process model to consistent implementation: a case for formal verification methods (2003)From business process model t…Formalization and verification of event-driven process chains (1999)Formalization and verificatio…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)THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)Diagnosing Workflow Processes using Woflan (2001)The refined process structure tree (2009)Diagnosing and Repairing Data Anomalies in Process Models (2010)Simplified Computation and Generalization of the Refined Process Structure Tree (2011)A Decade of Business Process Management Conferences: Personal Reflections on a Developing Discipline (2012)Workflow Management: Modeling Concepts, Architecture and Implementation (1996)Verification of workflow nets (1997)A configurable reference modelling language (2005)Business process management (BPM) standards: a survey (2009)Business process modeling languages (2010)Workflow mining: A survey of issues and approaches (2003)The ProM Framework: A New Era in Process Mining Tool Support (2005)Process Model Abstraction: A Slider Approach (2008)Empirical Studies in Process Model Verification (2009)Automated Certification for Compliant Cloud-based Business Processes (2011)What’s in an Electronic Business Model? (2000)A Framework for Integrating Business Processes and Business Requirements (2004)Model-driven business process recovery (2005)Integrated model-driven dashboard development (2007)Understanding and using patterns in software development (1996)Workflow Patterns (2003)SeaFlows Toolset – Compliance Verification Made Easy for Process-Aware Information Systems (2011)Business process compliance checking – applying and evaluating a generic pattern matching approach for conceptual models in the financial sector (2014)The temporal perspective in business process modeling: a survey and research challenges (2014)Using model checking to control the structural errors in BPMN models (2013)The reviews and analysis of the state-of-the-art service workflow specification languages (2017)Visualization of Business Process Modeling Anti Patterns (2024)Sequence partitioning for process mining with unlabeled event logs (2011)Using templates and linguistic patterns to define process performance indicators (2014)Parallel algorithms for the automated discovery of declarative process models (2017)
this work references cited by second hop

References

  • 1999Formalization and verification of event-driven process chains565 cited
  • 2009Instantaneous Soundness Checking of Industrial Business Process Models143 cited
  • 2008A Survey of Formal Verification for Business Process Modeling113 cited
  • 2007Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants88 cited
  • 2003From business process model to consistent implementation: a case for formal verification methods82 cited
  • 2007Verification of Business Process Quality Constraints Based on Visual Process Patterns72 cited
  • 2008Proceedings of the 6th International Conference on Business Process Management (BPM'2008)54 cited
  • 2008Model Checking with Graphical Validation Rules36 cited

Cited by

No citing works inside the corpus for this window.

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