SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Formal Verification of Cloud Resource Allocation in Business Processes Using Event-B
5 references·0 citing·20 second hop
Formal Verification of Cloud Resource Allocation in Business Processes Using Event-B (2016)Formal Verification of Cloud Resource All…Event-B Based Approach for Verifying Cloud Resource Allocation in Business Process (2015)Event-B Based Approach for Ve…Workflow Scheduling and Resource Allocation for Cloud-Based Execution of Elastic Processes (2013)Workflow Scheduling and Resou…Self-Adaptive Resource Allocation for Elastic Process Execution (2013)Self-Adaptive Resource Alloca…Extended Resource Perspective Support for BPMN and BPEL. (2012)Extended Resource Perspective…Workflow Resource Patterns: Identification, Representation and Tool Support (2005)Workflow Resource Patterns: I…A Framework for Document-Driven Workflow Systems (2005)Business Process Management : Concepts, Languages, Architectures (2007)A Guide to Modern Econometrics (2000)Process‐Aware Information Systems (2005)Process-aware information systems: bridging people and software through process technology (2006)Towards Living Inter-organizational Processes (2013)Towards Correct Cloud Resource Allocation in Business Processes (2016)Business Process Management: A Survey (2003)Principles of Elastic Processes (2011)Towards Resource-aware Business Process development in the Cloud (2015)A Configurable Resource Allocation for Multi-tenant Process Development in the Cloud (2016)Workflow Patterns (2003)On the Suitability of BPMN for Business Process Modelling (2006)Towards comprehensive support for organizational mining (2008)Process mining techniques and applications – A systematic mapping study (2019)Modeling Human Aspects of Business Processes – A View-Based, Model-Driven Approach (2008)A BPMN 2.0 Extension to Define the Resource Perspective of Business Process Models. (2011)Extending BPMN 2.0: Method and Tool Support (2011)Social-Based Semantic Framework for Cloud Resource Management in Business Processes (2016)Formal Verification of Temporal Constraints and Allocated Cloud Resources in Business Processes (2018)
this work references cited by second hop

References

  • 2005Workflow Resource Patterns: Identification, Representation and Tool Support425 cited
  • 2013Self-Adaptive Resource Allocation for Elastic Process Execution49 cited
  • 2013Workflow Scheduling and Resource Allocation for Cloud-Based Execution of Elastic Processes39 cited
  • 2015Event-B Based Approach for Verifying Cloud Resource Allocation in Business Process16 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