[单选] 对业务流程执行进行形式化的最可行的方法是（）。

连锁超市的冲击和市容工作的干扰是个体户数量减少的主要原因。 轮廓仪不能用来检查（）。 齿条活塞齿条。 齿条活塞滚道。 螺杆轴滚道。 螺杆轴内孔。 加强党内民主要考虑平衡各个要素之间的关系。 改革开放以来，农民阶层的人数不断攀升。 民航组织货物运输的原则是什么？ 对业务流程执行进行形式化的最可行的方法是（）。