Enforcing Constraints on Life Cycles of Business Artifacts
Artifact-centric business process models allow to de scribe artifacts (data objects) and their life cycles, which allow designers to focus on individual artifact in business processes, thus simplifies the design and analysis of busi ness process model. However, this feature is a double-edged sword. The description of the relationships between arti facts becomes a new and nontrivial problem. It is better that the associations among business artifacts are specified at a high level as logical assertions. We think taking busi ness constraints as complements of artifact-centric business operational model is an useful idea. Based on this consid eration, in this paper, we propose an approach which com bines both the declarative way and the procedural way in the construction of business processes. This flexibility can help designers to separate the parts of a business process that are more likely to change from those that are less likely to change. We propose a language TiLE to specify business constraints, and give complexity results on the satisfiability of TILE. Moreover, we discussed how to enforce the con straints at run-time.
Xiangpeng Zhao Jianwen Su Hongli Yang Zongyan Qiu
Peking University China UC Santa Barbara USA Beijing Univ. of Technology China
国际会议
天津
英文
111-118
2009-07-29（万方平台首次上网日期，不代表论文的发表时间）