GB T 15535-1995 信息处理 单命中判定表规范.pdf

《GB T 15535-1995 信息处理 单命中判定表规范.pdf》由会员分享，可在线阅读，更多相关《GB T 15535-1995 信息处理 单命中判定表规范.pdf（14页珍藏版）》请在麦多课文档分享上搜索。

1、中华人民共和国国家标准信息处理单命中判定表规范发布实施国家技术监督局发布中华人民共和国国家标准信息处理单命中判定表规范国家技术监督局批准实施本标准等同采用国际标准信息处理单命中判定表规范主题内容与适用范围本标准规定了单命中判定表的基本格式和相关定义并推荐了编制和使用该判定表的约定注本标准与计算机信息系统文件编制中判定表的使用有关与其他用途诸如对程序语句的表示无关多命中判定表的编制及使用格式和约定不属于本标准范畴引用标准数据处理词汇部分基本术语数据处理词汇部分数字计算机程序设计术语下列术语定义适用于本标准判定表一种表该表中应列出解决一个问题时可能发生的各种情况及应采取的相应动作见单命中判定表其任

2、意一组条件只符合一条规则的判定表多命中判定表至少有一组条件可符合于多条规则的判定表见第章注规则由判定表的条件项和动作项部分组成的一个单列它规定了需要满足唯一的一组条件和所要采取的一组相应动作如果所有条件均满足某条规则的条件项则符合该规则规则对于未被判定表中其他规则覆盖的所有条件组合而采取的动作注规则的使用可以任选条件在一个问题的表示中要加以考虑的可能发生事件的描述或者对考虑作为条件部分的其他过程的一次引用动作为求解问题而执行某一操作的描述条件项某一条件与某一具体规则相关性的表示动作项某一动作与某一具体规则相关性的表示条件桩在问题描述中要考虑的所有条件的列表动作桩在问题求解时要执行的所有动作的列

3、表表头从其他文件中引用一判定表的符号名或其他表示方式另外可附以对该表的清晰描述初始段在检验第一个条件之前一个顺序执行的无条件动作的任选表列可写在紧靠表头之后的行中受限项表对所有条件和动作进行完整描述而没有参照规则的判定表见附录补充件例扩展项表对动作和条件仅进行一般的不完整的描述而由规则中定的值来进行详细说明的判定表见附录补充件例混合项表桩中同时包含受限项和扩展项的行的判定表见附录补充件例注实际上术语扩展项表包含受限项因此也是混合项表任何扩展项表均可转换为一受限项表见附录补充件例完整表对所有条件项组合都存在一条可符合的规则的判定表格式判定表判定表的一般表示法如图所示表由两组双线或两条单粗线分成四

4、个部分它将条件部分与动作部分桩与项分开图一般格式注为便于阅读在各条件之间和各动作之间画单细水平线各个规则之间画单细垂直线为便于唯一的引用可任意对判定表的条件动作和规则命名条件项形式规则中的意义应用所述条件取值为真才符合此规则所述条件取值为假才符合此规则受限项正文值或代码正文或值或代码是对规则中尚不完整条件的详细说明条件值满足才符合此规则如果使用代码则在交叉引用注解中描述该代码的意义扩展项所述条件与是否符合该规则无关另一种情况所述条件在本规则的上下文中不可能出现有时可用符合代替加以强调任意类型项注任意二元值符号可用来指明条件值动作项形式规则中的意义应用符合规则时应执行相应的动作受限项正文值或代码

5、正文或值或代码是对规则中尚不完整动作的详细说明符合规则时应执行该动作如果使用代码要在交叉引用注解中描述该代码的意义扩展项符合此规则时则不执行相应的动作其他类型项表元素之间的关系条件各条件间的关系是逻辑与即的关系认为被检验的第一条件之前有例如第一条件第二条件最后条件条件排列的次序可能是重要的如果次序并不重要为了便于阅读则先列出重要的或关键的条件这样的序列可能不同于程序设计中的优选序列动作动作间的执行关系是顺序的如果之后跟随所要执行的第一动作则依次执行第一动作第二动作最后动作动作要按其执行的次序来描述在各规则之间的动作执行顺序不同时需分别描述这些动作以显示这些不同的序列为了避免与扩展项代码相混淆建

6、议不使用顺序号见条除非判定表本身是完整的否则在任一规则中最后执行的动作应指明在何处描述下一过程规则各规则间的关系是逻辑或即的关系判定表中规则间的顺序是无关紧要的但要注意这样的约定如果使用规则为了可读性它通常作为该表的最后规则出现见图判定表之间的关系一个大型和或复杂的问题可用一组判定表来描述这些判定表之间有四类组合关系顺序选择重复嵌套当这些判定表相关时则每一个判定表在逻辑上都应是完整的一个表中的条件测试不依赖于另一表中条件测试的结果这一要求的效果是使相关表的规则之间没有联系但它并没有排除这种惯例一个表中一种条件的测试结果由该表中的一个动作来指示如设一标志以致该指示可以通过后续表中的条件测试来检查

7、顺序关系如果第一个表有一直接后续表这两个判定表就构成顺序关系如图所示依次类推如果第个表是第个表的唯一直接后续表则两个以上的判定表也可构成顺序关系在顺序关系中居前的判定表包含一个动作它提供指向后续表的指针在任何规则中指向后续表的动作应最后执行图判定表的顺序关系选择关系如果第一个表有多个可供选择的直接后续表这些判定表就构成选择关系如图所示在选择关系中居前的表应包含提供指向后续表的指针的动作在任何规则中指向后续表之一的相应动作应最后执行图判定表的选择关系重复关系如果至少有一条规则要对表中的条件进行重复的检验就要重复解释该判定表见图这样一个规则或多个规则要求最后采取的动作应是用指针指向同一判定表图判定

8、表的重复关系嵌套关系当完全解释一个表时需要检验另一个表中的一个条件见图或执行表中的一个动作见图则这两个判定表具有嵌套关系这种关系的定义如同嵌套子程序的定义一样见嵌套表要求在有关条件或动作中有适当形式的指针指向被嵌套的表被嵌套的表也须有一个类似指回嵌套表的动作该动作应是被嵌套表中继续该嵌套关系的任何规则的最后动作嵌套表的指针指向如下对一个条件而言是指向最初出口条件因为该条件的测试与被嵌套表的解释结果有关对一个动作而言是指向下一个相关动作图嵌套表出口在条件处注在图中检验表的条件检验之前先执行表然后再检验表中的条件检验图嵌套表出口在动作处关系的组合在必要时关系的任何排列可用来描述问题及其解法图表明了

9、若干组合关系图组合关系图中表有两条规则要求重复该表另外两条规则顺序指向表表有两条规则顺序指向表而另两条规则指向表表和表分别与表有嵌套关系以便对一个条件求值可以从表获得的选择是如下之一重复表顺序指向表表并嵌套表顺序指向表表并嵌套表判定表的解释纵向方法通过确定某个具体情况然后将其同每一条规则依次进行比较来找出所符合的规则所需的步骤是对该具体情况检验所有的条件并确定它们的值依次将这些值与每条规则进行比较直到找到唯一一组恒等的值为止然后按顺序执行该规则规定的所有动作对于该具体情况如果没有符合所有规则的条件值则应顺序执行规则规定的所有动作横向方法通过依次检验每个条件来确定所符合的规则所需的步骤是检验第一

10、个条件排除所有不符合这一条件检验结果的规则检验下一个与剩余规则相关的条件并且不考虑任何仅带有条件项见条的剩余条件重复和项直到检验或排除了所有条件可能找到满足于所有条件检验结果的某一规则或者如果再没有剩余规则则可用规则无论哪种情况对于那条规则所规定的动作均要依次执行完整性按照定义见条上述两种解释方法的任一种都必须产生一条且只有一条所符合的规则如果表中含有规则按照定义见条则它不适用于符合一条确定规则的某一情况任何包含规则的判定表总是完整的实际上规则是一缺省规则对规则的使用要慎重因为它代替了导致错误而被省略的规则如果一个判定表不包含规则则所有逻辑上可能出现的条件排列都应规定对这样一个表的编制要更加仔

11、细使所有的排列都被覆盖完整性的验证是编制判定表的一个基本部分附录编制建议补充件构造条件项最初起草判定表时建议在作任何压缩表的工作前要列出条件项的完整排列以确保条件的组合不被遗漏任何表的全部规则数目总是每一条件项允许值数目的乘积例一个表有三种条件对这些项条件有两个值条件有三个值条件有四个值全部规则数目因此构造项的一般过程如下步骤全部规则数目除以第一条件项允许值数目于是得到这些值中每一个所需相邻规则的数目步骤从步骤获得的商数除以下一条件项的值的数目得出每个值的相邻规则的数目步骤继续用相继的条件值的数目除以每个相继的商数最后商数为例扩展项表有三个条件条件有两个值条件有三个值条件有四个值全部规则数目条

12、件每个值的规则数即个个条件每个值的规则数即个个个条件每个值的规则数即每个值有个因此条件项的完整排列如下条件条件条件注这种方法对大型的表是很麻烦的需寻求其他保证完整性的方法表的分隔对某些类型的问题来说条件的数目可能使得规则的数目相当大由于无法画在一张纸上使得表很难阅读建议在某一逻辑界面上将这种表进行分隔并用合适的顺序或选择见条来安排以产生两个或多个表例条件条件条件处理表处理表一种分隔方法如下仅根据第一条件项的一个值构造一个判定表对该条件项每一其他允许值给出一条规则在这些规则中对相继的条件项插入符号并给出一个引用后续表的单一动作表的简化扩展项表或混合项表只能通过检查来简化这是一项十分困难的工作如果

13、下面叙述的指定要求得到满足就可对受限项表加以简化任意两条规则可以合并当且仅当它们包含了完全相同的动作组合和顺序它们的条件项仅有一行不同在合并的规则中和由符号代替按上面的过程合并一对先前已合并的规则也是可能的但要注意一条规则的条件项中的符号与另一条规则的或并不具有相同的含义例完整表条件条件条件动作动作动作动作在这个表中前四条规则可以合并第五条规则有同样的动作但不能合并第七条和第八条规则也可以合并简化表条件条件条件动作动作动作动作注意对许多表来说有可能由于出现相互排斥的条件而要压缩表的规模在下面所示的例子中很明显地可以将两种条件进行合并规则计数检查如所述任一表中规则的总数是每个条件允许值数目的乘积

14、实际上可用下列步骤检查表的完整性将每一条简单规则即不包含符号的规则计数为对包含符号的每一条规则计数是其各因子的乘积如果某一条件有一个特定值则因子是如果使用了破折号则因子是由破折号表示的可选值的数目计数数目相加得到完整表中全部规则的总数并将它与预计数进行比较在使用规则时检查规则计数较难所含的规则数目要通过仔细检验才能得出例从附录补充件例所示的表中可获得下列计数因此简单规则的总数就是附录几种判定表的例子补充件例受限项判定表表控制变动还有记录吗同前一雇员吗同前一科吗同前一部吗合并记录打印雇员详细情况更改科总数打印科总数更改部总数清除科总数打印部总数更改总数清除部总数打印新标题处理表处理表停止例扩展项

15、判定表表演绎分析分级演绎代码置演绎值处理表例扩展项表到受限项表的转换下面的受限项表是一个如何由例所示的扩展项表转换而来的实例注意为了逻辑上的完整性规则已与一附加动作行一起引入表演绎分析分级分级分级分级演绎代码演绎代码演绎代码置演绎置演绎值置演绎值置演绎值置演绎值置演绎值处理表处理表处理表处理表例混合项判定表基本更改表事务文卷结束主输入文卷结束关键比较代码续表基本更改表设立执行更改程序表写文卷读新将移到将移到建立撤消读新置出错代码处理出借程序表处理结束程序表处理基本更改表处理第二更改表使用的代码主文卷输入区中的记录主文卷输出区中的记录事务文卷输入区中的记录保存先行插入记录的指示器修改事务删除事务插入事务附加说明本标准由中华人民共和国电子工业部提出本标准由电子工业部标准化研究所归口本标准由中国标准化与信息分类编码研究所电子工业部标准化研究所负责起草本标准主要起草人冯惠张铭续罗秋科罗韧鸿黄伟敏