基于配置的工作流组合的约束对象模型
A Constrained Object Model for Configuration Based Workflow Composition
摘要：
自动或辅助的工作流组合是一个激烈的研究领域，应用到万维网或业务流程建模。传统上，工作流组合以各种方式来解决，通常通过定理证明技术。最近的研究表明，建立一个复合工作流承担有限的模型搜索的关系，一些工作流语言可以被定义为约束对象元模型。这导致考虑将配置技术应用于这个问题的可行性，这被证明是可行的。基于约束的配置需要一个受约束的对象模型作为输入。本文档的目的是使用Z规约语言正式指定正在进行的实验和研究中涉及的约束对象模型。
英文摘要：
Automatic or assisted workflow composition is a field of intense research for applications to the world wide web or to business process modeling. Workflow composition is traditionally addressed in various ways, generally via theorem proving techniques. Recent research observed that building a composite workflow bears strong relationships with finite model search, and that some workflow languages can be defined as constrained object metamodels . This lead to consider the viability of applying configuration techniques to this problem, which was proven feasible. Constrained based configuration expects a constrained object model as input. The purpose of this document is to formally specify the constrained object model involved in ongoing experiments and research using the Z specification language.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
