北京邮电大学形式语言与自动机 自动机的典型应用.pptVIP

fall 2001 有限自动机典型应用 词法分析与语法分析工具 - Lex 与 Yacc 有限自动机在UML中 的应用 动态建模 状态图、序列图(顺序图) 协作图及活动图 系统的动态行为 系统中的对象是如何进行通信？ 通信的结果如何？ 对象通过通信来协作的方式以及系统中的对象在系统的生命周期中改变状态的方式是系统的动态行为 动态建模 一组对象为了实现一些功能而进行通信称之为交互，并通过三类图来描述交互：序列图、协作图和活动图 即描述系统中的对象在执行期间，不同的时间点是如何动态交互的 对象之间的交互：消息 两个对象之间的交互表现为：一个对象发送一个消息给另一个对象 通常情况下，当一个对象调用另一个对象中的操作时，消息是通过一个简单的操作调用来实现；当操作执行完成时，控制和执行结果返回给调用者 在所有动态图中消息是作为对象间的一种通信方式来表示的 状态图 状态图是对单个类的对象的生命周期进行建模，描述了对象的动态行为，每个对象被认为是事件驱动的孤立实体。 状态图是由状态和迁移组成的图，通常状态机附属于类，描述类实例对接受事件的响应。 状态描述对象生命周期的一段时间，可以是等待其它事件时所处的时间，或是执行某一活动时所处的时间，状态分为简单状态和复合状态。 对象动态特性 动态性表现在两个方面：交互和内部状态改变 交互描述对象的外部行为，以及对象如何与其它对象