Usually, halal animal products formal producing system consists of several components that cover major stages including Pre-processing, Processing and Post-processing. In this paper, we present five information systems to implement fundamental functions of formal management, scientific foods management, animal epidemic disease diagnose and prevention, processing standardization and market management, which respectively map to those components mentioned above. As halal animal products formal producing system, there are Halal & Quality attributes existing in all of the five information systems. Thereby, concentrated and systematic controlling of Halal & Quality attributes could improve whole quality of the producing system and ensure products is halal. Addressed to the problem of controlling scheme, first, this paper given a Halal & Quality Elements Extended SPN Model (HQESPNM) in detail. Second, it propose Platform-Independence architecture of the formal producing system based on HQESPNM through infrastructure of database integrate middleware. Finally, this paper given an Electronic-Agriculture Services case through Platform-Specified Software based on SOA to certificate that the model proposed by this paper is feasible for halal animal products system.