合成状态图中非预期状态转换路径的确认

利用Scenario进行需求建模能够反映从用户角度观察到的系统行为,而利用状态图能够从对象角度对系统行为进行精确描述.从Scenario到状态图的自动转换指软件开发过程中,从UML需求模型自动生成行为模型的过程.在分析已有的自动转换算法存在的不足的基础上,提出了从语法角度出发,对用例进行分析,提取合适的状态向量;利用在算法中增加Scenario的相关信息,确定非预期状态转换路径.     

UML状态图切片系统的设计与实现

UMI．状态图切片系统是一个基于C＋＋程序UML状态图的切片生成系统。系统生成的LrML状态图切片可应用于C＋＋程序的测试、回归测试、排错、维护等方面。文章主要介绍UML状态图切片系统的设计思想、系统的结构、工作原理以及系统实现的重要技术细节。     

一种从UML类图和协作图到状态图的转换方法

统一建模语言(unified modeling language,UML)状态图是基于UML开发的软件设计模型的重要组成部分,它描述了一个对象所处的可能状态以及状态之间的转换。对一种生成状态图的方法进行了改进,以类图和协作图为基础,创建单个对象的状态图,对系统中单个对象的状态图进行集成生成整个系统的状态图。结果表明,生成的状态图具有较高的结构化和可读性。     

UML状态机的形式语义

许多大型系统在进行分析和设计时,均采用UML作为需求描述语言,尤其是一些对安全性要求较高的系统,更是广泛采用UML的动态行为描述机制--状态机来描述协议及控制机制.但是,由于UML没有形式化的动态语义,不利于对其所描述的需求进行形式化验证和证明.为了解决这一问题,采用以下方法为UML状态机构建形式语义.把UML状态机中的状态映射到一种项代数上,用归纳的状态项表示状态机的状态.然后,把状态项映射到一种加标记的变迁系统LTS上,LTS-状态是状态机的状态项,LTS-变迁是UML状态机的微步.最后,用Plotk     

一种基于CSP的面向方面状态图形式化描述方法

面向方面通过分离关注点解决软件系统中的横切问题,通过扩展UML可实现对面向方面的建模。本文利用UML的扩展机制将方面加入状态图中,描述了状态图中的方面与核心组件以及方面之间的编织,然后利用进程代数的形式化语义描述了扩展后的UML状态图,克服了扩展UML描述状态图的缺乏形式化动态语义,不利于对模型进行形式化验证和证明的缺
点。最后,以ATM自动取款机为例验证了基于CSP的面向方面状态图形式化描述的有效性。     

一种基于UML状态图的面向对象类级测试模型

扩展有限状态机（EFSM）因其具有对系统控制特征（即系统的状态）和数据特征的平面结构描述,而有利于对软件的测试。然而对一个较复杂的类直接建立EFSM图比较困难。将两种工具的优势相结合,提出了一种UML状态图转为扩展有限状态机的方法,使之能采用传统的测试疗法对类进行状态覆盖和数据流覆盖。     

A Practical Approach to Object-oriented State Modeling

A widely accepted approach in object-oriented methods is the early decomposition of the state-dependent behavior of the system between its objects and specifying it at the object or class level. In the flexible state modeling approach presented in this paper, analysis avoids strong mapping of statecharts to objects. The state-dependent behavior of the system is specified by a number of statecharts that can be at different levels of abstraction and detail. A statechart can be associated with a class or an object, but can also be of more ‘floating nature’, capturing aspects of the behavior that cut across objects and classes. Later in design, statecharts are refined by recognizing the two dimensions of how statecharts are integrated with objects, namely type (active or passive) and scope (shared, per class or per object). These are first illustrated by general examples and later by more specific examples. Pieces of source code are also provided to clarify some aspects. The flexible state modeling approach is more practical than the common approach because it enables a comprehensible specification of the state-dependent behavior without requiring object interactions to be specified for the purpose of accessing state information. ©1997 by John Wiley & Sons, Ltd.     

Manufacturing system modeling and performance evaluation based on improved stochastic statechart

Stochastic statecharts are widely used in modeling systems. Considering that the comparability between different subsystems can streamline the modeling process, a stochastic statechart is improved by using the abstract sub-system and general system chart to express the comparability and integrity of a stochastic statechart respectively. Per formance data can be obtained by using a continuous-time Markov chain, which is transformed from a manufacturing system model described by the improved stochastic statechart. The case study shows that the improved stochastic statechart can effectively simplify the modeling and performance evaluation process and the results are useful to the configuration and optimization of a manufacturing system. __________ Translated from Journal of Beijing University of Technology, 2006, 32(8): 693–698 [译自: 北京工业大学学报]     

UML Statechart Diagrams on the ADONIS Metamodeling Platform

The metamodeling platform ADONIS has originally been implemented for the use in business process management. Its method independency and extensive customization functionalities also allow for the application in many different other areas such as strategic management, e-learning, object-oriented systems engineering, knowledge management, and numerous others. In computer science the Unified Modeling Language (UML) is the dominating standard for describing systems and behaviours. In this article it is shown how the abstract and concrete syntax of UML statechart diagrams can be described by the use of the metamodeling concepts of ADONIS.     

基于MDA的UML模型转换技术——从顺序图到状态图

为了实现不同中间件平台之间的集成和互操作,OMG提出了一个标准的基于模型的体系结构:MDA。MDA将应用模型划分成与平台无关的模型(PIM)和与平台有关的模型(PSM),并定义了PIM和PSM之间的4种映射关系。该文主要对PIM到PIM之间的映射进行了研究。该映射实质上是PIM模型的精化,其主要方面是分析模型和设计模型之间的转换。MDA使用UML来描述各种模型。UML是一种可视化的通用的面向对象的建模语言。UML顺序图主要用于需求分析,而状态图在系统设计阶段起重要作用。该文介绍了一种从UML顺序图中合成状态图的方法,合成的过程基本上是自动完成的,只需要很少的用户交互,从而为PIM模型的精化提供有力的支持。