GB/T20719的本部分通过使用GB/T20719的语言中编写的一组定义提供了该语言的非基本概念的规范。这些定义为GB/T20719本部分的术语提供了语义的公理化。
以下包括在GB/T20719本部分的范围内:
———概念的定义,其使用GB/T20719.13中指定的术语。
以下不在GB/T20719本部分的范围内:
———状态的定义和与时间相关的概念的定义,其只使用GB/T20719.11和GB/T20719.12中指定的术语。
前言 Ⅰ
引言 Ⅱ
1 范围 1
2 规范性引用文件 1
3 术语和定义、缩略语 1
4 GB/T20719总论 4
5 GB/T20719本部分的组织 5
6 强部分有序活动 5
7 活动发生的持续时间约束 9
8 基于状态的持续时间 10
9 基于时间的持续时间 12
10 基于状态和时间的持续时间 14
11 活动发生的次序和持续时间约束 15
12 嵌入的活动发生的次序和持续时间约束 17
13 活动的变质前提 19
14 预定的嵌入约束 21
15 基于持续时间的效应 22
16 基于持续时间和时间的活动的效应 24
17 复杂序列次序关系 26
附录A (规范性附录) 本部分的ASN.1标识符 28
附录B(资料性附录) 使用本部分描述过程的实例 29
附录NA (资料性附录) 本部分英文黑体词的含义 35
参考文献 37
索引 38
