论文标题
技术报告：使用基数限制来提炼案例模型
Technical Report: Refining Case Models Using Cardinality Constraints
论文作者
论文摘要
传统上，业务流程管理专注于结构化的命令过程。随着知识工作的越来越重要，半结构化过程正在进入中心舞台。现有的建模知识密集业务流程的方法使用数据对象，但无法充分考虑数据对象红衣。因此，他们不能保证尊重基数约束，也不能使用此类约束来处理并发和执行过程中的多个活动实例。本文通过数据对象关联和基数约束扩展了现有的案例管理方法。结果促进了精致的数据访问语义，过程活动的下限和上限以及多个数据对象的同步处理。执行语义是使用彩色培养皿网正式指定的。该方法的有效性由将案例模型转换为彩色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.
