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

被引量 : 0次 | 上传用户:oracle_1984
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
实时控制系统被广泛用于生产、制造、物流、装配等工业领域。由于实时控制系统的实时性、同步性和协作性要求很高,因此如何设计和实现基于多任务同步协作机制的实时控制软件正在成为一个日益重要的问题。为了准确的达到实时系统设计要求和标准,采用模型驱动的软件开发方法(Model Driven Development,MDD)来设计和开发实时软件逐渐成为该领域研究的热点。而对于采用MDD开发设计实时软件来说,如何实现实时系统中大量的实时交互行为建模是该方法中重要的一个环节。目前关于MDD方法的研究多数围绕系统框架的构建而展开,而对于具体行为建模的研究并不多,并且由于实时系统软件的执行过程实际上是多任务交互并行的过程,因此如何构建具体交互行为模型并保证在模型转换过程中语义的一致性保持是MDD实时系统设计方法实现的关键。本文在现有实时领域MDD软件开发方法的研究基础之上,主要对实时领域中交互行为模型的建模方法展开研究,提出了对象相关的实时交互行为模型构建方法;构建了对象相关的行为模型体系;给出了基于本体的行为模型的语义描述,并通过protege软件实现了行为模型语义及其交互语义规则的知识库构建,为后续模型转换过程中的语义一致性研究奠定了基础。
其他文献
杨木是我国重要的速生林树种之一,资源十分丰富,但杨木具有材色单一、色感差、表面质量较差等缺点。为了提高木材表面质量,改善木材视觉特性,本研究选择活性染料对其进行染色
中国是全球大米最大的生产国和消费国,在加工过程中会产生大量碎米。随着科学技术的发展以碎米为原材料制取大米淀粉和大米蛋白水解物已经工业化,提高了碎米资源的利用率,促
<正>热重分析仪是一种利用热重法检测物质温度―质量变化关系的仪器。热重法是在程序温控下测定物质的质量随温度(或时间)的变化关系。当被测物质在加热过程中有升华、汽化、
本文从中西乐理的概念、乐制、对声音的四个物理性质的认识和运用三方面对中西乐理进行比较,指出古代汉语和现代汉语中的"乐理"是两个不同的概念,认为中西乐理在乐制方面非常
以有机硅改性丙烯酸树脂为粘合剂,脂肪族聚异氰酸酯为交联剂,用制备涂料的方法固载纳米二氧化钛(TiO2)光催化剂。在粘合剂质量分数为42%,交联剂质量分数为7%,且—OH基与—NCO
分层随机抽样是近代统计调查方法中最重要、最常用的方法之一。在分层抽样中,样本量在各层的不同分配方法会对估计量的精度产生一定的影响。本文立足于分层随机抽样在实践中
<正> 中央教育科学研究所八十年代牵头组织的一项大型研究证实,幼儿园在园幼儿认知发展的水平和个性发展的个别差异与家庭教育和环境的联系比与幼儿园教育和环境的联系更为密
本文试图对我国的税务会计发展的现状和前景作一简要述评。我们将税务会计按其涵盖的领域划分为广义的、狭义的和特定意义上的税务会计,认为我国应该选用狭义的税务会计概念;
<正>5月29日,双汇国际宣布收购全球规模最大的生猪生产商及猪肉供应商史密斯菲尔德(SmithfieldFooDS,SFD.NYSE)的全部股份,收购金额约为71亿美元(约合人民币437亿元)。消息一