After researching the workflow management system using situationcalculus theory, expands formally the LR from state-object to state-table-set-object.
以情景演算理论为基础来研究工作流管理系统，形式化地将LR的状态对象扩展为状态表集合对象。
2
In order to model for enterprise management process by ontology, the theory of situationcalculus is thought as the basis of dynamic activity specification in modeling.
为了对企业的管理过程进行本体建模，把情景演算理论作为企业建模过程中动态活动描述的基础。
3
The second part: Domestic and foreign high school calculus teaching present situation analysis.