一种基于描述逻辑的UML模型验证方法

针对UML模型中可能会存在的概念不一致、概念冗余等语义一致性问题,该文提出一种基于描述逻辑的UML模型形式化与模型验证方法。该方法首先采用描述逻辑的子系统SHOIN（D）形式化描述UML类图、状态图以及活动图的基本模型构造,进而将UML模型转换为相应的描述逻辑本体,最终借助现有的本体推理机制验证UML模型的语义一致性问题。该方法可以为下一代的软件CASE工具实现软件模型自动推理和验证提供一种可选的技术方案。     

基于本体规则的模型转换的研究

本文实现了统一建模语言(UML)描述的模型与企业过程建模系统(EPMS)模型之间的转换。UML的特点是便于建模,主要用于对软件的描述,不能进行模拟执行和优化。EPMS对业务过程进行建模,用于过程模型建造和过程模型模拟,支持过程仿真、分析和优化。模型之间的转换需要建立相应的转换规则,采用本体的思想描述规则,将编写规则的程序从映射程序中分离出来,实现规则与映射的解耦。源模型通过基于本体规则的映射程序处理转换为目标模型,领域专家就可管理、维护和修改基于本体的规则,减少了专业编程人员维护映射程序的工作。     

一种UML模型到XML模型的转换方法

为了把UML模型用XML描述出来,可以从模型转换的角度来考虑这个问题,把XML描述结果当作XML模型考虑。利用集合的概念定义了一个UML源模型,并用构造树的形式描述了UML基本模型元素的结构。根据构造树的描述定义目标XML模型的XML Schema。提出了一种基于对模型元素实例集合的扫描和对模型元素构造树遍历的方法来进行UML模型到XML模型的自动转换。     

一种基于文本的领域本体进化需求自动生成模型①

本体进化研究已经成为领域本体研究的一个重要内容。本体进化需求是本体进化的前提,提出一种基于文本的本体进化需求自动生成框架,首先从自然语言描述的纯文本中提取相关概念,然后利用加权词频算法判断是否为领域关键概念,最后结合本体搜索算法和进化需求生成规则,自动生成本体进化需求。     

一种UML模型到XML模型的转换方法

为了把UML模型用XML描述出来，可以从模型转换的角度来考虑这个问题，把XML描述结果当作XML模型考虑。利用集合的概念定义了一个UML源模型，并用构造树的形式描述了UML基本模型元素的结构。根据构造树的描述定义目标XML模型的XML Schema。提出了一种基于对模型元素实例集合的扫描和对模型元素构造树遍历的方法来进行UML模型到XML模型的自动转换。     

一种状态图到B规格说明的自动转换方法研究实现

状态图是UML动态视图之一,主要描述对象的动态行为,但缺乏形式化的动态语义,不利于软件从需求到代码的自动化转换。B语言支持形式化规格说明,在MDA转换过程中,把UML状态图转换为B规格说明,可以使MDA中的需求表达得更为精确。基于此,提出了一种基于EMF的状态图到B规格说明的转换方法,设计了状态图和B抽象机的元模型,定义了元模型之间的转换规则,给出了该规则的ATL描述,最后在Eclipse平台实现了状态图到B规格说明的自动转化。该方法为MDA过程中获取形式化需求提供了一种新的途径。     

基于本体的PIM到PSM模型变换方法的研究

首先研究了MDA和本体技术,指出应用UML描述本体的好处;为实现PIM到PSM的模型自动变换,提出了基于本体的模型变换方法,并设计了该模型变换方法的框架。该方法用本体实现语义层的模型变换,提高了模型自动变换的效率和MDA技术的应用。     

基于本体的PIM到PSM模型变换方法的研究

首先研究了MDA和本体技术．指出应用UML描述本体的好处；为实现PIM到PSM的模型自动变换．提出了基于本体的模型变换方法，并设计了该模型变换方法的框架。该方法用本体实现语义层的模型变换．提高了模型自动变换的效率和MDA技术的应用。     

自动产生一个图书馆的快速原型

AutoPA1.0是一套基于形式化方法的应用程序.它是一个基于需求规范而自动生成软件快速原型的Java代码的软件, 有着坚实、可靠的理论基础.给出一个图书馆管理系统的例子, 阐述如何用UML建立需求模型,然后用AutoPA1.0生成该需求模型对应的软件快速原型的Java代码. 采用的需求模型主要包括一个用况模型和一个概念类模型, 分别用UML中的用况图和类图描述.生成的软件快速原型将包括用况图中每个用例的执行,用一个系统数据库来描述当前系统状态, 该系统数据库保存了当前系统中存在的所有对象以及对象之间的关系.     

一种基于有限状态机的模型转换方法

为实现模型的自动转换,通过定义一个清晰的基于规则的模型转换框架,提出了一种基于有限状态机的模型转换方法,用有限状态机技术解决转换规则的实现问题,并定义了适合规则实现机制的形式表示法,然后结合UML模型到SQL模型转换的典型场景,通过一个模型转换示例说明模型转换方法的具体应用,结果表明了该方法的可行性和有效性。该方法适用于状态明显的模型之间的转换,促进了模型自动转换的应用和发展。     

基于本体的领域分析

软件复用被认为是改善软件质量和提高软件生产力最有希望的技术。为了支持复用,软件开发过程必须考虑两个方面的问题:为复用开发和用复用开发。本体逐渐成为构建信息系统、提供知识共享和复用的重要机制。领域分析是软件复用工程中最重要的工作。本课题利用本体的概念,讨论了领域分析技术中的领域本体的概念、领域本体的形式化描述,本体模型的UML表达,并给出基于本体的领域分析过程,以期对软件复用工程的领域分析过程有所改进。     

From Web Data to Visualization via Ontology Mapping

In this paper, we propose a novel approach for automatic generation of visualizations from domain‐specific data available on the web. We describe a general system pipeline that combines ontology mapping and probabilistic reasoning techniques. With this approach, a web page is first mapped to a Domain Ontology, which stores the semantics of a specific subject domain (e.g., music charts). The Domain Ontology is then mapped to one or more Visual Representation Ontologies, each of which captures the semantics of a visualization style (e.g., tree maps). To enable the mapping between these two ontologies, we establish a Semantic Bridging Ontology, which specifies the appropriateness of each semantic bridge. Finally each Visual Representation Ontology is mapped to a visualization using an external visualization toolkit. Using this approach, we have developed a prototype software tool, SemViz, as a realisation of this approach. By interfacing its Visual Representation Ontologies with public domain software such as ILOG Discovery and Prefuse, SemViz is able to generate appropriate visualizations automatically from a large collection of popular web pages for music charts without prior knowledge of these web pages.     

Analogy-based domain analysis approach to software reuse

Domain analysis is an expansion of conventional requirements analysis. Domain analysis can support effective software reuse. However, domain analysis is time consuming and is limited to a particular application area. Analogical approaches to software reuse, on the other hand, often occur across domains. Analogical problem solving is a process of transferring knowledge from a well-understood base domain to a new target problem area. Analogy can facilitate software reuse for poorly understood problems or new application areas. Analogy shares similar concepts with reuse and some analogy theories have been applied to software reuse. However, current research on software analogy often overlooks the importance of analysis for the base domain and does not consider some critical aspects of analogy concepts. Reuse must be based on high quality artifacts, especially reuse across domains. This paper presents an approach to integrate domain analysis and analogy methods. In our view, domain analysis and software analogy have complementary roles. Domain analysis is regarded as a process to identify and supply necessary information for analogical transfer. Software analogy can provide the analyst with similar problems and solutions to reuse previous domain analysis knowledge or artifacts for a new domain. This paper presents case studies to demonstrate the increase of efficiency in applying the approach. Evaluation of the approach from various perspectives is also reported.     

基于构件的开放式网络化自动测试技术研究

针对当前网络化自动测试系统的软件复用局限于代码复用的问题,提出基于构件的开放式网络化自动测试系统软件开发方法,实现测试软件的更高层次复用。引入领域工程的思想,将软件开发过程划分为三个阶段：领域分析阶段运用UML建模语言对网络化自动测试系统进行需求分析、静态分析和动态分析;领域设计阶段完成可复用构件的辨识和提取,并建立可复用构件框架模型;领域实现阶段对关键的可复用构件进行实现。     

基于本体的Petri网模型转换方法

在现有的UML到Petri网模型转化规则的基础上,引入本体将其作为各种模型到Petri网模型之间转化的桥梁,研究各种模型到Petri网的通用转化方法.为每个模型包括Petri网模型建立本体,再根据基于分类树的本体映射建立模型转化步骤.通过计算不同模型中概念的相似度建立不同模型中概念的对应关系,完成模型转化.     

基于UML 的销售合同管理系统

以销售合同管理系统项目的开发为背景,探讨了UML在销售合同管理系统分析中的应用问题,在对系统进行需求分析的基础上,采用StarUML建模工具构建了系统的用户需求模型、对象结构模型、行为模型。     

UML在运输业务管理系统建模中的应用

以运输业务管理系统项目的开发为背景,探讨了UML在运输业务管理系统建模中的应用问题。在对系统进行需求分析的基础上,采用ROSE构建了系统的用户需求模型、对象结构模型、行为模型和实现模型。