逻辑控制系统的一种建模方法

摘要

UML(统一建模语言)未能有效解决面向对象系统建模问题.该文以电梯系统为例,构建一种面向对象的逻辑控制系统建模新方法.定义该类系统建模过程需要使用的新概念.阐述该建模方法应用的全过程,给出电梯系统控制的三个决策算法的详细结果.其中优先方向决策算法是首次提出并分析该算法的必要性. 用规范化、形式化步骤将电梯系统的问题域规则转化为解答域规则.由建模结果的完整性,一致性,可修改性,说明方法的有效性.该文方法对电子工程领域建模具有参考价值.