详细设计的结果也可以用语言来描述,程序设计语言就是一个典型的代表,它是一种非形式的比较灵活的语言,它用于描述模块内部的具体算法,以便在开发人员之间比较精确地进行交流。
PDL的特点:
语法是开放式的,其外层语法是确定的,而内层语法则故意不确定。外层语法描述控制结构,它用类似于一般编程语言控制结构的关键字(如 IF—THEN —ELSE、WHILE—DO、REPEAT—UNTIL等)表示,所以是确定的,内层语法描述具体操作,考虑到不同软件系统的实际操作种类繁多,内层语法故意不确定,它可以按系统的具体情况和不同的设计层次灵活选用,实际上任意英语语句都可用来描述所需的具体操作。
例如,在PDL 描述
if X is not negative
then
return(square root of X as a real number);
else
return(square root of -X as an imaginary number);
中,外层语法 IF—THEN —ELSE是确定的,内层操作“square root of X”是不确定的。
PDL的总体结构同一般程序相同,它也包括注释部分、数据说明部分和过程部分;其内层则可以是任意的英语语句。PDL仅仅是对算法的一种描述,它是不可执行的。