基于SWRL元模型的本体公理建模方法

针对传统SWRL元模型难以表达规则前件中OWL类实例的问题,提出改进的元模型,采用逻辑运算符连接并区分规则的UML模型中不同的OWL属性和OWL类的实例。为规则设计了基于UML profile的建模机制。通过引入horn短句集、描述逻辑等知识表示方式,论证了用描述逻辑对部分基于UML建模的规则形式化的可行性,并给出基于描述逻辑对其形式化的方法。     

基于UML的嵌入式系统建模及模型验证机制研究

统一建模语言UML在嵌入式系统设计建模中已经获得了广泛的认可，并有很多成功的应用，但UML存在时间约束描述能力不强和所建模型形式化复杂、验证难的问题。针对上述问题，本文提出了使用UML扩展机制对UML状态图进行时间扩展，建立系统状态一约束一事件矩阵来对模型进行形式化描述的方法。该方法解决了UML在嵌入式系统建模时存在的问题。应用实例和实验结果验证了该方法的可行性和有效性。     

UML模型到B抽象机的转换和实现

统一建模语言UML广泛用于面向对象技术的建模,B方法主要是用抽象机来描述软件系统的规格说明.文章针对软件开发中经常用到的UML模型,提出了基于B语言的UML形式化方法:通过将UML模型转化为B抽象机,实现了UML模型的形式化.实例分析表明,转换是可行的.     

基于UML的嵌入式建模方法改进策略研究

统一建模语言UML(unified modeling language)在嵌入式系统设计建模中已经获得了广泛的承认,有很多成功的应用.但UML在嵌入式建模中存在时间约束描述能力不强和所建模型形式化复杂、验证难及模型重用性不高等问题.针对这些问题提出了一种改进策略:定义实时语义和映射规则,建立实时描述模式模板,使用模板中实时描述模式描述时间约束信息.改进后的方法能可视化地分析模型、纠正错误和简单地进行形式化转换,能利用支撑工具对模型进行验证,较好地解决了UML在嵌入式系统建模中存在的问题.     

一种嵌入式系统设计的建模方法研究

针对在嵌入式系统设计中,目前常用的VHDL建模方法方法存在不易理解、模型描述困难、工作量大的问题,UML建模方法存在模型需形式化、验证难等问题,提出了一种基于SpecCharts语言的嵌入式系统建模方法--使用SpecCharts语言语法、文字和图形相结合来描述嵌入式系统,能满足嵌入式系统设计的描述要求,建模效率是VHDL方法的2.82倍,是UML方法的1.25倍,并且具有容易理解、容易描述、能利用VHDL的支撑工具直接进行模拟验证、建模工作量小等优点,较好地解决了嵌入式系统设计建模中存在的上述问题,有较高的实用价值.     

基于Z规格的UML模型形式化转换及验证

统一建模语言(UML)所建立的模型的正确性无法通过其本身进行形式化验证,为解决这个问题,根据UML模型的静态性质和动态模块行为两个方面提出结合形式化规格说明语言的模型形式化方案,以此为基础提出将UML目标模型转化为Z规格说明的形式化方法,并用Z-EVES工具形式化检测Z规格描述的正确性.通过实例分析验证了该方法的可行性.     

基于场景分析的系统形式化模型生成方法

采用形式化方法对系统的安全性进行分析与验证,是构造可靠安全软件系统的一个重要途径。当前的形式化安全分析方法,面临着系统的形式化建模难的问题。以铁路车站联锁系统中基本进路建立为例,提出基于场景分析的系统形式化模型生成方法。该方法首先采用OCL前/后置条件分析法对UML时序场景作一致性分析,然后将UML时序图中对象交互的行为序列转换成FSP进程代数模型,进而得到系统的形式化模型。该方法为系统的形式化建模提供了新思路,从安全质量方面改善了安全苛求软件的设计与开发,丰厚了基于模型的软件形式化开发方法。     

嵌入式建模中带有时间扩展的UML状态图的形式化方法

面向对象建模语言UML(Unified Modeling Language)已广泛用于嵌入式系统建模,但它在嵌入式实时系统建模时存在概念模型形式化复杂和状态图对时间约束方面的建模功能不强的问题,针对这些问题,提出一种对UML状态图进行时间扩展的方法,并提出利用"可执行UML"对带有时间扩展的UML状态图形式化的方法.     

形式化与UML结合的建模方法及其应用

首先阐述了形式化方法与可视化方法的优缺点,并在此基础上提出软件体系结构形式化与可视化UML互补的建模方法,主要探讨UML和Z结合的建模过程,并用一个系统开发实例进行展示。     

形式化与UML结合的建模方法及其应用

首先阐述了形式化方法与可视化方法的优缺点,并在此基础上提出软件体系结构形式化与可视化UML互补的建模方法,主要探讨UML和Z结合的建模过程,并用一个系统开发实例进行展示。     

基于UML的业务流程模型分析方法研究

基于UML的业务流程建模方法是业务流程建模领域中的一种重要方法,该文对基于UML的业务流程建模方法中的重要工具活动图进行形式化定义,给出了基于活动图的业务流程模型与工作流网之间的规范化转换方法,从而可以分析和检验基于UML的业务流程模型的静态和动态属性。     

地理空间约束的业务流程建模方法

明晰了受地理空间约束的业务流程的两个基本概念:地理位置与地理空间信息.首先,提出了地理空间约束思想,分析了地理空间约束的内涵,并在工作流元模型的知识基础上构建了地理空间约束的UML语义框架;其次,以形式化的方式提出了地理空间约束的业务流程建模方法(LAWF-net),并描述了LAWF-net模型转化为CPN可执行模型的规则,探讨了地理空间约束对流程建模的影响;最后,通过案例结合GIS系统来扩展CPN Tools,不仅验证了LAWF-net建模方法的可行性,而且实现了地理空间约束的业务流程的可视化.     

面向重构的企业应用系统业务模型

在分析面向重构的设计原则的基础上,提出一种基于业务规则的业务模型,并给出八类规则的表达形式。通过对业务元素的持续分解,将模型中频繁发生变化的部分分离出来并使用规则表达,提高了业务模型的动态性和灵活性。最后研究了基于该业务模型的建模过程。     

基于范畴论的业务目标模型形式化

面向目标需求语言模型（goal-oriented requirement language,GRL）聚焦于待定的需求,被广泛地应用于业务系统的初始需求建模,其模型的正确性影响到业务系统的开发质量。鉴于业务目标模型的形式化可以验证模型的正确性,提出了一种利用范畴论形式化GRL模型的方法。首先,依据GRL元模型结构,应用范畴论中的态射机制形式化描述GRL模型中目标与目标、目标与任务以及任务与任务等节点之间的关系;然后,通过增加范畴模型中的初始对象和终止对象,设计紧邻序列来表示多个目标与任务实施的因果关系;最后,设计业务目标模型系统的正确性结构性质。应用Web Payment系统实验表明,形式化业务范畴模型能够验证GRL模型的正确性,提高目标建模的质量。     

An end-user approach to business process modeling

This paper discusses the main differences between humanistic and mechanistic business process modeling. While the mechanistic approach requires strict process formalization, emphasizes technical details, and constrains the modeling task to technology experts, the humanistic approach is more centered on the end-user. We developed a modeling approach and a collaborative tool supporting end-user business process modeling. Design storyboards were adopted as a paradigm for knowledge representation and visual composition. The main contributions from this research include the knowledge representation structure and a collaborative tool supporting visual composition of business process models.     

基于UML的多视图软件体系结构描述方法研究*

提出一种新的基于UML(unified modeling language)的多视图模型,即“6＋1”视图模型,从场景、概念视图、框架视图、过程视图、数据视图、构件视图、物理视图七个视角完整地描述一个系统的体系结构,并将该视图模型应用到钢材库管理系统的体系结构描述中。实践表明,它是面向对象软件开发方法中高效而实用的软件体系结构建模方法。     

基于Petri网的水产品供应链工作流模型

为了确保水产品供应链工作流的合理性和保证业务流程中物流和信息流的一致性,提出了较完善的基于状态的Petri网建模方法,对水产品供应链业务流程进行模型分析,描述水产品生产加工销售链各上下游企业的业务流程模型,利用petri网设计了水产品管理系统流程模型。结果表明：利用Petri网能够优化设计水产品生产加工各个流程模型,对水产品生产供应链信息流进行有效的管理,为水产品生产加工的质量安全决策提供了重要的依据。     

基于时序逻辑的业务过程约束建模及验证*

提出一种可视化的约束规则建模语言(visual constraint modeling language, VCML),采用XYZ/E语言作为逻辑框架,统一定义约束规则和业务过程两种模型的形式化语义,为约束规则的自动验证提供形式化基础;然后基于模型检验(model checking)技术,简要讨论模型自动验证的实现方法;最后通过一个应用实例说明业务过程约束的建模。     

一种跨边界业务过程集成平台

针对分布式异构环境下业务过程集成效率低、动态性差等问题,文章提出了一种跨边界业务过程集成模型,通过将跨边界业务过程集成模型构建为包含业务过程层、自治域内业务过程集成层以及跨边界业务过程集成层三个层次的层次模型,将每层问题简化,并通过层次间的紧密耦合解决复杂的实际问题。基于层次模型构建基于WebService的业务过程集成平台的体系结构,并利用业务过程动态协商技术,动态选择可提供个性化服务的服务提供者,按照合作双方协商结果进行实际业务过程集成,以提高跨边界业务过程集成的效率和动态适应能力。     

基于UML的工作流建模

工作流模型是对工作流的抽象表示，也就是对经营过程的抽象表示。由于工作流需要在计算机环境下运行，因此建立相应的工作流模型是必不可少的。传统的工作流建模方法存在着复杂、僵化、缺乏反馈等缺点，在分析了传统工作流建模的不足之处的基础上，结合工作流公共数学描述，提出了基于UML的工作流建模方法，并详细分析了它对传统工作流建模的改进。