面向本质特征的特定领域建模及其在铁路中的应用-交通信息工程及控制专业毕业论文.docx

铁道科学研究院博士学位论文摘 铁道科学研究院博士学位论文 摘 要 当前，无论是经济社会市场竞争的外部压力，还是铁路跨越式发展的内在需 要，铁路系统的业务具有不可避免的复杂性和动态性。在复杂多变的因素中抓住 系统的本质特征是解决动态问题的根本途径。同时，铁路系统的复杂性和动态性 相应地对其管理信息系统的通用性和柔性要求很高，而这一方面的研究目前还比 较薄弱。对铁路这一特定领域的面向本质特征的特定领域建模研究成为当前一个 亟待解决的问题。 本文结合我国铁路车站这一特定领域的本质特征和车站系统研发的实际需 要，对面向本质特征的静态建模、动态建模、领域建模等方面进行了深入研究。 具体包括以下几方面的内容： (1)从领域建模的角度出发，系统分析了铁路车站的共性特征和变化性特 征，提出了一种面向本质特征的复杂系统研究思路。本文对铁路车站的生产状况、 作业过程、组织结构等进行专门研究，将车站这一复杂系统作为特定领域进行建 模研究，分析了车站系统通用性、柔性和动态可配置等问题解决的关键所在。 (2)结合铁路车站本质特征，提出了特定领域的静态结构特征模型和动态行 为特征模型，构建了较完整的面向本质特征的建模方法体系。其中，既包括类模 型、状态模型和原子功能模型的面向静态结构本质特征的建模方法，也包括组织 模型、用例模型和工作流模型的面向动态行为本质特征的建模方法。 (3)论述了特定领域的领域分析和设计方法，给出了领域建模全过程，提出 了面向本质特征的领域分析和建模方法。首先对车站进行了面向本质特征的特定 领域建模研究，包括特定领域的领域分析、领域设计和领域实现：随后总结扩展 为整个领域的领域分析和建模研究，介绍了面向本质特征的领域模型框架、具体 形式及建模过程。 (4)提出了基于动态可重配置的面向对象Petri网的建模方法，给出了动态 可重配置系统形式化的方法和步骤，并结合铁路系统实例进行了验证。 关键词：本质特征，静态建模，动态建模，特定领域建模，领域分析，通用 车站系统，面向对象，动态可重配置系统，统一建模语言，工作流，Petri网 铁道科学研究院博士学位论文Abstract 铁道科学研究院博士学位论文 Abstract With exterior stress from market c ompetition in economic society and interior requirement from railway leap-forward development currently,the railway management information systems have complexity and dynamic state feature．There are gap between transportation business and information technique．We can catch hold of the essence feature to the system among lots of complexity factor．Essence feature is ultimate characteristic to the system，We come to know the essence to the system through grasp its essence feature，The main methods are abstract and partition． Railway production process is dynamic．But its universality,flexibility and expansibility need improve．We put forward the NOW method which is essence feature oriented complexity system modeling．During domain engineering and application cngineer feature analysis．we catch hold oftheir essence and critical control point．The static state model which is ohject model，state model and atom model was built，The dynamic state model which is organize model，llse-case model and workflow model was built．We adopt UML and Petri net