A microservice architecture is one of the vital assets for financial service industries on their digital transformation. With the architecture, a Service-Oriented Architecture (SOA) application can be composed of a number of smaller but independently concurrent running units for better performance and maintainability of the application. The correctness of artifact states in financial services is significant. Analyzing artifact operations inside each microservice of this application during the design phase is essential since an incorrect artifact state of abnormal artifact operation(s) may corrupt the whole application. In this paper, we identify the properties of artifact associated with a microservice architecture and present a method to detect the anomalies based on these properties.