Behavior conformance checking is a critical issue after process modeling and process running to ensure the correctness and stability of artifact-centric business process model. With the popularization of data-centric design, researches on checking data manipulation of business process becomes more important. This paper proposes a method for checking behavior conformance according to the lifecycle of artifact. First, the artifact behavior can be defined as the total order artifact snapshot sequences. The total order artifact snapshot sequences not only reflect the path of services, but also describe the change of attribute assignment states of the artifact. Next, the problem for behavior conformance checking is proved to be decidable by transforming the problem into the decidability problem of language. A Turing machine is designed as verification model. The model not only measures conformance of service path in the lifecycle, but also evaluates the correctness of attribute assignment of artifact. Further, the calculation method of fitness metric utilizing equivalent conversion of service-snapshot correlation matrix is presented. Lastly, the instantiation analysis and experiments demonstrate the correctness and validity of this method.