共查询到19条相似文献,搜索用时 91 毫秒
1.
UML 顺序图的一种形式化描述方法 总被引:1,自引:1,他引:1
统一建模语言UML是一种通用的图形化建模语言,在面向对象系统的分析和设计中,它已成为了事实上的工业标准。但UML不是形式化的建模语言,缺乏精确的、形式化的语义,因此阻碍了它的进一步发展。线性时序逻辑是并发或反应式程序动态语义的一种形式化描述语言,它适合用来精确地表示模型的动态语义。本文定义了顺序图的形式化语法,采用线性时序逻辑给出了顺序图的语义描述,并通过实例分析,对模型的某条性质进行了证明,为模型做进一步分析和验证提供了基础。 相似文献
2.
UML是一种得到广泛应用的系统建模语言,但是由于它缺乏形式化语义和严格的推理机制,从而影响了系统建模的准确性和开发效率。TCOZ是一种将Object—Z和TCSP相结合的形式化语言,具有丰富的建模能力。基于TCOZ,本文建立了UML视图的一种形式化模型,对类图和协作图等提出了转换规则,使得TCOZ中的推理可用于分析UML视图。通过某学校信息系统的实例,阐述了UML视图的形式化建模方法和分析技术。 相似文献
3.
陈寿文 《云南民族大学学报(自然科学版)》2013,22(4):299-301
采用三元组形式化定义了UML顺序图及其对应的结构操作语义规则,并采用该方法描述了身份验证过程对应的操作顺序.这为基于UML顺序图的测试用例的自动生成奠定了基础,也为UML顺序图的模型转换和模型验证提供了必要的前提条件. 相似文献
4.
由于UML难以表示现实世界中存在的大量不确定和模糊的信息,因此前人提出了模糊UML。与UML类似,模糊UML是半形式化语言,缺乏精确的语义。为解决这一问题,提出一种用模糊描述逻辑形式化表示模糊UML类图的方法,扩展模糊描述逻辑f-SHOIN(D)为其逻辑基础,详细描述模糊UML类图中的类、属性和各种关系转化为模糊描述逻辑表达的形式化过程,最后用实例证明该方法是可行的。 相似文献
5.
《云南民族大学学报(自然科学版)》2015,(6):506-509
统一建模语言(UML)是目前广泛使用的一种面向对象建模语言,其图形化,半形式化的特点,使其缺乏精确的语义描述,模型之间容易出现不一致问题,因此,UML类图的形式化问题尤为重要.common logic是一阶逻辑的一个特殊拓展,语法简洁,无符号,易读易掌握易使用,语义精确,满足一阶模型理论,相较于其它逻辑语言,更适合UML类图进行形式化规约.因此,提出采用common logic对UML类图进行形式化,得到形式化的语义规约,并对实例模型进行一致性验证. 相似文献
6.
《中南民族大学学报(自然科学版)》2017,(2)
针对UML缺少形式化语义,使得开发UML自动检测工具变得困难的问题,提出了一种基于矩阵理论的UML类图形式化描述和自动检测方法.首先,分别给出了基于二元关系和基于矩阵的类图形式化描述规则;然后,讨论了UML类图的自动检测;最后,用一个实例说明了该方法的有效性.实验结果表明:该方法可以对UML类图进行形式化描述,且可以通过数学方法找出模型中存在的错误. 相似文献
7.
一种基于UML的面向对象需求分析方法 总被引:4,自引:0,他引:4
在软件开发的过程中,用户需求的准确获取对于软件的成败是非常重要的,然而在以往的开发过程中,常常忽略或简化需求分析的过程,导致软件项目的失败.给出一种利用UML进行面向对象的需求分析的方法. 相似文献
8.
基于TCOZ,本文建立了UML视图的一种形式化模型,不仅为UML提供了一种精确的数学描述,也为其正确性分析和验证奠定了基础。 相似文献
9.
用XML表示UML模型元素 总被引:1,自引:0,他引:1
提出了一种将XML技术与UML技术相结合的思想——在UML建模工具中用XML,表示UML模型元素,设计基于XML的UML建模工具数据结构,并用该建模工具将模型信息保存到XML文档中。 相似文献
10.
一种基于UML模型的系统测试方法 总被引:5,自引:1,他引:5
针对基于用UML开发的软件系统的用例之间的复杂联系.设计了一种通过UML活动图表示UML用例图来对UML用例图中各个用例之间的联系进行描述,并对其中的用例进行扩展;在此基础上通过对UML活动图中用例遍历的系统测试方法. 相似文献
11.
UML是一种非形式化的面向对象建模语言,它缺少精确的语义定义;PVS规范则是一种具有精确语义定义的形式化规范语言,通过PVS规范给UML图形赋予精确的语义可以结合两者的优势.为此,提出了一个将UML类图转换成PVS规范的框架.按照UML的4层架构,依次对元元模型、元模型以及UML图形进行转换,并且前一次转换所得到的规范可以为后面的转换提供上下文背景.与其他方法相比,这种分层转化的方法降低了转换难度,保证了转换的正确性,保持了UML模型更完整的语义成分. 相似文献
12.
一种基于MDA的UML顺序图到状态图的转换方法 总被引:2,自引:2,他引:2
MDA(model driven architecture)是解决基于不同中间件系统的集成问题.它将不同的系统都结构化成PIM(platform independent model)和PSM(platform specific model),并针对不同的实现技术平台制定多个映射规则,然后通过这些映射规则及辅助工具将PIM转换成PSM,再将PSM不断求精直至形成最后的代码.MDA中的模型转换有4种:PIM到PIM,PIM到PSM,PSM到PSM以及PSM到PIM.其中PIM到PIM转换最显而易见的是分析模型到设计模型的转换.UML是MDA的模型描述语言,因此UML顺序图到状态图的模型转换必将为MDA中的PIM到PIM转换提供有力的支持.介绍了从一个顺序图转换成多个状态图的算法,并进一步讨论了从多个顺序图转换到状态图以及简化状态图的方法.处于一个系统中的多个状态图不是孤立的,他们各自的状态转换是相互约束的,最后给出了组合多个状态图的方法,以及如何生成在同步约束下多个状态图的转换关系,并最终得到系统的状态图. 相似文献
13.
Modeling Workflow Using UML Activity Diagram 总被引:1,自引:0,他引:1
An enterprise can improve its adaptabihty in the changing market by means of workflow teclmolo-gies. In the build time, the main function of Workflow Management System (WFMS) is to model business process. Workflow model is an abstract representation of the real-world business process. The Unified Modeling language (UML) activity diagram is an important visual process modehng language proposed by the Object Management Group (OMG). The novelty of this paper is representing workflow model by means of UML activity diagram. A translation from UML activity diagram to π-calculus is established.Using π-calculus, the deadlock property of workflow is analyzed. 相似文献
14.
Software system can be classified into many function modules from the perspective of user. Unified modeling language( UML) class diagram of each function module was extracted,and design characteristic metrics which influenced software maintainability were selected based on UML class diagram.Choosing metrics of UML class diagram as predictors,and mean maintenance time of function module was regarded as software maintainability parameter. Software maintainability models were built by using back propagation( BP) neural network and radial basis function( RBF) neural network, respectively and were simulated by MATLAB. In order to evaluate the performance of models,the training results were analyzed and compared with leaveone-out cross-validation and model performance evaluation criterion. The result indicated that RBF arithmetic was superior to BP arithmetic in predicting software maintainability. 相似文献
15.
宁以风 《徐州师范大学学报(自然科学版)》2008,26(1):37-40
运用CK度量方法和MOOD度量方法分别从类和系统两个角度对UML类图实例实施定量计算,对度量结果进行分析、评价,并提出改进措施.以此衡量UML类图模型质量的好坏,可以及时有效地对有缺陷的类进行调整. 相似文献
16.
17.
在现代电子商务中 ,基于Web数据的OLAP分析需要概念集成XML数据和关系数据等多种数据源·给出了一种面向OLAP分析的多维数据模型的概念描述方法 ,即在XML数据的UMLdiagram生成算法的基础上构造UML星系模式 ,以支持面向多主题的OLAP的多维数据分析 相似文献
18.
该文分析了信息系统软件开发的特点,并在UML静态结构模型中类图的基础上,提出了一种针对信息系统软件开发,特别是数据库系统开发的规格说明语言MISFRAME的语法原型,详细阐明了其在数据库开发中的语法定义,提供了相应的代码生成器,并说明了其生成源代码的原理. 相似文献
19.
以人事管理系统的设计为例,以UML顺序图为导向,引申出其他的UML图,从而为各种UML图在整个软件设计开发中的作用进行了完整的描述. 相似文献