基于配置的工作流组合的受约束对象模型

自动或辅助工作流组合是面向万维网或业务流程建模的热门研究领域。工作流组合通常以各种方式处理，通常通过定理证明技术。最近的研究观察到，构建复合工作流与有限模型搜索有着强烈的关联关系，并且某些工作流语言可以定义为受约束对象 metamodel。由此引出考虑将配置技术应用于该问题的可行性，这已被证明是可行的。基于约束的配置期望输入为受约束对象模型。本文件的目的是正式指定正在进行的实验和研究所涉及的受约束对象模型，使用 Z 规范语言。