软件工程课程第十章-需求建模(行为建模)

行为模型是系统执行时的动态行为模型。行为模型显示了软件如何对外部事件激励做出响应。每个图通常表示单个类的对象,并跟踪其对象在系统中的不同状态

  1. 状态图的关键要素
  • 一种状态是存在的一种模式或条件。
  • 转换是指从一种状态到另一种状态的变化。
  • 事件是在特定时间值得注意的事件
  1. 要生成模型,分析师必须按照如下步骤进行:
  • 评估所有用例,以保证完全理解系统内的交互顺序;
  • 识别驱动交互顺序的事件,并理解这些事件如何与特定的对象相互关联;
  • 为每个用例生成序列
  • 创建系统状态图绘制
  • 评审行为模型以验证准确性和一致性。

你可以把这些激励分为两种:

1. 有些数据到达后需要系统处理。

2. 事件触发系统处理的事件。事件可能有相关的数据,尽管并非总是如此。

UML状态图是一种行为模型,该图为每个类呈现了主动状态和导致这些主动状态发生变化的事件(触发器)

  1. 一个微波炉的状态图

 

 

  1. 微波炉运行状态图

 

  1. 行为建模顺序绘制
  • 描述消息流、事件、对象之间的操作
  • 显示并发进程和激活
  • 显示在其他图表中不容易描述的时间序列
  1. 顺序图元素:

参与者:在图表中作用的对象或实体

消息:参与者对象之间的通信

序列图中的坐标轴:水平方向:正在行动的对象/参与者;垂直:时间(向下->向前时间)

  1. 需求建模:流模型
  1. 表示数据对象在通过系统时是怎么转换的。
  2. 数据流图(data flow diagram, DFD)使用的图表形式
  3. 许多人认为这是一种“老学校”的方法,但是继续提供了独特的系统视图——它应该被用来补充其他分析模型元素。
  1. DFD标准之间的关系

 

  • 0
    点赞
  • 2
    收藏
    觉得还不错? 一键收藏
  • 1
    评论
《系统工程Petri网-建模验证与应用指南.pdf》是一本关于系统工程领域Petri网建模验证与应用的指南手册。Petri网是一种图形化的数学建模工具,能够表达和分析复杂系统的并发、同步和竞争等关系,被广泛应用于系统工程、自动化控制、计算机科学等领域。 该指南主要涵盖了Petri网的建模方法和技巧、验证和分析方法,以及应用案例等内容。首先介绍了Petri网的基本概念和术语,包括库所、变迁、弧等基本元素的定义和表示方法。然后详细讲解了Petri网的建模过程,包括如何识别系统的关键要素、如何建立Petri网模型以及如何进行模型的分析和验证等。 在建模验证方面,该指南介绍了Petri网的性质和特性,包括有界性、无冲撞性、活性等,并提供了对应的分析方法和工具。同时,还介绍了一些常用的Petri网分析技术,如状态空间分析、死锁检测、性能分析等,以及相应的工具和软件的使用指南。 除了理论知识和方法,该指南还提供了一些实际应用案例,包括工业生产系统、通信网络、交通系统等领域的应用。这些案例旨在帮助读者更好地理解和应用Petri网建模验证方法,以解决实际工程问题。 总的来说,《系统工程Petri网-建模验证与应用指南.pdf》是一本系统而全面的Petri网建模验证与应用的指南手册,为系统工程领域的研究者、工程师和学生提供了宝贵的参考和指导。

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值