A performance analysis method for formal producing and quality certification system of halal animal products based on HESPNM

Halal animal products have significant meaning for agriculture in Northwest China and other Moslem regions. Formal producing and quality certification system can improve the producing efficiency of Halal animal products. Performance and cost analysis are the two purposes of animal products producing system modeling, where the Stochastic Petri Net (SPN) is an effective tool for performance analysis, but not adapt for Halal animal products. Based on the fact, firstly, this paper proposed the definition and analysis methodologies of the Halal Elements Extended SPN Model (HESPNM). Secondly, it given Compute- Independence meta-architecture and Platform- Independence architecture of performance calculating software based on HESPNM through methods of Oriented-Object System Analysis and Design. A concrete example about Electronic-Agriculture Services is given for HESPNM modeling through Platform-Specified Software based on MVC. The results show the feasibility and efficiency of the approximate method. In the end, a conclusion that the method proposed by this paper is feasible for normal Halal animal products system.