UML到Verilog同态映射在SOC系统级建模上的应用

SOC设计变得日益复杂要求我们在更高层次抽象上分析和验证系统行为。更精细的系统级建模方法变得日趋重要。文章主要目标是阐述怎样使用统一建模语言UML来构建一个复杂SOC设计框架及抽象其各个模块间行为的交互，建立了一个UML到Verilog的同态映射。提出了一个基于同态映射的从UML模型子集自动导出相应可综合Verilog描述的算法，为UML模型对于建模硬件系统提供了形式化的语义，从而能够验证并综合UML模型，加快了SOC设计流程。     

UML活动图到时间Petri网的映射方法

UML被广泛应用于嵌入式实时系统等领域的建模,而嵌入式实时系统对时间响应的要求非常严格,UML缺乏对系统时间约束的描述和形式化语义。因此,提出了一种结合MARTE与UML带有时间约束的UML活动图模型,并定义相应的映射规则,将该活动图模型映射到时间Petri 网模型,最后通过实例验证了该映射方法的正确性和实用性。     

基于角色的无线传感网络中间件研究

根据无线传感网络中节点扮演角色的多样性及角色职责的差异,提出无线传感网络角色映射框架模型。在此角色映射框架基础上,设计并实现基于角色的无线传感网络中间件RobMSN。从语义和规约的形式化角度定义了角色映射的规则约束,系统地解决了角色映射抽象的语义冲突问题,使得角色映射的上下文充分地体现在中间件的角色规约中。利用RobMSN把应用程序映射为节点在网络中具体所承担的角色,解决了无线传感网络中间件的跨平台要求和应用服务的动态性问题。最后,以一个应用开发实例来说明RobMSN中间件的设计和开发流程。     

UML状态机到B形式化规约的转换

文章研究在高可信软件工程中集成形式化方法。以软件设计的UML状态机模型为起点．将其转换为B形式化模型，然后在B工具环境中遵循B方法的精化原则和正确性验证方法，开发出可靠的实现模型。提出一套从UML状态机到B形式化规约的转换规则，涵盖UML基本状态图、分层状态图和并发状态图。实例分析表明．这套转换规则行之有效。     

基于XML的DL/T645协议与GOOSE的映射研究

由于目前电网通信规约的多样化,导致不同规约的设备之间不能相互通信,影响了电网通信的一致性要求。针对这种情况,提出基于XML的DL/T645与GOOSE规约的映射方法。该方法首先通过XML语言详细描述DL/T645以及GOOSE协议的特征,统一两种规约在XML标签中的字段名,然后识别两种规约的字段名,调用转换配置文件,解析其中的字段含义,将其映射到目标协议中,实现DL/T 645协议与IEC61850中的GOOSE协议的相互映射和转换。基于XML脚本的规约映射模型的提出,能为更多不同协议之间的转换搭建一个良好的平台。     

构件化嵌入式软件设计模型验证工具的研究

基于模型设计与分析技术能够明显提高现代复杂嵌入式软件系统的可靠性,本文基于接口自动机模型设计实现了一个构件化嵌入式软件验证工具并进行了形式化验证。该工具的系统规约采用UML顺序图模型实现,能够对系统设计模型与场景式规约之间多种行为的一致性进行检验,并对实时接口自动机网络与具有时间约束顺序图模型的一致性行为进行检验。     

基于UML-OOPN的武器装备体系可靠性建模方法

针对传统可靠性模型在武器装备体系建模中存在的描述能力不足和Petri网建模存在的模型爆炸和模型构建困难问题,引入面向对象建模思想,利用UML模型便于描述系统和对象Petri网模型易于动态仿真的优点,提出了基于UML-OOPN的武器装备体系任务可靠性建模方法,通过建立UML到对象Petri网的映射规则,完成了由任务描述模型向任务可靠性对象Petri网模型的转化,从而实现了两者有效结合,并以某野战防空反导体系为例验证了该方法的可行性和有效性,为解决武器装备体系任务可靠性模型构建和高效输入问题提供了一种新的方法.     

利用UML模型设计EJB组件

利用UML模型来研制EJB组件是目前比较先进的方法。给出了从UML模型到EJB组件模型的转换过程，并以漏洞检测中间件的开发为例，介绍了利用UML模型设计和开发EJB组件的相关技术和开发过程。     

基于UML的文化中心设施管理系统的设计与实现

随着智慧城市的蓬勃发展,采用信息化手段辅助人们对基础设施进行管理势在必行。文中以天津市文化中心设施管理为基础,采用UML语言对文化中心设施管理系统进行分析设计,建立了系统的用例图、静态模型和动态模型,抽象出基础设施管理的共同特点,可提高系统开发的效率和重用性。最后,在分析设计的基础上进行了系统实现。     

基于语义映射及组件化方法的促销规则模型研究

针对电商促销规则形式繁多、结构复杂等问题,提出一种基于语义映射结合组件化方法的促销规则模型,通过建立业务语境到规则脚本的语义映射、提供组件化拓展能力、抽象计算接口等方法 ,在充分简化规则实现过程的同时,提高规则的复用能力。经过模型实例证明,使用该模型可以低代码方式快速完成电商促销规则的迭代更新,降低业务规则所需要的时间和成本。