实时领域交互行为模型转换方法及非功能语义规约研究

项目名称： 实时领域交互行为模型转换方法及非功能语义规约研究

项目编号： No.61263017

项目类型： 地区科学基金项目

立项/批准年度： 2013

项目学科： 自动化技术、计算机技术

项目作者： 王彬

作者单位： 昆明理工大学

项目金额： 44万元

中文摘要： 在使用模型驱动方法进行实时工业控制软件设计的过程中，将带有控制功能与非功能性规约的设计模型完整准确地转换成可执行的实现模型是关键问题，其中具体的实时行为交互模型的转换及非功能性语义约束是难点。现有研究集中于模型的框架设计及转换，而较少研究具体行为建模及转换，因而无法支持实时控制领域的多点协作交互行为建模和转换，更难以满足实时领域内非功能性语义的一致性约束要求。研究拟通过对实时领域行为本体的识别和演绎建立实时本体知识体系，在此基础上给出实时多任务交互行为本体应用框架，构建实时语义模型作为中间模型，把模型转换的过程分解为源模型-语义模型转换及语义模型-目标模型转换，分别完成行为、结构、类型、规则和时序等功能性和非功能性语义映射。研究重点在于实时多点交互行为的建模及模型转换方法和时序等重要非功能性语义在转换过程中的约束问题，进而为交互行为模型的描述、转换及语义约束等普遍问题提供理论与实验基础。

中文关键词： 实时交互行为；模型转换；非功能语义规约；实时语义体系；实时系统

英文摘要： In the process of real-time industrial control software design with model-driven approach, how to convert the design model with both control functions and non-functional Statutes into an executable model accurately is the key issue. To solve this question, the specific real-time behavioral collaboration model conversion and the non-functional semantic restrict must be carried out successfully. Current researches focus on the design and conversion of the model framework, but not on the studies for specific behavior modeling and conversion, It will not support multi-point collaborative behavior modeling and conversion in the field of real-time control and those research can not meet the non-functional semantics consistency constraints in real-time field. In this study those behavior ontologies of real-time domain are identified and the interpretation are presented to built a real-time ontology knowledge base.As a result an ontology framework for multi-task interactive based on real-time semantic model is established .real-time semantic model is constructed as an intermediate model and so the model transformation process from the source model to the target model is devided into two steps :source model -semantic model transformation and semantic model - target model transformation.The semantic mapping of the behavio

英文关键词： Real-Time collaboration behavior；Model transformation；Non-functional semantic restrict；Real-Time system；Real-Time semantic system