对象相关的实时交互行为模型及其语义研究与构建

发布时间：2018-04-09 00:06

本文选题：模型驱动开发方法　切入点：实时系统　出处：《昆明理工大学》2015年硕士论文

【摘要】：实时控制系统被广泛用于生产、制造、物流、装配等工业领域。由于实时控制系统的实时性、同步性和协作性要求很高,因此如何设计和实现基于多任务同步协作机制的实时控制软件正在成为一个日益重要的问题。为了准确的达到实时系统设计要求和标准,采用模型驱动的软件开发方法(Model Driven Development,MDD)来设计和开发实时软件逐渐成为该领域研究的热点。而对于采用MDD开发设计实时软件来说,如何实现实时系统中大量的实时交互行为建模是该方法中重要的一个环节。目前关于MDD方法的研究多数围绕系统框架的构建而展开,而对于具体行为建模的研究并不多,并且由于实时系统软件的执行过程实际上是多任务交互并行的过程,因此如何构建具体交互行为模型并保证在模型转换过程中语义的一致性保持是MDD实时系统设计方法实现的关键。本文在现有实时领域MDD软件开发方法的研究基础之上,主要对实时领域中交互行为模型的建模方法展开研究,提出了对象相关的实时交互行为模型构建方法；构建了对象相关的行为模型体系；给出了基于本体的行为模型的语义描述,并通过protege软件实现了行为模型语义及其交互语义规则的知识库构建,为后续模型转换过程中的语义一致性研究奠定了基础。
[Abstract]:Real-time control systems are widely used in manufacturing, manufacturing, logistics, assembly and other industrial fields.Due to the high requirement of real-time, synchronization and cooperation of real-time control system, how to design and implement real-time control software based on multi-task synchronous cooperation mechanism is becoming an increasingly important problem.In order to meet the requirements and standards of real-time system design accurately, using Model Driven Development (MDD) to design and develop real-time software has gradually become a hot topic in this field.For designing real-time software with MDD, how to realize a large number of real-time interactive behavior modeling in real-time system is an important part of this method.At present, most of the researches on MDD method focus on the construction of system framework, but there are few researches on concrete behavior modeling, and because the execution process of real-time system software is actually a multi-task interactive parallel process.Therefore, how to construct specific interactive behavior model and ensure semantic consistency in the process of model transformation is the key to the implementation of MDD real-time system design method.Based on the research of MDD software development method in real-time domain, this paper mainly studies the modeling method of interactive behavior model in real-time domain, and puts forward the object related real-time interactive behavior model construction method.The object related behavior model system is constructed, the semantic description of the behavior model based on ontology is given, and the knowledge base of behavior model semantics and interaction semantic rules is constructed by protege software.It lays a foundation for the research of semantic consistency in the process of model transformation.
【学位授予单位】：昆明理工大学
【学位级别】：硕士
【学位授予年份】：2015
【分类号】：TP311.52

【参考文献】