SA12基于体系结构的软件开发详解.ppt

* ◇ 基本结构的表示 如果一个位置描述一个条件，当一个标记在这个位置中时，条件为真；否则，为假。 一个Petri网模型的动态行为是由其实施规则规定的。如果一个变迁的所有输入位置至少包含一个标记，那么这个变迁可能实施。 第12章 基于体系结构的软件开发 12.6 基于体系结构的软件过程 * ◇ 基本结构的表示 在软件过程的定义中, 主要有顺序、与汇合、或汇合、与分支、或分支和迭代等六种基本结构。 第12章 基于体系结构的软件开发 12.6 基于体系结构的软件过程 * ◇ 基本结构的表示 ◎顺序：过程1、过程2 和过程3顺序执行。 第12章 基于体系结构的软件开发 12.6 基于体系结构的软件过程 * ◇ 基本结构的表示 ◎与汇合: 表示该连接件左边的所有事件都完成后,右边的事件才可以发生。 第12章 基于体系结构的软件开发 12.6 基于体系结构的软件过程 * ◇ 基本结构的表示 ◎或汇合: 表示该连接件左边的任一事件完成后, 右边的事件就可以发生。 第12章 基于体系结构的软件开发 12.6 基于体系结构的软件过程 * ◇ 基本结构的表示 ◎与分支: 表示该连接件左边的过程完成后，右边的过程均满足启动条件, 即表示并行过程。 第12章 基于体系结构的软件开发 12.6 基于体系结构的软件过程 * ◇ 基本结构的表