Title :
Modeling of Virtual Manufacturing Environment and Z specification
Author :
Xiaofeng, Zhao ; Zhengxu, Zhao ; Yiqi, Zhou ; Yanyan, Wang
Author_Institution :
Virtual Eng. Res. Center, Shandong Univ., Jinan
Abstract :
According to the structure feature of virtual manufacturing basic environment (VMBE), a strict tree-structure model of VMBE is put forward, which simplifies the systempsilas description. Moreover, regarding any branch node as a root node, any kinds of virtual manufacturing system (VMS) facing to different application levels could be created. In the high-safety, high-reliability, high-accuracy application fields, VMS development should be based on formal development method. This paper provides detailed Z specification description of typical VMBE system based on above tree-structure, and verify its validity.
Keywords :
formal specification; tree data structures; virtual manufacturing; Z specification; tree-structure model; virtual manufacturing basic environment; Computational modeling; Computer aided manufacturing; Kinematics; Logistics; Manufacturing automation; Manufacturing processes; Mathematics; Process control; Virtual manufacturing; Voice mail; Z specification; formal method; modeling; virtual manufacturing;
Conference_Titel :
Automation and Logistics, 2008. ICAL 2008. IEEE International Conference on
Conference_Location :
Qingdao
Print_ISBN :
978-1-4244-2502-0
Electronic_ISBN :
978-1-4244-2503-7
DOI :
10.1109/ICAL.2008.4636662
