技术报告：使用基数约束优化案例模型
Technical Report: Refining Case Models Using Cardinality Constraints
摘要：
传统上，业务流程管理侧重于结构化的、强制性的流程。随着知识工作的重要性日益增加，半结构化过程正逐渐成为主流。现有的方法来建模知识密集型业务流程使用数据对象，但没有充分考虑到数据对象基数。因此，它们不能保证遵守基数约束，也不能在执行期间使用此类约束来处理并发和多个活动实例。本文扩展了现有的案例管理方法与数据对象的关联和基数约束。结果有助于细化的数据访问语义，下限和上限的过程活动，并同步处理多个数据对象。使用着色Petri网的执行语义正式指定。该方法的有效性显示的编译器翻译的情况下，模型着色Petri网和一个专用的过程执行引擎。
英文摘要：
Traditionally, business process management focuses on structured, imperative processes. With the increasing importance of knowledge work, semi-structured processes are entering center stage. Existing approaches to modeling knowledge-intensive business processes use data objects but fail to sufficiently take into account data object cardinalities. Hence, they cannot guarantee that cardinality constraints are respected, nor use such constraints to handle concurrency and multiple activity instances during execution. This paper extends an existing case management approach with data object associations and cardinality constraints. The results facilitate a refined data access semantics, lower and upper bounds for process activities, and synchronized processing of multiple data objects. The execution semantics is formally specified using colored Petri nets. The effectiveness of the approach is shown by a compiler translating case models to colored Petri nets and by a dedicated process execution engine.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
