SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Toward a Verification of Time-Centric Business Process Models
4 references·0 citing·19 second hop
Toward a Verification of Time-Centric Business Process Models (2014)Toward a Verification of Time-Centric Bus…Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes (2014)Enhancing Formal Specificatio…Toward a Time-centric modeling of Business Processes in BPMN 2.0 (2013)Toward a Time-centric modelin…A Survey on Time-aware Business Process Modeling (2013)A Survey on Time-aware Busine…Formal verification of business processes with temporal and resource constraints (2011)Formal verification of busine…A Process Semantics for BPMN (2008)A Survey of Formal Verification for Business Process Modeling (2008)Semantics and analysis of business process models in BPMN (2008)The temporal perspective in business process modeling: a survey and research challenges (2014)A metamodel to integrate business processes time perspective in BPMN 2.0 (2016)On the Suitability of BPMN for Business Process Modelling (2006)Time-BPMN (2009)Workflow Time Patterns for Process-Aware Information Systems (2010)Visual ppinot: A Graphical Notation for Process Performance Indicators (2017)A Comprehensive Investigation of BPMN Models Generation from Textual Requirements—Techniques, Tools and Trends (2018)Structuring Acyclic Process Models (2010)Dynamic Checking and Solution to Temporal Violations in Concurrent Workflow Processes (2011)Formal Verification of Time-Aware Cloud Resource Allocation in Business Process (2016)Managing Decision Tasks and Events in Time-Aware Business Process Models (2018)A modular approach to the specification and management of time duration constraints in BPMN (2019)Time Petri nets for workflow modelling and analysis (2002)Constraint-Based Workflow Models: Change Made Easy (2007)Controllability in Temporal Conceptual Workflow Schemata (2009)Supporting BPMN Process Models with UML Sequence Diagrams for Representing Time Issues and Testing Models (2017)
this work references cited by second hop

References

  • 2011Formal verification of business processes with temporal and resource constraints58 cited
  • 2013Toward a Time-centric modeling of Business Processes in BPMN 2.046 cited
  • 2014Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes29 cited
  • 2013A Survey on Time-aware Business Process Modeling12 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