SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Formal Verification of Temporal Constraints and Allocated Cloud Resources in Business Processes
14 references·0 citing·41 second hop
Formal Verification of Temporal Constraints and Allocated Cloud Resources in Business Processes (2018)Formal Verification of Temporal Constrain…Formal Verification of Time-Aware Cloud Resource Allocation in Business Process (2016)Formal Verification of Time-A…Towards Resource-aware Business Process development in the Cloud (2015)Towards Resource-aware Busine…RALph: A Graphical Notation for Resource Assignments in Business Processes (2015)RALph: A Graphical Notation f…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…Extended Resource Perspective Support for BPMN and BPEL. (2012)Extended Resource Perspective…Formal verification of business processes with temporal and resource constraints (2011)Formal verification of busine…Dynamic Checking and Solution to Temporal Violations in Concurrent Workflow Processes (2011)Dynamic Checking and Solution…A BPMN 2.0 Extension to Define the Resource Perspective of Business Process Models. (2011)A BPMN 2.0 Extension to Defin…Modern Business Process Automation: YAWL and Its Support Environment (2010)Modern Business Process Autom…Time-BPMN (2009)Time-BPMNModern Business Process Automation (2009)Modern Business Process Autom…Business Process Management : Concepts, Languages, Architectures (2007)Business Process Management :…A Framework for Document-Driven Workflow Systems (2005)A Framework for Document-Driv…Workflow Management: Models, Methods, and Systems (2001)Workflow Management (2002)Organizing Business Knowledge: The MIT Process Handbook (2003)Automatic construction of simple artifact-based business processes (2009)Data Centric BPM and the Emerging Case Management Standard: A Short Survey (2013)Declarative business process modelling: principles and modelling languages (2013)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)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)Workflow Management: Modeling Concepts, Architecture and Implementation (1996)Modeling and Analysis of Workflows Using Petri Nets (1998)Time Constraints in Workflow Systems (2013)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)Workflow management : models, methods and systems (2000)Workflow resource patterns (2004)A Business Process Modeling Notation Extension for Risk Handling (2012)Requirements-based development of BPMN extensions: The case of clinical pathways (2014)BPMN4CP Revised -- Extending BPMN for Multi-perspective Modeling of Clinical Pathways (2016)Proposed NIST standard for role-based access control (2001)YAWL: yet another workflow language (2004)Mining the Organisational Perspective in Agile Business Processes (2015)A visual language for modeling multiple perspectives of business process compliance rules (2016)Fundamentals of Business Process Management (2018)A Blockchain-based and resource-aware process execution engine (2019)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)Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL (2011)Alignment Based Precision Checking (2013)Knowledge-Intensive Processes: Characteristics, Requirements and Analysis of Contemporary Approaches (2014)What BPM Technology Can Do for Healthcare Process Support (2011)Add Data into Business Process Verification: Bridging the Gap between Theory and Practice (2017)A knowledge-intensive adaptive business process management framework (2020)
this work references cited by second hop

References

  • 2007Business Process Management : Concepts, Languages, Architectures1,653 cited
  • 2009Modern Business Process Automation326 cited
  • 2005A Framework for Document-Driven Workflow Systems103 cited
  • 2010Modern Business Process Automation: YAWL and Its Support Environment100 cited
  • 2009Time-BPMN72 cited
  • 2011Formal verification of business processes with temporal and resource constraints58 cited
  • 2011Dynamic Checking and Solution to Temporal Violations in Concurrent Workflow Processes53 cited
  • 2015RALph: A Graphical Notation for Resource Assignments in Business Processes53 cited
  • 2013Toward a Time-centric modeling of Business Processes in BPMN 2.046 cited
  • 2011A BPMN 2.0 Extension to Define the Resource Perspective of Business Process Models.40 cited
  • 2014Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes29 cited
  • 2015Towards Resource-aware Business Process development in the Cloud18 cited
  • 2016Formal Verification of Time-Aware Cloud Resource Allocation in Business Process18 cited
  • 2012Extended Resource Perspective Support for BPMN and BPEL.16 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