ISO.ISO/TS 10303-203:2005 Industrial automationsystems and integration—product data representation andexchange—part 203:application protocol:configurationcontrolled 3D design of mechanical parts and assemblies(modular version)[S].Geneva:ISO,2005:50-150.
[2]
ISO.ISO 10303-11:2004 Industrial automation systemsand integration—product data represent and exchange—part 11:description methods:the EXPRESS languagereference manual[S].2nd ed.Geneva:ISO,2004:4-84.
[3]
SCHLENOFF C,KNUTILLA A,RAY S.Unified processspecification language:requirements for modelingprocesses(NISTIR 5910)[M].Gaithersburg,MD,USA:National Institute of Standards and Technology,1996:1-80.
[4]
ELLSBERGER J,HOGREFE D,SARMA A.SDL:formalobject-oriented language for communicating system[M].London:Prentice Hall Europe,1997:3-18.
[5]
古天龙,蔡国永.网络协议的形式化分析与设计[M].北京:电子工业出版社,2003:91-92.
[6]
The RAISE Language Group.The RAISE specificationlanguage[M].Oxford,UK:Prentice Hall InternationalLtd,1992:6-37.
SPIVEY J M.The Z notation:a reference manual[M].Oxford,UK:Prentice Hall International Ltd,1992:1-168.
[9]
ISO.ISO/IEC 13568:2002 Information technology—Zformal specification notation—syntax,type system andsemantics[S].Geneva:ISO,2002:30-150.
[10]
ZHAO Xiao-feng,ZHAO Zheng-xu,ZHOU Yi-qi,et al.Modeling of virtual manufacturing environment and Zspecification[C]∥Proceedings of the IEEE InternationalConference on Automation and Logistics,ICAL 2008.Piscataway,New Jersey,USA:[s.n.],2008:2852-2855.
[11]
赵晓峰,赵正旭,周以齐.基于Z的虚拟加工仿真环境规范技术研究[J].系统仿真学报,2009,21(22):7143-7146.ZHAO Xiao-feng,ZHAO Zheng-xu,ZHOU Yi-qi.Specification research of virtual machining enviromentbased on Z[J].Journal of System Simulation,2009,21(22):7143-7146.(in Chinese)
[12]
赵晓峰.虚拟制造环境的信息规范及其Z描述研究[D].济南:山东大学机械工程学院,2010.ZHAO Xiao-feng.Research into information streamlineand Z specification for virtual manufacturing environments[D].Jinan:School of Mechanical Engineering,Shan-dong University,2010.(in Chinese)
[13]
ISO.ISO/IEC 19775-1:2008 Information technology—computer graphics and image processing—extensible 3D(X3D)—part 1:architecture and base components[S].2nd ed.Geneva:ISO,2008:1-120.
[14]
ISO.ISO/IEC 14772-1:1997 Information technology—computer graphics and image processing—the virtual realitymodeling language—part 1:functional specification andUTF-8 encoding[S].Geneva:ISO,1997:10-125.
[15]
LEITE M J,DOBEY V,PEGGY G.SEDRIS:A tool forthe management and exchange of multi-domainenvironmental data[C]∥Earth and Space 2006-Proceedings of the 10th Biennial International Conferenceon Engineering,Construction,and Operations inChallenging Environments.West Chester,USA:CurranAssociates Inc,2006:103.
