【技术实现步骤摘要】
本专利技术涉及计算机建模与模型转换验证，主要涉及一种基于模型驱动工程的将AADL组件转换到接口自动机模型的方法。
技术介绍
随着嵌入式系统的发展，其体系结构越来越复杂，而传统的嵌入式系统开发方法已经不能适应当前的需求，为此，模型驱动方法被引入到工程开发之中。MDE(Model DrivenEngineering)是由OMG组织提出的以模型为中心的软件开发框架；MDE强调开发全过程中模型的应用，将软件开发的重点从代码层提升到模型层。采用模型驱动技术的嵌入式系统开发在开始的设计阶段就要考虑如何建模的问题。因此，在系统建模阶段，可以对模型进行相关性质的分析和验证，从而缩短系统的开发周期，降低软件后期改动的成本。模型驱动工程(MDE)技术。基于MDE的软件开发过程实际上就是建立模型和模型转换的过程。这个过程不但涉及到不同抽象层次之间的模型，同时也涉及到相同抽象层次内的模型。如果我们将MDE视为一种概念上的方法论的话，那么目前最主流的两种MDE建模和模型转换实现框架就是OMG的MDA以及微软的软件工厂。其中，MDA是公认最具代表性的MDE实现框架。典型的MDE元模型体系分...
【技术保护点】
一种基于模型驱动工程的将AADL组件转换到接口自动机模型方法，其特征是包括步骤：步骤一：建立AADL组件模型；步骤二：编写转换规则；步骤三：利用转换规则将AADL模型转换到IA模型；所述步骤一中，AADL模型是具有如下所描述的结构和元素：1)模型中具有thread、process、process?group、data、subprogramming、processor、memory、bus、device和system中的一类或几类；2)模型中每一个组件具有声明和实现两部分；3)模型中的组件有features、flows、connetctions和properties中的一个或...
【技术特征摘要】
1.一种基于模型驱动工程的将AADL组件转换到接口自动机模型方法，其特征是包括步骤 步骤一建立AADL组件模型； 步骤二 编写转换规则； 步骤三利用转换规则将AADL模型转换到IA模型； 所述步骤一中，AADL模型是具有如下所描述的结构和元素 1)模型中具有thread、process、process group、data、subprogramming、processor、memory、bus、device 和 system 中的一类或几类； 2)模型中每一个组件具有声明和实现两部分； 3)模型中的组件有features、flows、connetctions和properties中的一个或多个属性； 4)模型中至少有一个组件在实现中具有行为附件BehaviorAnnex ； 建模语法语义遵守SAE AS5506、SAE AS5506/1和SAE AS5506/2规约标准； 所述步骤二中，编写的转换规则包括Rule1. An AADL Component — An Interface AutomatonRule 2.The Feature of AADL Component — The Interface Automaton PortSet.Rule 3.The States of AADL Component — The Interface Automaton StateSet.Rule 4.The Initial States of AADL Component — The InterfaceAutomatonInitial State. Rule 5. The Transitions...
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。