A Halal and Quality Attributes Driven Animal Products Formal Producing System Based on HQESPNM
Usually, halal animal products formal producing system consists of several components that cover major stages including Pre-processing, Process-ing 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 sys-tems. 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 pa-per 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 inte-grate middleware. Finally, this paper given an ElectronicAgriculture 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.
Halal Quality Traceability Petri Nets HQESPNM
Qiang Han Wenxing Bao
School of Computer Science and Engineering, BeiFang University of Nationalities, Yinchuan Ningxia, P.R. China 750021
国际会议
南昌
英文
48-55
2010-10-22（万方平台首次上网日期，不代表论文的发表时间）