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

fYear

2008

fDate

1-3 Sept. 2008

Firstpage

2852

Lastpage

2855

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/ICAL.2008.4636662

Filename

4636662