VBPMN-BPMN的验证
VBPMN的目标是提供形式化建模和自动化分析技术，以确保整个业务流程执行的正确性，效率和质量。
VBPMN提供了一个Web界面，流程设计人员可以在其中上传BPMN 2.0模型并使用各种比较模式进行比较。 该界面通过反例提供即时反馈，并帮助用户纠正和完善他们的模型。
用法
VBPMN Web应用程序可作为Web存档（WAR）下载。 托管Web应用程序需要 。
运行Web应用程序后，您可以使用以下网页访问该应用程序（假设tomcat在端口8080上本地运行）
如果需要尝试样本BPMN 2.0模型，可以从站点下载它。
欲了解更多信息，可以访问网站VBPMN -
贡献者
执照
网页
该网站建立在以下基础之上：
版本3.0.3，根据Apache License 2.0许可
，版本4.1.0，根据SIL OFL 1.1（桌面和Webfont文件）和MIT许可
