摘要
UML(统一建模语言)未能有效解决面向对象系统建模问题。该文以电梯系统为例,构建一种面向对象的逻辑控制系统建模新方法。定义该类系统建模过程需要使用的新概念。阐述该建模方法应用的全过程,给出电梯系统控制的三个决策算法的详细结果。其中优先方向决策算法是首次提出并分析该算法的必要性。用规范化、形式化步骤将电梯系统的问题域规则转化为解答域规则。由建模结果的完整性,一致性,可修改性,说明方法的有效性。该文方法对电子工程领域建模具有参考价值。
UML(United Modeling Language) cannot solve the problem of Object - Oriented system modeling efficiently. Using an elevator system as an example, a new modeling method of logical control system is put forward in this paper. The new concepts used in process of the system modeling are defined. Whole process of applying the method is expatiated on. The detail results of three decision algorithms of elevator system control are put forward. Thereinto prior direction decision algorithm is declared and its necessity is analyzed first. The regulation in problem domain of an elevator is translated into regulations in solution domain by the process of standardization and formalization. By integrality, consistency and modifiability of the modeled system, the effectiveness of the method is illuminated. The method possesses practical meaning for modeling in electronic engineering domain.
出处
《计算机仿真》
CSCD
2006年第8期49-54,共6页
Computer Simulation
基金
国家自然科学基金项目(79970001)
关键词
逻辑控制系统建模
状态-事件分析
层级系统
电梯系统
Logical control system modeling
State - event analysis
Hierarchical system
Elevator system