定义，查询和处理工作流的规范形式-研究论文

在本文中，我们展示了一种以规范形式（C形式）描述工作流的新颖方法，并展示了其优势。 C表单由基本的工作流程结构组成，例如顺序，并行，选择和循环。 它使我们可以将工作流模式和实例编写为字符串，可以使用字符串操作轻松查询。 给出了可能查询的示例。 我们还表明，可以将更复杂的工作流模式映射到C表单中。 因此，C表单是存储工作流描述并将其与其他伙伴交换的便捷方式。 由于不同的合作伙伴可能使用不同的工作流建模语言，因此我们将其视为迈向无缝互操作性的一步。 最后，C表单有助于对工作流进行操作，例如合并，拆分，插入，删除和替换。