UML Statechart图中数据流的语义及验证

由于UML Statechart图缺乏精确的数据流语义,因而难以对UML Statechart图建模的工作流的数据流进行正确性验证．首先,UML Statechart图是基于状态转换的,为此选择标记转换系统（LTS）作为语义域,并用结构化操作语义（sos）分两步定义了UML Statechart图的数据流语义．然后,采用时序逻辑公式表示数据流所需满足的性质,同时给出了将UML Statechart图模型转化为可达状态迁移图的算法,最后通过模型检测算法验证数据流的正确性．     

统一建模语言在我国政府信息公开系统建设中的应用探析

基于对《中华人民共和国政府信息公开条例》以及相关资料的分析和研究,以计算机软件工程思想和统一建模语言（UML）为技术背号,从技术优势层面和标准化规约层面探讨了统一建模语言（UML）在我国政府信息公开系统建设中应用的可能性,以期为我国政府信息公开系统的建设提供一条新的思路。     

基于UML的高校排课系统的分析与设计

运用基于UML的面向对象分析方法,借助于统一建模语言,使用Rational Rose为建模工具,对高校排课系统进行建模设计,利用表示系统静态特征的UML类图、用例图和描述系统动态行为特征的时序图对其进行了详细描述。     

基于UML的集成化CASE平台的研制

本文主要完成对CASE集成机制的探讨,重点对建模技术、一致性检查成进行研究,并在此基础上开发研制了集成化CASE平台的原型;     

基于UML的高校体育信息管理系统的设计与实现

文章采用文献资料研究法等方法,分析高校体育信息管理现状,阐述高校体育信息化目标,并从系统开发的角度,用UML(Unified Modeling Language)对高校体育信息管理系统进行功能分析与设计,详细描述该系统的模块划分与实现过程,以期为高校体育信息管理提供帮助。     

基于LAMP＋JSP的Web设计与部署模式研究

本文从基于LAMP＋JSP的设计出发,讨论如何使用UML构建Web应用并快速开发系统,以及同步部署基于集群的服务器系统几个方面讨论如何构建一个高可靠性,高效率,安全的WEB网站系统,并给出一个可行的模式．     

面向对象的系统静态和动态建模实现

基于面向对象技术,运用统一建模语言,结合软件工程思想,分析静态和动态的网络教学系统的建模过程。     

基于UML的离散型制造业ERP系统建模研究

对离散型制造业的订单管理及生产过程和功能需求进行了分析,针对离散型制造业的特点,采用统一建模语言(UML)对系统的整体模型进行了详细描述,为软件设计人员之间以及和客户之间的交流铲除障碍,确保后续开发工作的目标明确、思路清晰,从而加速开发的进程。     

软件技术在电子商务实训领域的应用展望

文章论述了电子商务在国内外的发展情况,以及当前软件技术在电子商务教学领域的应用概况和现有软件的某些缺陷,提出了软件技术在电子商务教学应用中的UML建模改进方案,对我国电子商务教学软件的发展前景进行了预估。     

基于UML的动态电子商务系统建模研究

分析电子商务系统内涵及其与ERP系统的关系,阐述B2B模式企业电子商务系统CRM、SCM等业务流程,构建制造企业电子商务系统模型,研究利用扩充UML元模型定义企业建模方法。采用UML相应方法建立企业的电子商务系统工作流视图、功能视图和资源视图。以一个钢铁集团公司电子商务系统为例,建立一个典型的流程型制造企业的企业模型,提出相应的应用软件框架,实现动态企业建模在电子商务系统生产管理中的应用。