时间感知BPMN-js swMATH ID: 45794 软件作者： 马里奥·奥坎波·皮内达、罗伯托·波塞纳托、弗朗西丝卡·泽巴托 描述： TimeAwareBPMN-js：用于Time-Aware BPMN流程的编辑器和时间验证工具。本文介绍了TimeAwareBPMN-js，这是一个基于web的图形编辑器，用于具有时间意识的BPMN（Business Process Model and Notation）模型，它允许（1）创建和编辑具有时间约束的BPMN流程，如临时持续时间和条件，以及（2）验证这些约束是否定义良好并满足某些（暂时）属性。时间约束的验证是通过插件实现的，由于应用程序的模块化架构，用户可以轻松添加插件。不同的插件可以验证不同的时间属性。作为概念证明，TimeAwareBPMN-js包含CSTNU插件，该插件验证动态可控性属性，即在设计时检查流程是否存在满足所有时间约束的运行时调度，无论执行过程中如何显示偶然持续时间和条件。 主页： https://www.sciencedirect.com/science/article/pii/S2352711021001734 源代码： https://gitlab.com/univr.di/TimeAwareBPMN 依赖项： JavaScript、Java语言 关键词： 软件X;BPMN公司;时态流程建模;时间约束网络;动态可控性 相关软件： 中国科技大学;业务流程管理-js;Uppaal公司;洛拉;UPPAAL TIGA公司;Activiti公司;节点.js;JavaScript脚本;图形ML;丛林 引用于： 0个文档 标准条款 1出版物描述软件 年份 TimeAwareBPMN-js:Time-Aware BPMN流程的编辑器和时间验证工具链接马里奥·奥坎波·皮内达、罗伯托·波塞纳托、弗朗西丝卡·泽巴托 2022