SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Business Process Verification: The Application of Model Checking and Timed Automata
8 references·0 citing·36 second hop
Business Process Verification: The Application of Model Checking and Timed Automata (2014)Business Process Verification: The Applic…Formal verification of business processes with temporal and resource constraints (2011)Formal verification of busine…Conceptual framework for business processes compositional verification (2011)Conceptual framework for busi…Time-BPMN (2009)Time-BPMNControllability in Temporal Conceptual Workflow Schemata (2009)Controllability in Temporal C…A Relative Timed Semantics for BPMN (2009)A Relative Timed Semantics fo…A Survey of Formal Verification for Business Process Modeling (2008)A Survey of Formal Verificati…Business Process Management : Concepts, Languages, Architectures (2007)Business Process Management :…Critical success factors for a customer relationship management strategy (2006)Critical success factors for …The new science of management decision. (1960)The New Science of Management Decision (1978)Transforming BPEL to Petri Nets (2005)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)An Alternative Way to Analyze Workflow Graphs (2002)Design and Implementation of the YAWL System (2004)BUSINESS PROCESS MODEL ABSTRACTION BASED ON SYNTHESIS FROM WELL-STRUCTURED BEHAVIORAL PROFILES (2012)Time Constraints in Workflow Systems (2013)Representing Business Processes Through a Temporal Data-Centric Workflow Modeling Language: An Application to the Management of Clinical Pathways (2014)The temporal perspective in business process modeling: a survey and research challenges (2014)A Process Semantics for BPMN (2008)Semantics and analysis of business process models in BPMN (2008)Toward a Time-centric modeling of Business Processes in BPMN 2.0 (2013)A metamodel to integrate business processes time perspective in BPMN 2.0 (2016)Verification of workflow nets (1997)Semantics and Verification of UML Activity Diagrams for Workflow Modelling (2002)Semantically-Aided Business Process Modeling (2009)Effort based performance measurement in business process management (2011)Workflow Management: Models, Methods, and Systems (2001)Business process mining: An industrial application (2006)Verifying Timed BPMN Processes Using Maude (2017)Development of Collaborative Business Processes: A Correctness Enforcement Approach (2019)An Assessment of the Scientific Merits of Action Research (1978)Chief executives define their own data needs. (1979)Selection of optimal supplier in supply chain management strategy with analytic network process and choquet integral (2008)Analyzing the impact of knowledge management on CRM success: The mediating effects of organizational factors (2011)Identifying the critical success factors for relationship management in PPP projects (2013)An assessment of the scientific merits of action research (2023)On the Suitability of BPMN for Business Process Modelling (2006)How Much Language Is Enough? Theoretical and Practical Use of the Business Process Modeling Notation (2008)Extending BPMN for Supporting Customer-Facing Service Quality Requirements (2010)Classification of Domain-Specific BPMN Extensions (2014)Change patterns and change support features – Enhancing flexibility in process-aware information systems (2008)Replaying history on process models for conformance checking and performance analysis (2012)Business Process Management: A Comprehensive Survey (2013)
this work references cited by second hop

References

  • 2007Business Process Management : Concepts, Languages, Architectures1,653 cited
  • 2006Critical success factors for a customer relationship management strategy293 cited
  • 2008A Survey of Formal Verification for Business Process Modeling113 cited
  • 2009Time-BPMN72 cited
  • 2009Controllability in Temporal Conceptual Workflow Schemata61 cited
  • 2011Formal verification of business processes with temporal and resource constraints58 cited
  • 2009A Relative Timed Semantics for BPMN56 cited
  • 2011Conceptual framework for business processes compositional verification26 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