论文部分内容阅读
本文结合面向对象、时序动态描述逻辑等概念及理论，研究了管理制度设计的面向对象的时序动态描述逻辑公式描述形式，这些公式是管理制度中各条款语言文字化的逻辑及概念基础。文章采用面向对象、时序动态描述逻辑等理论和方法，实现将管理目的、管理控制参数、管理过程等描述成逻辑公式，使管理制度更加直观、简洁，便于形式化地分析管理漏洞。最后，通过实例分析了面向对象的时序动态描述逻辑的管理制度设计过程及其步骤。