Scrum 过程
在敏捷软件开发中，Scrum是一种迭代增量式软件开发过程，就像橄榄球赛的争球过程：快速、自组织和有适应性。
Scrum团队角色:
产品负责人（Product Owner）：定义和维护“产品待办事项表（Product Backlog）”，负责最大化产品以及Scrum团队的工作价值，代表利益相关者的利益。
Scrum主管（Scrum Master）:确保Scrum团队遵循Scrum理论、实践和规则，通过指导和引导，使Scrum团队更加高效地创建高质量的产品。 开发团队（Development Team）：负责在每个冲刺（Sprint）结束，交付潜在可发布的“已完成”产品增量。只有开发团队的成员才能交付产品增量。 开发团队:
团队的大小足够小，以保证灵活性，同时应能完成有意义的任务，一般是7±2人。 开发团队有以下几个特点：
员是自组织的，没有人（即使是Scrum主管都不可以）告诉开发团队如何把产品待办事项表变成潜在可发布的功能。
开发团队是跨功能的，团队作为一个整体拥有创造产品增量所需要的全部技能。
Scrum不认可开发团队成员的头衔，无论承担哪种工作他们都是开发者。此规则无一例外。 开发团队中的每个成员可以有特长和专注领域，但是责任归属于整个开发团队。 开发团队不包含如测试或业务分析等负责特定领域的子团队。 Scrum制品:
Scrum软件开发过程产生的制品除可工作的软件外，主要有四种：产品待办事项表、冲刺待办事项表、冲刺燃尽图和发布燃尽图。 产品待办事项表模版
冲刺待办事项表模版
冲刺燃尽图（Sprint Burndown）
Scrum会议由Scrum主管主持。 冲刺计划会 每日站立会 冲刺评审会议
冲刺反思会
与极限编程敏捷软件开发过程相比，Scrum过程强调管理，而极限编程强调实践，两者具有很好的互补性。 冲刺计划会
? 冲刺计划会是为冲刺做准备的会议，主要确定冲刺要做什么和怎么做，时间大概是
几个小时。
? 在这个会议中，开发团队和产品负责人通过共同讨论，理解产品负责人需要什么和
为什么需要，从而由开发团队自己确定本次冲刺应该完成的产品待办事项表中的条目。
? 然后，开发团队针对要在本次冲刺中实现的条目进行计划、分析和设计，并将每个
条目分解成细粒度的任务，形成冲刺待办事项表和冲刺目标。
每日站立会议
要求每个成员都参加，时间不超过15分钟。会上，所有成员必须回答三个问题： 上次站立会议后做了哪些工作？ 遇到了哪些问题？
下次站立会议之前计划做什么？
Scrum主管负责帮助团队解决遇到的问题。
在会后，会有一个或多个并行的会议跟进。跟进会议不要求所有人都参加，主要针对站立会议收集的信息与相关成员作进一步的沟通，此时Scrum主管一般不参加。 冲刺评审会议
对功能性的产品增量进行审视和调整，时间不超过4小时（小时数等于本次冲刺周期的周数）。 在冲刺评审会中，真实用户和产品负责人检验和使用运行起来的软件。 通过开发团队、产品负责人和其他涉众之间的交流，审视产品的进展，并针对问题进行调整。 冲刺反思会
在冲刺评审会之后，针对流程和环境的审视和调整。 每位成员要求对本次冲刺的情况进行回顾，不仅对工作中存在的问题进行反思，而且也要讨论好的工作方式。
每位成员要对其他成员的反思进行评价，表达各自的期望。
有人统计，在行业实际使用的所有敏捷软件开发过程中，极限编程过程占8%，Scrum过程占49%，极限编程和Scrum结合过程占22%，其他敏捷软件开发过程占21%。 精益软件开发 特征驱动软件开发
基于Petri网的软件过程建模:
C.A.Petri 博士在1962 年首次提出了Petri网的概念。 Petri 网是一种用于系统描述和分析的数学工具。
Petri 网通过对实际软件开发过程中的开发活动, 对产品、资源等进行抽象, 从而完成对软件过程的描述, 并进一步支持软件过程的标准化和自动化。
二元组N=(S,T,F)称为有向网的充分必要条件是： 1. S∩T=φ, (二元性) 2. S∪T≠ φ, (非空)
3. F?SxT ∪TxS, （x为笛卡尔积）
4. dom(F) ∪cod(F) = S∪T, （不存在孤立元素） 其中：dom(F)={x|?y: (x,y)∈F}, cod(F)={y|?x: (x,y)∈F}
分别称为F的定义域(domain)和值域(codomain)
S称为N的库所集，通常用圆圈或椭圆表示库所，描述系统状态 T称为N的变迁集，通常用方框或粗杠表示变迁，描述系统事件
F称为N的流关系，通常用箭头表示，描述系统状态和事件之间的关系
通常在Petri 网的图形表示中, 用圆圈( O )表示库所, 矩形( 口) 表示变迁, 黑点(·) 表示托肯( t o k e n )。 Petri网例子 一年四季的变化
状态：春、夏、秋、冬
事件：立春、立夏、立秋、立冬
Petri网系统
Petri网只提供了系统的结构框架，就像演戏的舞台 活动在框架上的是系统中流动的资源
假定有向网N=(S,T,F)，记IN0={0,1,2,…}, IN={1,2,…}, 并以ω表示无穷： ω= ω+1= ω+ ω K:S->IN ∪ {ω}称为N的容量函数
对给定的容量函数K，M:S->IN0称为N的一个标记(Marking)的条件是：?s∈S：M(s)≤K(s) W:F->IN称为N上的权函数，对(x,y) ∈F,W(x,y)=W((x,y))称为(x,y)上的权 六元组∑=(S,T,F,K,W,M0)构成网系统的条件是： 1）N=(S,T,F)构成有向网，称为∑的基网
2）K,W和M0 依次为N的容量函数、权函数和初始标识 Petri网系统变迁发生的条件 假定N是Petri网系统的基网
.x={y|(y，x)∈F}称为x的前集或输入集 x.={z|(x，z)∈F}称为x的后集或输出集
t是N中的变迁， . t. = . t ∪ t.称为t的外延 t在M有发生权的条件是： ?s∈ . t ：M(s)≥W(s,t)∧ ?s∈ t . ：M(s)+W(s,t)≤K(s)
t在M有发生权记作M[t>,也说M授权t发生或t在M授权发生
若M[t>，则t在M可以发生，将标识M改变为M’,对任何s∈ S，M’(s)为： M(s)-W(s,t), 若s∈ . t -t . M(s)+W(s,t), 若s∈ t. - . t
M(s)-W(s,t)+W(t,s), 若s∈ t. - . t M(s),若s? . t.
? 简单有色Petri网的例子哲学家就餐