本发明提供在过程系统中用于批处理及执行的方法及系统。一种在过程控制系统中用于实施控制过程及在所述控制过程的执行期间用于解决矛盾的系统及方法包括：加载所述控制过程的逻辑结构、在所述控制过程被实例化时加载多个实例化对象或过程、在执行期间使用所述实例化对象来将所述控制过程的程序元件实例化成所述程序元件的控制过程要求、执行所述程序元件作为所述控制过程的部分、以及在所述控制过程的执行期间在所述程序元件的执行完成时解构所述程序元件。矛盾的解决包括在控制器中执行实体的第一模型、在执行引擎中执行所述实体的第二模型、检测所述模型之间的差异、产生提示及接收操作指令以继续所述过程或中止所述过程。