“刮衍”是钳工的一个专业工作术语。它是指在用手工处理的方式下解决两个相接触的物体(一般是生铁或钢),使它们的接触面几乎没有间隙。工具就是一把刮衍扁铲:一分厚、一寸宽、两尺长、好钢打造。4 C+ C' `5 U( {, ^0 `: [8 E, T
在“定义过程”时,该“过程”所链接或涉及的其它“过程”就像钳工要刮衍的几个物体的接触面。做过钳工的人都知道:1、刮衍要细细的衍(用一种红色的衍膏涂在需刮衍的物体表面,使它与母版接触摩擦,打开后需刮衍的接触面上大块红色斑点就是凸点,需刮下去,刮完了大块红斑再重新涂上衍膏衍磨。这样衍了刮、刮了再衍直到需刮衍的接触面上均匀的布满了细小的红点。在“定义过程”中我们也要将需定义的“过程”反复与上下关联的“过程”摩擦,找出不吻合点进行修正(刮衍),这一项工作虽然烦琐,但对日后的工作却会带来许多便利。2、刮衍时要有分寸的用好扁铲,不能偷懒,指望一铲下去就成功是绝不可能的。在“定义过程”时如出现不吻合时,要相对比较的去修正-接触、再修正-再接触直至吻合。大家兴许听过“狐狸给两个小熊猫分糕饼”的故事吧?我们可不要作这个“狐狸”呦。