A rewriting logic approach to resource allocation analysis in business process models.

Francisco Durán,Camilo Rocha,Gwen Salaün

Science of Computer Programming（2019）

引用 12|浏览12

暂无评分

摘要

•A formal semantics of BPMN in rewriting logic.•Automated formal analysis of resource allocation properties.•A recommender system computing optimal assignment of resources.•Evaluation of the approach on a workbench of real-world BPMN processes.

查看译文

关键词

BPMN,Resource allocation,Rewriting logic,Automated verification,Maude

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要