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

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

基于元模型的视图层 PIM 建模方法研究与实现

模型驱动架构(model driven architecture,MDA)的核心思想是将建模语言当作开发语言使用,基于 UML 的平台无关模型(platform independent model,PIM)建模方法主要关注于系统的体系结构与业务逻辑设计,对视图层支持较差.针对此问题,研究了基于元模型的视图层 PIM 建模方法,给出视图层 PIM 模型中界面逻辑模型和界面布局模型的表示法及语义内容;基于 EMOF(essential meta object facility)对 UML 建模语言进行扩展,使其对上述两种模型提供语义上和表示法的支持;最后,基于 Eclipse GMF 框架开发了视图层 PIM 辅助设计工具 GMTP     

基于UML和MVC的远程教育网站设计

网站是现代远程教育的平台,实现远程教育网站设计的可重用、提高网站的开发效率具有重要意义.使用UML统一软件建模语言和MVC模型、视图、控制方法来设计远程教育网站,用UML用例图做需求分析,用类图设计系统静态模型,用顺序图设计系统动态模型,用MVC设计系统组件结构.用这种方法设计的远程教育网站易于代码化,具有良好的可重用...     

基于场景的形式化测试模型生成方法

在复杂的Web应用软件中,如何有效地实现自动化测试是当前软件测试研究中的热点与难点.使用统一建模语言（unified modeling language,UML）状态图对Web应用软件的行为建模,利用已有的方法将已建好的模型形式化成有限状态机(finite state machine,FSM);然后使用UML顺序图表示场景,通过使用场景规约系统行为,最终得到约简后的形式化测试模型用以实现自动测试.     

基于UML的智能井信息服务平台设计

智能井的进一步发展需要有完备的信息服务支持 .在系统分析油田智能井信息服务需求特征的基础上 ,应用统一建模语言 (UML)对智能井信息服务平台进行了设计 ,建立了基于B/S模式平台的三层体系结构 ,给出了平台的用例模型 ,利用部署图和顺序图描述了平台的系统组成及角色与系统间的交互行为 ,最后根据UML建模的结果提出了智能井信息服务平台的典型结构     

基于UML2.0的设备管理系统需求建模

采用基于UML2.0的用例图、活动图对设备管理系统进行业务建模.讨论了UML2.0对MIS系统业务建模的机制和特点,提出了针对中小型软件开发的需求分析方法,并给出了一个计算机设备管理系统实例.重点介绍如何使用UML2.0中的用例图和活动图对管理信息系统建立需求模型,首先分析机构组织特点,建立机构组织模型;然后提取机构的主要业务工作流,通过使用活动图建立企业工作流模型;最后根据活动图抽象出系统的执行者和用例,建立系统的用例图.并且给出了一个计算机设备管理系统需求建模实例.     

基于UML和JSP的农业机械化装备信息网络平台

针对利用UML(Un ified Modeling Language)为中小型W eb应用系统建模时的复杂过程,在利用UML和JSP(Java Server Pages)技术开发W eb应用程序过程中,采用面向对象分析(OOA:Ob ject-O riented Analysis)和面向对象设计(OOD:Ob ject-O riented Design)方法,主要建立了系统的用例图、交互图、设计类图和组织结构图,适当简化了系统建模过程,以适合农业机械化装备信息网络平台项目的设计与开发。开发实践表明:该简化的建模过程适合于中小型项目的开发,开发周期缩短了1/4,提高了系统的开发效率。这些方法可用于系统设计阶段,有助于清晰掌握系统的整体结构和主要功能,快速高效地开发W eb应用。     

Web布局的UML Profile建模

UML是当前建立面向对象复杂系统比较流行的可视化语言,虽然在Web系统开发时可以使用UML对系统的结构和行为建模,但却不能对界面布局建模,设计者只能用勾绘草图等方法来进行界面布局设计,这给UML设计者带来很大的不便.基于UML2.0的扩展机制并结合UML2.0的图交换规范建立的Web布局元模型,很好地解决了这一问题,使得Web布局建模可以统一在UML语言和UML的建模工具中,并可产生原型化的界面.     

模型驱动的开放式结构悬挂物管理系统设计方法

开放式结构悬挂物管理系统是机载悬挂物管理系统的发展方向,可以将武器的设计与具体实现相分离,实现武器集成的松耦合.提出基于模型驱动的开放式结构悬挂物管理系统设计方法,采用UML设计平台无关模型,采用AADL设计平台相关模型,论述了基于UML Profile的UML模型到AADL模型的转换方法,最后,以一个设计实例描述了该方法的设计过程.结果表明:基于模型驱动的开发方法为开放式结构悬挂物管理系统的设计提供了有效的解决方案,实现了系统设计与平台实现的分离.     

基于UML的Web应用软件的设计与实现

针对现有UML建模工具对Web应用程序设计支持不够理想的问题,提出了Web设计面向对象化的方法,抽象出Web应用程序中结构相似的、功能相近的可复用的内容.通过绘制UML示图进行Web软件结构、流程和数据建模,生成软件代码以及数据库结构的解决方案,并结合自己开发的UML建模软件工具WebBuilder阐述了用UML图设计Web应用程序的对象模型和功能模型,由此生成软件实例的方法.     

基于JSP的Web应用建模与开发技术

在当今流行的Web开发技术中,JSP(javaserverpages)以其强大的优势,成为后起之秀,在Web开发领域独领风骚.UML(统一建模语言,unifiedmodelinglanguage)作为面向对象建模的标准语言,提供了针对具体应用的扩展机制,能够对日益复杂的Web应用进行建模,从而规范了Web应用软件开发过程.主要讨论了利用UML开发基于JSP的Web应用方法和技术.     

基于Web Services的电子商务网站的实现

阐述了Web Services的概念及重要性，并提出了基于Web Services及J2EE开发平台的电子商务体系模型及实现。客户可以通过UDDI注册中心查找及直接对服务调用两种方式实现网站服务的调用。在网站实现过程中，贯穿了Web应用模式的三层体系结构，并结合统一的Web Services对象封装技术，实现了跨平台和不同语言的应用集成，并且它的整个流程符合J2EE规范。     

基于语义和结构的UML类图的检索

以软件重用为背景提出基于语义和结构的UML类图检索.构建了UML类图的重用模型,定义了存储UML类图的重用库结构.提出将本体的概念语义距离应用到UML类图的语义相似性度量和使用图表示UML类图的结构进行结构相似性度量.基于检索流程形式化检索需求,提出了UML类图的检索算法.基于提出的衡量标准,从语义、结构和混合三种检索类型对提出的算法进行了验证.实验结果表明,所提出的检索算法在检索质量和检索效率上要优于其他方法.     

UML类图元模型基于描述逻辑的表示及验证

UML类图元模型采用非形式化的表示,无法对其结构语义进行严格的描述,因此提出一种UML类图元模型基于描述逻辑表示及验证的方法.在对UML类图元模型进行分析的基础上,构建了UML类图元模型基于描述逻辑SHOIN(D)的约束规则集,并验证了UML类图元模型与其构建模型间的一致性.     

基于Web服务的移动Agent平台架构研究

随着Web服务和Agent技术的发展,使构建基于移动Agent计算模型和Web服务计算模型的移动Agent平台成为可能.提出了一种以Web服务为部署形式,利用SOAP/HTTP消息机制进行通信的Agent平台架构.此Agent平台构建在Web服务容器中,为Agent提供了一个轻量级的运行环境,同时也为现有的Web服务容器增加了Agent功能.     

基于UML的教学管理系统分析与设计

针对高校教学管理系统软件项目开发需求 ,基于UML建立了主要的系统静态结构模型与动态行为模型 .对与新学期的课程选课注册管理与学生成绩管理两项工作给出详尽的分析和设计 ,如系统边界、活动者、UseCase、对象类图、用户接口及数据库模型 .依据校园网 ,给出分布式系统客户 /服务器结构的组件图及配置图     

一种验证Web应用设计的方法

提出一种表示Web应用的请求/响应导航关系的形式化行为模型,给出一种基于模型检查的Web应用设计的验证方法并描述了用时态逻辑CTL表示Web应用性质的方法.设计了一个检验方法可行性的原型框架,该原型嵌入自动化模型检查工具NuSMV,提供从UML设计模型到形式化模型的自动转换,在将用户输入的性质和形式化模型合并为NuSMV程序后,运行NuSMV进行自动化验证.     

基于UML和XML的工艺族信息模型表达方法

随着大规模定制模式的发展与应用,对产品族的研究从设计逐步延伸到制造,针对工艺族的建模提出了基于UML和XML的对工艺族信息模型表达的方法.首先通过对工艺平台及工艺族的介绍,明确了工艺族的元素实体及实体间的相互关系;而后基于面向对象的思想,采用UML静态关系图对工艺族进行了描述;为了使工艺族模型在工程中得到应用并保证不同系统间工艺族信息的可传递性和共享性,通过UML模型向XML Schema的转换规则,用XML对工艺族模型进行表达.最后以卫星结构板面板机加工艺为例,通过对其机加工艺的分析,建立了面板机加工艺族的UML模型,并采用XML描述了面板机加工艺族的实例.     

一种基于XML/Web Services的分布式数据库同步技术的研究与实现

随着Internet的迅速发展,物理上分布在各地的企业内部应用系统之间的数据库共享和数据的同步越来越重要,结合XML和Web Services技术的各自优点和特点,提出了利用XML和Web Services实现数据库同步的策略,使用Web Services技术为数据库的同步提供了信息传输和互操作平台.     

UML 2．0状态图的XYZ/E时序逻辑语义研究

UML2.0状态图适合于描述软件体系结构中组件内部的动态行为及组件端口的行为,但UML2.0状态图的语义不够精确,使得它的描述结果不利于进行进一步的分析和验证。基于此,本文在定义UML 2.0状态图的语法的基础上,给出了UML 2.0状态图的XYZ/E时序逻辑语义,为使用UML 2.0状态图与XYZ/E相结合的方式来描述软件体系结构中组件内部的动态行为及组件端口的行为奠定了基础。