模式语义链元建模及其应用

大粒度的模型转换是模型驱动软件开发场景下的重要技术需求，仅通过定义通用模型转换语言不足以满足这一需求，其中一个原因是通用模型转换语言工作在特定建模语言的元模型层次而非一般设计意图层次上．文中提出一种模式语义链(PSL)元建模方法．通过重型扩展统一建模语言(UML)元模型以直接形式化描述可表达一般设计意图的模式，并应用UML动作语义和元模型继承实现模式自动生成及转换．该方法为实现一船设计意图层次上的大粒度模型转换提供了有效支持．     

基于UML需求建模的一种形式化分析方法及其应用

UML是软件开发过程中广泛使用的建模语言,但由于缺乏精确的语义,难以直接对其建立的需求模型进行精化和验证,因而无法进一步提高软件的正确性和可靠性,也不具备实现软件自动化的前提条件.提出了一种基于UML需求建模进行形式化分析的方法.采用Object-Z对UML建立的需求模型进行形式化描述,采用Perfect弥补了Object-Z在精化与验证方面缺少自动化工具支持的不足,最后通过一个实例说明了该方法在实际应用中的可行性.     

支持MDD的体系结构模型的形式化语义

 为解决模型驱动开发中模型映射关系的定义和模型转换的正确性验证等方面存在的问题,利用范畴理论形式化描述软件体系结构模型及其间的关系,使之具有严格的语义。态射合成被用来追踪构件模型之间的关联和映射关系,不同抽象层次的体系结构模型之间的一致性由函子来维持。范畴理论支持图形化建模,可以使模型中的构件关系以及结构特征可视化,有利于对模型转换的理解和追踪。应用研究表明,该方法不仅可为验证模型之间映射规则的正确性提供依据,还能为模型转换的具体实现提供理论指导。     

一种面向Agent的需求分析和建模方法

随着Agent技术的发展,面向Agent软件工程是将来软件工程领域的发展趋势,面向Agent的需求分析和建模更是该内容的研究热点.在介绍几种面向Agent需求分析和建模方法的基础上,定义了一组面向Agent的图形化符号表示方法和形式化建模语言,详细地描述了整个系统的需求情况,最后在实例中进行了验证、分析和说明.     

利用扩展的Petri网模型形式化业务场景模型

UCM模型作为一种图形化的业务场景模型,其场景设计可以表示需求和产生规格,驱动设计和系统演化,UCM模型的正确性影响软件开发的质量.鉴于形式化模型可以验证其正确性,提出了一种利用扩展的Petri网模型,应用模型驱动实现业务场景模型的形式化方法.该方法通过细化Petri网模型中的Transition结点,从而有效的描述业务场景模型中的路径决策和动态行为.通过对UCM模型和扩展的Petri网模型的抽象语法定义,利用模型驱动方法定义了UCM模型元素形式化映射为Petri网模型元素的规则,并根据其规则设计了映射算法;在Eclipse平台上使用ATL语言实现了模型的形式化映射;应用Web Payment实例演示了UCM模型的形式化分析结果.     

基于形式化的功能代码自动生成

针对模型驱动开发中功能代码自动生成方面存在的问题,提出了一种形式化建模方法,用以实现模型驱动架构中功能代码的自动生成。通过进程代数描述的原子操作及其组合逻辑,使得功能行为的设计可以参数化和实例化,从而完成从高层模型描述到功能代码的自动转换。实验表明,本方法提升了软件模型描述的层次和灵活性,能够对模型驱动的软件开发提供有力的支持。     

演化构件在形式化需求分析方法中的研究与应用

软件开发实践表明:用户需求是软件系统成功的关键,软件系统的成功极大地依赖软件需求工程的质量.在开发活动过程中,随着用户对目标系统认识的逐渐深入以及基础设施、配置环境等因素的变化,用户需求也在不断发生变化.对需求变化的控制历来都是软件开发者追求的目标.在详细介绍形式化需求分析方法、演化构件及构件贡献度的相关理论基础上,提出了基于演化构件的形式化需求分析建模方法,深入分析了建模过程及建模工具RE-Tracker,并用集中控水系统的需求分析具体实例分析了需求级构件变更的影响范围和波及效应.     

学术文摘

逐步过渡的软件开发方法(STD)的基本思想是:把由用非形式语言描述的用户需求到完全形式化的源代码之间的转换过程看作是一个逐步过渡的过程。在整个过渡过程中所有的中间文档都用形式化语言和非形式化语言的混合体来描述。换句话说,这个方法有两个特     

ME4ET:一个基于EDOC ER模型的模型转换工具

模型驱动体系结构（MDA）是一个以模型和元数据为中心的软件体系结构．在MDA体系中，抽象模型是软件开发的主要产品．与传统的软件开发过程相比，模型转换，特别是平台无关模型和平台相关模型之间的转换，在MDA体系中具有重要作用．模型转换需要自动化的模型转换工具的支持以减少软件开发的成本．介绍一个MDA模型转换工具——ME4ET．陔上具支持EDOC ER模型的建模，并支持将EDOC ER模型自动转换为数据库平台和EJB平台上具体的实现，主要介绍ME4ET工具的模型转换规则和算法．     

基于QFD的面向对象需求分析方法

软件开发中软件需求的获取和分析变得越来越重要。文章针对大型软件系统开发的实际,提出了一种基于QFD的面向对象需求分析方法,给出了这种方法的实施步骤和实例分析。该方法首先运用QFD的AHP工具划分需求优先级,再用"需求-措施"矩阵实现客户需求到项目特征的转换,最后用OOA方法按优先级别高低的顺序对需求进行分析,以提高软件开发效率。它具有与实践结合紧密、支持重用等特点。     

基于PowerDesigner模型驱动机制下的全程建模研究

数据库设计工具PowerDesigner采用模型驱动机制,通过包括需求模型、业务流程模型、概念数据模型、物理数据模型、面向对象模型、多模型报告的多模型建立和转换,为软件开发实现全程建模提供了一种切实可行的软件开发方法,从而大大提高了软件开发的效率和质量,实现了软件工具放大人的智力这一论点.     

一种基于用例和Petri网的业务过程建模方法

在给出用例及其相关概念的形式化定义的基础上,构建了从用例到Petri网模型的映射算法;提出了一种基于用例和Petri网的业务过程建模方法.它先以用例来捕获需求,再用Petri网来图形化用例,以此来实现它们各自优势的互补.并且通过引入工作流建模中任务(task)这一概念来统一了用例描述的语法形式.     

对象式软件需求定义及其自动转换的研究

在面向对象构架之下研究了软件需求定义及其自动转换问题,提出了层次化对象式软件需求模型ＮＤＨＯＲＭ;定义了图形化对象式需求定义语言ＮＤＯＲＬ;探讨了从半形式需求定义到形式功能规约的转换技术;介绍了对象式软件需求分析支撑系统ＮＤＯＲＡＳＳ的设计与实现,该系统支持用户借助ＭＮＤＨＯＲＭ模型及ＮＤＯＲＬ语言来构件软件需求定义,并实现到形式功能规约ＯＯＺＥ的自动转换。     

一个适用于转换X-machine模型为Java代码的框架的设计与实现

X-machine是一种形式化的、适用于动态系统建模的方法．首先介绍了该建模方法，然后设计、实现了一个可复用的、可转换X-machine模型为Java代码的框架，并给出在蚂蚁仿生系统中应用该框架的实例．     

图形化本体建模工具GOM的设计与实现

将本体表示语言OWL Lite中相关词条图形化, 以图形化结构表示本体模型, 设计并实现了一种图形化本体建模工具GOM. GOM以图形化结构表示本体, 能够把图形化结构的本体模型转换成OWL Lite语言表示形式; 也可读取OWL Lite表示的本体, 生成本体模型的图形化结构. GOM实现了图形化结构的本体模型和OWL Lite表示的本体模型间的相互转换, 提高了本体模型的可读性, 降低了本体建模的工作强度.     

基于SysML的MES系统建模应用

制造执行系统（简称MES）由多个子系统组成,其建模方法比较混乱和复杂。介绍了系统工程建模语言SysML的特点;并结合实例给出了基于SysML的MES建模方法,重点描述了需求图、用例图和功能图。此建模方法既有利于前期与客户讨论需求,又可指导后期软件开发测试的建模,从而减小MES项目的开发实施风险。     

支持模型驱动开发的行为描述方法

行为模型的描述及其精化是模型驱动开发中的关键问题之一。根据形式化方法建模理论,提出了一种结构模型约束下的行为模型形式化描述方法。通过使用结构模型的操作方法定义行为,使得行为精化中搜索的粒度更大,同时加快了搜索的速度。应用研究表明,该方法能够为模型驱动的软件开发提供有力的支持。     

分布式实时系统的一种转化设计方法

介绍了实时分布式系统的一种转化设计方法。系统的形式化需求规范用时段演算DC（Duration Calculus)描述，系统的设计用规范语言SL（Specification Language)表示。一组标准的转换规则可将系统从形式化需求规范转化为设计规范。系统设计的正确性可由转换过程本身得以保证。多用户多媒体通信系统的设计实例展示了转换设计方法的具体过程。     

基于STEP AP233的需求描述转换--从自然语言描述到模型系统描述

介绍了知识支持的需求工程的方法及系统工程数据的描述标准，即ISO 10303－STEP AP233。主要说明了需求的自然语言描述到模型描述的系统的转换。欧洲研究工程KARE－需求工程的知识获取和共享，正在研究这一主题，包括需求工程的形式化过程和工作平台，不同的用户级别使用不同的工作平台配置。每种配置采用不同的方法实现STEP AP233。     

三余度信号表决系统在SADE下的设计与实现

主要介绍了基于嵌入式软件开发的新方法——实时嵌入式软件开发的高效解决方案SCADE,进行图形化软件开发、代码自动生成的关键技术。总结了图形化软件开发的一般流程,并且以SCADE在三余度信号表决系统中的应用实现图形化设计与代码自动生成,并将生成的代码与手工开发的代码进行比较之后嵌入到VxWorks中完成功能测试。