中文摘要：

为及时发现业务活动对数据的非法操作，将违规实例监测问题归结为Artifact有效性检查问题，基于时间Petri网提出Artifact业务要求模型，从属性赋值顺序的角度给出Artifact在生命周期中的状态变化及时间要求。证明了在给出业务要求模型并求出状态类图的条件下，该问题是多项式时间问题。研究结果表明，该方法支持业务流程中Artifact的时间建模，为业务流程中验证Artifact的有效性提供了新的途径。

英文摘要：

To detect the illegal operation of business activities on data in time, the monitoring problem of violation in- stance was boiled down to the validity checking problem of Artifact, and Artifact business request model based on time Petri net was proposed. The states change and time requirements of Artifact in life cycle were given from the view of sequence of attributes assignment. In the condition of giving business request model and solving state class diagram, the problem was polynomial time problem. Research results showed that this method supported time mod- eling to business Artifact and provided a new way to verify the validity of business Artifact.