欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
EOS工作流由工作流定义工具（与Studio集成）、工作流引擎、客户端、监控与管理工具以及工作流构件库五个部分组成。通过开发环境搭建流程定义；依托引擎实现流程流转；采用基于Web的缺省客户端和管理监控工具完成对流程的调整、监控与审计。运用丰富的构件库快速定制用户自己的应用，随需应变。
EOS工作流总体结构图
