Formal Modelling of Process Planning in Combined Additive and Subtractive Manufacturing

摘要

Decision-making models for manufacturing technologies are becoming increasingly complex due to on-going rapid developments in additive and subtractive (Addtractive) manufacturing. Decision-making in manufacturing technologies should be based on machine and resource capabilities. Currently, multi-process manufacturing models have many shortcomings when describing machining capabilities, and in some cases, modelling approaches used in decision-making are ambiguous and poorly constrained. In this research, a formal modelling approach is proposed to facilitate modelling of machining capability and associated Addtractive operations. This mathematically based formal method allows system properties to be described in a well-defined manner. The ISO-standardised Z notation (named after Zermelo-Fraenkel set theory) has been utilised to build a state-oriented formalism model for machining capabilities and associated operations.