共查询到20条相似文献,搜索用时 31 毫秒
1.
2.
复杂系统日益呈现出不确定性、非线性等定性特征,已有的建模方法不足以构建具有定性特征的复杂系统。基于此,提出一种复杂系统定性模型描述方法(QMDM)。QMDM结合定性仿真理论,在UML基础上对其组件图、时序图以及状态图进行扩展,可视化地表达出定性模型的建模过程。组件图用于静态的表达出定性模型包含的定性约束关系。时序图和状态图用于动态的表达出定性模型的时序性,以及状态迁移。此外,给出QMDM的形式化定义,便于以后模型验证,并将研究成果在空调制冷系统中进行了初步应用。 相似文献
3.
SOC设计变得日益复杂要求我们在更高层次抽象上分析和验证系统行为。更精细的系统级建模方法变得日趋重要。文章主要目标是阐述怎样使用统一建模语言UML来构建一个复杂SOC设计框架及抽象其各个模块间行为的交互,建立了一个UML到Verilog的同态映射。提出了一个基于同态映射的从UML模型子集自动导出相应可综合Verilog描述的算法,为UML模型对于建模硬件系统提供了形式化的语义,从而能够验证并综合UML模型,加快了SOC设计流程。 相似文献
4.
5.
嵌入式实时系统的严格约束条件增加了开发的复杂和困难.本文以空调系统为例,阐述了UML建模的基本过程,创建了各种可视化模型并进行了调试验证,大大缩短了系统开发时间,提高了设计质量,充分验证了使用UML技术在嵌入式实时系统开发中的可能和便利. 相似文献
6.
用户可使用UML从不同角度对系统进行建模,但不同视图间存在信息冗余,会导致视图不一致的问题。文中提出形式化与可视化UML互补建模的方法,探讨用模型检测验证UML模型中的状态图和顺序图的一致性问题。针对具有复合片段的顺序图提出分析方法,将复杂层次结构的状态图转换为有限状态机,再用模型检测工具NuSMV对建立的模型进行验证。最后通过实例对此转换方法进行验证,实验结果表明了此方法的有效性。 相似文献
7.
8.
利用目前使用最为广泛的形式化验证语言VDM++在描述系统模型的语法和语义上的精确、一致的特点,结合VDMTOOLS和Rational Rose工具把UML类模型中的各个元素转化成VDM++表示,从而实现对UML类模型中所包含的各个元素进行语法和语义的检查。进一步提高UML的建模质量。 相似文献
9.
针对语义组合Web服务的验证问题,研究了模型验证相关技术、统一模型语言(UML),提出了基于模型驱动架构(MDA)的组合方法.该方法使用UML类图和用例图对OWL-S进行静态组合建模,使用活动图对OWL-S进行动态组合建模,实现了语义组合Web服务的UML描述,然后将该描述转换为Promela语言代码,在Promela代码之后增加LTL的声明,使用SPIN工具进行正确性、安全性和活性验证.该模型保证了组合过程的正确性. 相似文献
10.
定性建模技术相比定量建模技术能更加准确地描述复杂系统中的混沌性、不确定性和不可预测性。为全面系统地描述定性定量复杂系统,将定性建模技术跟定量建模技术相结合,提出一种基于多学科虚拟样机建模仿真理论(COSIM)的集成建模方法。在此基础上引入基于置信规则的定性知识和定性接口的描述,提出了集成建模的层次化模型结构的形式化表示方法;同时,基于对仿真系统中定性推理和定量解算的统一调度,给出了一种定性定量协同求解方法,最后,通过对UMl建模语言的扩展,提出了集成建模语言。通过设计并实现鱼雷规避仿真系统,验证了该建模方法的有效性。 相似文献
11.
12.
UML是一种广泛使用的面向对象的可视化统一建模语言,但UML缺乏精确的语义描述,难以对UUL模型进行分析验证以判断设计规范是否满足目标需求。符号模型检验是一种能够有效保证系统可信性质的自动检验技术。为了检验UML模型的正确性,在建模的基础上把UML模型转换为SMV模型,然后使用符号模型检验器(SMV)对模型进行检验,有利于在系统的设计早期发现系统的缺陷。 相似文献
13.
基于模型设计与分析技术能够明显提高现代复杂嵌入式软件系统的可靠性,本文基于接口自动机模型设计实现了一个构件化嵌入式软件验证工具并进行了形式化验证。该工具的系统规约采用UML顺序图模型实现,能够对系统设计模型与场景式规约之间多种行为的一致性进行检验,并对实时接口自动机网络与具有时间约束顺序图模型的一致性行为进行检验。 相似文献
14.
15.
16.
软件需求获取是软件建模和分析的基础,传统的软件需求建模方法主要有2个重大的缺陷:一是非形式化的需求描述常导致需求的歧叉性和不一致性,因而难以确认和验证;二是易变性.针对此问题,结合实例提出用UML(Unified Modeling Language)的用例驱动获取软件需求,并将得来的需求用形式化B方法的机器来表示需求,实现了软件需求的形式化.实践证明,用例驱动的软件需求获取可以有效地获取正确、合理的软件需求,加上用形式化B方法的需求描述,可以有效地避免上述两大缺陷. 相似文献
17.
针对传统可靠性模型在武器装备体系建模中存在的描述能力不足和Petri网建模存在的模型爆炸和模型构建困难问题,引入面向对象建模思想,利用UML模型便于描述系统和对象Petri网模型易于动态仿真的优点,提出了基于UML-OOPN的武器装备体系任务可靠性建模方法,通过建立UML到对象Petri网的映射规则,完成了由任务描述模型向任务可靠性对象Petri网模型的转化,从而实现了两者有效结合,并以某野战防空反导体系为例验证了该方法的可行性和有效性,为解决武器装备体系任务可靠性模型构建和高效输入问题提供了一种新的方法. 相似文献
18.
19.
为了解决MARTE(Modeling and Analysis of Real Time and Embedded systems)在建立嵌入式软件模型时不够精确的问题,结合Object-Z和PTA(Probabilistic Timed Automation)的优点,本文提出了一种集成的形式化建模方法--PTA-OZ.该方法不仅能够对嵌入式软件模型的静态语义和动态语义进行精确描述,而且通过模型转换规则,能够将MARTE模型转换为PTA-OZ模型.并对模型转换的语义一致性进行了验证,证明本文方法在转换过程能够保持结构语义和行为语义的一致性.最后通过实例模型描述从嵌入式软件建模到属性检验的过程. 相似文献
20.
分布式对象访问控制的UML建模 总被引:1,自引:0,他引:1
讨论如何扩充UML图素,为系统对象安全访问控制建模,使安全建模融入系统建模的各个阶段,使用视图策略描述语言VPL形式化描述安全模型,探讨了安全策略由VPL描述向通用的扩展的访问控制语言XACML描述的映射. 相似文献