The Application of UML Modeling in University Teaching Materials Management System

UML 是当前面向对象分析和设计过程中使用的一种建模语言,是重要的图形化建模工具.UML 能让系统开发者用标准的、易于理解的方式表达出对系统正确、完整的认识,并有利于在开发团队中进行有效地沟通和共享.研究使用UML进行高校教材管理系统的建模,进行软件开发,可以缩短项目开发周期,降低了代码数量,提高了系统的可维护性.     

基于UML的企业资源计划系统建模的研究

统一建模语言(UML)是一种定义良好、易于表达、功能强大且普遍适应的图形化建模语言,已成为事实上的工业标准。它的使用范围不仅限于支持面向对象系统的分析与设计,还支持从需求分析开始的软件开发的全过程。文章通过UML的系统建模方法的研究,阐述了UML应用于流通行业ERP系统的建模过程和建模的关键技术。实践证明:该系统建模方法技术先进,可扩展性、可重用性和适应性强。     

一个支持软件并行工程的过程建模语言

实施软件并行工程是缩短软件开发周期、加快软件开发速度的有效途径。文中讨论了软件并行工程对过程建模语言的要求,给出了一个支持软件并行工程的形式化过程建模语言ＳＤＤＭＬ和基于ＳＤＤＭＬ的过程建模方法。ＳＤＤＭＬ基于Ｐｅｔｒｉ网,具有面向对象的特征,可表示不同抽象级的过程模型,支持逐步求精的过程建模方法,为软件并行工程软件过程的控制、分析、评估和优化奠定了基础。     

基于Petri网的UML形式化建模应用分析

UML是功能强大的图形化建模语言,但存在缺乏精确的语义描述的特点,因此UML形式化研究一直是一个热点.Petri网既有直观的图形表示,又有坚实的数学基础,拥有许多成熟的分析方法可以直接用于分析模型的性能.结合一个图录编纂应用系统,使用基于Petri网的建模方法,对该系统的UML状态图和序列图进行了形式化分析.排除UML模型中的缺陷,在软件设计阶段发现错误,降低软件开发的花销,最终达到提高了软件的质量的目的.     

一种支持MDD的ICES-Modeling建模语言和建模工具

随着模型驱动体系结构的理论和技术的不断发展,模型已成为软件开发的核心元素。因此,支持模型驱动体系结构的建模语言和建模工具成为研究热点。本文提出一种支持模型驱动的软件开发的ICES-Modeling建模语言,该语言融合了现有的建模方法的一些思想,可以有效地描述领域内的概念,概念与概念之间的关系。还针对该建模语言,设计并开发了建模工具,该建模工具具有支持建模语言的定义,方便模型的理解,支持多角度建模等特点。     

一个基于Ada的面向对象建模语言

给出了一个基于Ada的建模语言AML.AML以Ada95为基础,吸取了Ada95的基本原理和思想,利用支持建模的设施对其进行扩充,以便适用于软件建模的各个阶段.AML沿用了Ada95中的程序包概念,并将程序包作为它的核心成份,同时,沿用了Ada95的任务单元和保护单元等设施,以精确描述了软件系统中主动控制成份和资源保护成份的各种特性;AML吸取了图形化面向对象建模语言与建模方法所采用的多视点模型思想,将实体不同侧面的特征分开描述;AML利用一种新的并发模型和限制设施,有效地解决了系统的并发特性和不确定性等非功能特性的描述问题;AML有较强的可扩充性,能应用于各种应用领域.总之,AML是一个既面向用户,面向开发者,又面向系统的通用建模语言,有效地克服了现有一些建模语言在表达能力和应用范围等方面存在的诸多不足.     

基于Petri网的UML形式化建模应用分析

UML是功能强大的图形化建模语言,但存在缺乏精确的语义描述的特点,因此UML形式化研究一直是一个热点。Petri网既有直观的图形表示,又有坚实的数学基础,拥有许多成熟的分析方法可以直接用于分析模型的性能。结合一个图录编纂应用系统,使用基于Petri网的建模方法,对该系统的UML状态图和序列图进行了形式化分析。排除UML模型中的缺陷,在软件设计阶段发现错误,降低软件开发的花销,最终达到提高了软件的质量的目的。     

一种利用UML的Petri网软件实现方法

Petri网既是一种图形化建模工具，又是一种形式化数学工具。Petri网具有对并发、并行、分布、异步系统进行验证仿真的能力。但是，Petri网是用来描述和分析要开发的系统模型的工具。不是计算机的实现工具，必须要通过一定的方法才能将Petri网用软件来实现。由于UML(统一建模语言)具有友善的用户界面，易于编程实现，故提出一种利用UML作为过渡的Petri网软件实现方法。     

从行为树转换到UML状态机来验证系统需求

定义了从行为树到统一建模语言状态机的转换.行为树是一种图形化建模方法,它能够抓取和形式化自然语言描写的需求的系统的动态行为,但是在软件开发过程中,人们更广泛的使用UML状态机.把这两种方法结合到一起提供了一种从自然语言需求到系统可执行模型的道路,这反过来又促进了需求验证和到模型驱动软件开发方法的转变.在Eclipse模型框架下实现了从行为树到统一建模语言状态机的转换,并通过一个安全警报案例研究来表明此方法的可行性.     

基于需求的酒店管理系统的建模与实现

在软件开发过程中,利用建模语言来有效地建立系统模型是对象系统建模方法,结合酒店管理系统的开发,探讨基于需求的系统建模,设计并实现军山酒店客户关系管理系统.实践表明,基于需求的系统建模能够缩短软件开发周期,节约软件开发成本,从而提高软件开发效率.     

Developer-friendly verification of process-based systems

System quality is a key issue in modern systems development. Tool support is essential for checking the system quality efficiently. This is particularly true with respect to the dynamic interactions of the processes within a system. A first generation of checkers – model checkers – provide a basic technology for the verification of process-based systems.Conventional model checkers bear two drawbacks concerning mainly their user-friendliness which impede their broad application. First, model checkers in general do not support the graphical representation of rules (specifications). Although a model may be described with a graphical notation, the specification which has to be checked against the model is generally still text-based. This makes the usage of the checker difficult for process modeling experts. Second, the expressiveness concerning the verification model semantics to be checked is limited to states which are connected by transitions. However, many system development models (e.g. the business process model we use as example) embrace more element types. These are unsupported by the conventional model checkers resulting in a loss of verification precision.The checking system we present in this paper integrates both novelties: the graphical notation for a user-friendly specification and an extended specification language together with a corresponding verifier which supports the checking of many different types of elements (although the paper presents the approach with only two types). The integration is realized by an XML-based transformation system which links the graphical editor to the checking tool.     

一种基于UML的网络安全体系建模分析方法

UML主要采用静态图、用例图、行为图和交互图等图形表示方式,是系统分析中实现可视化、详述和构造、文档化的一种标准通用建模语言。除软件系统模型之外,还可用来描述非软件领域,比如企业机构、业务过程、机械系统,以及用于复杂数据处理的信息系统,应用空间十分广泛。本文将讨论UML在网络安全系统领域中的建模分析方法。     

On modeling context-aware social collaboration processes

Modeling collaboration processes is a challenging task. Existing modeling approaches are not capable of expressing the unpredictable, non-routine nature of human collaboration, which is influenced by the social context of involved collaborators. We propose a modeling approach which considers collaboration processes as the evolution of a network of collaborative documents along with a social network of collaborators. Our modeling approach, accompanied by a graphical notation and formalization, allows to capture the influence of complex social structures formed by collaborators, and therefore facilitates such activities as the discovery of socially coherent teams, social hubs, or unbiased experts. We demonstrate the applicability and expressiveness of our approach and notation, and discuss their strengths and weaknesses.     

Modeling and improving an industrial software process

The paper discusses the problems that a software development organization must address in order to assess and improve its software processes. In particular, the authors are involved in a project aiming at assessing and improving the current practice and the quality manual of the Business Unit Telecommunications for Defense (BUTD) of a large telecommunications company. The paper reports on the usage of formal process modeling languages to detect inconsistencies, ambiguities, incompleteness, and opportunities for improvement of both the software process and its documentation     

Modeling and optimizing large-scale data flows

Modern scientific collaborations require large-scale integration of various processes. Higher-level dataflow languages are used on top of parallel and distributed dataflow systems to enable faster data-intensive workflow programs development, their easier optimization, and more maintainable code. In this paper, we present the rationales, design, and application of the needed advanced support for modeling and optimizing data flows for data mining and integration processes. The optimization research and development is based on dataflow pre-execution modeling and extending the registry of process activities by advanced annotations. Additionally, the overall process from a dynamic model to a static model as input for the optimization algorithms is described. This novel approach is implemented within an advanced graphical user interface, called the Process Designer, in order to support semi-automatic optimization as well as within a dataflow execution platform, called the Gateway. It can be adapted to any dataflow language implementation. The Process Designer architecture based on modern (meta-)modeling concepts naturally supports validated transformations between external textual and internal graphical representations of the targeted dataflow language, and in this way significantly increases the productivity and robustness of the implementation processes.     

A framework for an integrated unified modeling language

The unified modeling language (UML) is one of the most commonly used modeling languages in the software industry. It simplifies the complex process of design by providing a set of graphical notations, which helps express the objectoriented analysis and design of software projects. Although UML is applicable to different types of systems, domains, methods, and processes, it cannot express certain problem domain needs. Therefore, many extensions to UML have been proposed. In this paper, we propose a framework for integrating the UML extensions and then use the framework to propose an integrated unified modeling language-graphical (iUML-g) form. iUML-g integrates the existing UML extensions into one integrated form. This includes an integrated diagram for UML class, sequence, and use case diagrams. The proposed approach is evaluated using a case study. The proposed iUML-g is capable of modeling systems that use different domains.     

BPMN: An introduction to the standard

The Business Process Model and Notation (BPMN) is the de-facto standard for representing in a very expressive graphical way the processes occurring in virtually every kind of organization one can think of, from cuisine recipes to the Nobel Prize assignment process, incident management, e-mail voting systems, travel booking procedures, to name a few. In this work, we give an overview of BPMN and we present what are the links with other well-known machineries such as BPEL and XPDL. We give an assessment of how the OMG's BPMN standard is perceived and used by practitioners in everyday business process modeling chores.     

一类基于IPO的工作流过程建模语言规范分析

在工作流管理系统中,过程模型信息的交换是通过过程建模语言来实现的。不同的过程模型由其专有语言来定义,它们的表达方式可作为选择建模语言的基准。该文首先介绍现已存在的工作流过程建模语言的分类,然后针对其中的一类,着重对两个比较典型的过程定义语言规范进行了分析和比较。