信息技术的需求方法研究

现在处于一个信息技术高速发展时期,这些年来单位信息系统逐步建立、升级,给各个生产业务部门带来了助力。随着世界范围内信息技术的广泛应用,生产业务部门人员的IT技能越来越高,对软件系统的使用要求也越来越多。这是一件可喜的事情,说明信息技术创新,助力业务创新,已经有了良好的群众基础。在IT业界,众多的成功或不成功案例都实践证明,一个应用系统最后是否建设成功,80%的因素在于需求分析是否做得好。浅显发地说,也就是:业务部门人员是否把需要实现的软件系统功能都说明白了,没有较大的遗漏;开发人员都理解清楚了,没有较大的偏差。该文就如何做好需求分析工作,进行简要论述。     

基于UML状态图的面向方面软件建模

该文基于UML状态图对缓存并发读写问题进行面向方面的建模,把系统的同步和调度分离出来,建模为方面。该方法有效解决了面向对象中功能和代码混乱的现象,也提高了系统模块的可复用性。     

一种基于UML的实时工作流建模方法研究

实时系统由于其业务对时间要求的特殊性,使得传统工作流技术难以满足其需求.在传统工作流的基础上,针对实时系统提出了实时工作流的概念,并建立了实时工作流元模型.与传统的工作流相比,主要对工作流的时间约束和异常处理进行了考虑.在活动上扩展了启动时间和执行时间,在工作流过程上扩展了执行时间,在并发活动上扩展了并发时间约束等,此外,元模型中还考虑了活动的超时异常以及应用程序和活动之间的执行关系.为了能够利用实时工作流元模型进行实时工作流建模,通过扩展UML定义了一种实时工作流描述语言,并分别从设计要求、定义技术和profile三个方面对实时工作流描述语言进行了阐述,给出了实时工作流的建模规则.最后结合船舶指控系统的具体实例,对建模方法进行了说明.     

基于UML的三维建模系统多方案动画设计

为使用户可以在一个场景中观察某个对象的多个动画,基于统一建模语言技术并采用“整体-局部”方法,给出三维建模系统动画实现过程与所需模块。以关键帧管理为主线,结合面向对象设计方法,给出实现细节的用例分析。对关键帧采用双结点十字链表结构,提供多方案动画调试功能。根据局部功能给出实现类的设计,为进一步代码实现提供依据。     

基于UML的实验室预约管理系统设计

针对高等院校开放性实验管理上的不足,利用SSH框架、UML与SQL Server 2005等软件构建了基于UML的实验预约管理系统。利用JAVA语言与UML技术,实现了实验预约、审核、查询和管理等功能。该系统使实验室的开放管理科学化,仪器设备使用效能最大化。     

基于UML和RUL设计高职院校教务管理系统的研究

随着职业化教育改革的不断推进,高校教务管理工作量大幅度增加,其复杂性也越来越大。这使得高校教务管理工作的信息化和网络化势在必行。与此同时,校园网的建立和Internet技术的引进为建立这样的系统提供了必要的条件。因此,该文针对高职院校的教务管理模式开发基于校园网的教务管理系统。该文使用UML统一建模语言和Rational统一过程对高职学院院校管理系统进行系统设计。在本论文中详细讨论的系统的需求分析,使用UML建模语言分析了管理系统的用例。以用例图为基础,进一步分析系统。使用对象图,协同图等表达系统对象之间的管理。开发系统的过程中,我们针对本系统客户端众多的特点,采用了以B/S模式为主,C/S模式为辅的开发模式。为了得到良好的伸缩性,结合COM+技术,采用三层体系结构开发。     

基于TLA的UML模型形式化验证

统一建模语言(UML)不能直接对所建立模型的正确性进行形式化验证。为解决上述问题,从UML模型的静态结构和动态行为 2个方面分别提出结合行为时序逻辑(TLA)的模型形式化方法,在此基础上提出将UML模型转化为TLA+的形式化描述方法,并用TLC工具形式化检测TLA+描述的正确性。通过实例分析证明了该方法的有效性。     

基于MDA与UML扩展的安全软件开发方法

为提高软件安全性,提出一种基于模型驱动架构(MDA)与统一建模语言(UML)扩展机制的安全软件开发方法。采用UML扩展机制建立系统安全相关的平台无关模型,将软件的安全性分析提前到设计的早期;利用MDA方法进行软件安全属性的建模,降低后期开发的风险与成本。图书管理系统实例验证了该方法的有效性。     

A representation method for performance specifications in UML domain

Performance related problems play a key role in the Software Development Process (SDP). In particular an early integration of performance specifications in the SDP has been recognized during last years as an effective approach to speed up the production of high quality and reliable software. In this context we defined and implemented a technique for automatically evaluating performance aspects of UML software architectures. To achieve this goal the starting UML model of the software architecture under exam has been mapped into a performance domain afterwards analyzed. The performance indices are inserted in the UML model exploiting the OMG Profile for Schedulability, Performance and Time Specification standard. However, to really automate the process, it was mandatory to specify the UML software representation by fixing semantic rules. The goal of this paper is the formalization of the model representation, characterizing the syntax and the semantics through which specifying performance requirements and behaviors into UML models in order to be compliant with the technique we implemented.     

A framework for reviewing domain specific conceptual models

Conceptual models are used in understanding and communicating the domain of interest during analysis phase of system development. As they are used in early phases, errors and omissions may propagate to later phases and may be very costly to correct. This paper proposes a framework for evaluating conceptual models when represented in a domain specific language based on UML constructs. The framework describes the main aspects to be considered when conceptual models are represented in a domain specific language, presents a classification of semantic issues and some evaluation indicators. The indicators can, in principle, identify situations in the models where inconsistencies or incompleteness might occur. Whether these are real concerns might depend on domain semantics, hence these are semantic, not syntactic checks. The use of the proposed review framework is illustrated in the context of two conceptual models in a domain specific notation, KAMA. With reviews based on the framework, it is possible to spot semantic issues which are not noticed by case tools and help the analyst to identify more information about the domain.