|
|
GNU BPEL2oWFN转换以WS-BPEL（web服务）表示的web服务 业务流程执行语言）转换为oWFN（开放工作流网）。 这个 oWFN可用于：
检查 可控性 或生成 操作指南 使用 工具 菲奥娜 , 检查死锁或任何其他Petri网属性，或 通过各种模型检查检查任何时态逻辑公式 工具。
此外，GNU BPEL2oWFN可以将 BPEL4断路器 编舞到Petri网 模型。 此模型可用于分析完整 编排或为不完整的服务合成合适的服务 编舞。
GNU BPEL2oWFN使用静态分析使生成的Petri网模型紧凑 尽可能分析所选属性。 这就是所谓的柔性模型 代。 此外，可以使用控件检测到几个设计缺陷 和数据流分析。
GNU BPEL2oWFN由尼尔斯·洛曼、克里斯蒂安·吉尔兹和马丁撰写 兹纳米洛夫斯基。 它是Tools4BPEL项目的一部分，该项目由 联邦教育与福尚部长。 请参见 http://www.informatik.hu-berlin.de/top/tools4bpel 了解详细信息。
|
|