基于形式化描述的电梯控制系统的建模与仿真

研究电梯控制系统中组件之间复杂的信号传输关系。针对传统的建模方法不能同时精确描述系统模型的静态与动态语义的问题,从系统体系结构的组件与连接件入手,探讨形式化描述语言XYZ/ADL描述系统模型的特性,运用XYZ/ADL形式化地描述电梯控制系统的总体功能规范、主要组件的结构模型、组件之间信号传输的动态模型和电梯运行模型,并基于所构建的形式化描述模型实现系统的仿真运行。结果表明,基于XYZ/ADL描述的形式化模型能准确分析电梯组件之间复杂的信号传输关系,精确模拟电梯运行的各种状态。     

UML与ACME/ADL在运输业务管理系统体系结构建模中的应用

探讨了UML与ACME／ADL在运输业务管理系统体系结构建模中的应用问题。首先提出了软件体系结构的建模要素；然后用UML描述了系统体系结构的视图模型：进而用ACME／ADL描述了系统主要构件的交互模型；最后对这两种建模语言在体系结构建模方面的应用特性进行了比较和分析，得出了自己的结论。     

高职《ERP软件开发实训》课程项目化教学设计

根据项目化教学的理念和方法,结合高职计算机专业信息管理员的相关职业岗位能力,设计了《ERP软件开发实训》课程的项目化教学体系的实训任务,以项目一为例,重点探讨了该课程的项目化教学过程。     

基于XYZ/ADL的电梯控制系统体系结构的描述与求精

研究软件体系结构的首要问题是如何描述体系结构模型;运用XYZ/ADL描述软件体系结构模型,可以在统一时序逻辑框架下描述系统静态语义到实现之间不同抽象层次的规范,便于体系结构的逐步求精及相关性质分析;以电梯控制系统为例,运用XYZ/ADL形式化地描述了系统体系结构的风格、静态模型和动态模型,并对体系结构模型的主要组件进行了逐步求精,使系统的体系结构从最初的总体功能规范平滑地过渡到了最终的可执行程序;研究表明:形式化描述语言XYZ/ADL在实时控制系统的开发中有着重要的实践意义。     

电信运营商的ESP实施

1 概述 1.1 ESP概述 随着企业IT架构的日益复杂,IT安全的重要性日益凸显,人们对IT安全问题的认识也从最初的"设备安全防护"逐步向综合安全管理层面转变,从单纯的技术维度拓展到了管理维度,并形成了企业安全规划(Enterprise SecurityPlanning,ESP)的理念.     

UML在运输业务管理系统建模中的应用

以运输业务管理系统项目的开发为背景,探讨了UML在运输业务管理系统建模中的应用问题。在对系统进行需求分析的基础上,采用ROSE构建了系统的用户需求模型、对象结构模型、行为模型和实现模型。