1.1.6 编程模型

可编程控制器程序编制语言包括以下元素：

数据类型

变量

程序组织单元

功能

功能块

程序

配置元素

全局变量

资源

访问路径

任务

另外，图形化编程语言顺序功能图（SFC）还拥有一些特有的元素。

这些元素的组合必须遵循以下原则：

● 派生数据类型必须基于标准数据类型或者已定义的派生类型。

● 派生功能可以利用标准或派生数据类型、标准功能和已定义派生功能。派生功能的声明必须使用指令表、梯形图、功能块图、结构化文本编程语言中规定的机制。

● 派生的功能块可以使用标准或派生的数据类型和功能、标准功能块或已定义派生功能块。派生功能块的声明必须使用指令表、梯形图、功能块图或结构化文本编程语言中规定的机制，并且可以包含顺序功能图元素。

● 程序可以使用标准或派生的数据类型、功能和功能块。程序的声明必须使用指令表、梯形图、功能块图或结构化文本编程语言中规定的机制，并且可以包含顺序功能图元素。

● 程序可以通过全局变量、资源、任务和访问路径这些元素整合到配置中。

上述原则中的“已定义派生数据类型、功能和功能块”意味着一旦一个派生元素被声明，它就可以以派生元素库的方式被用于更进一步的派生。因此，一个派生元素的声明中不允许包含另外一个派生元素的声明，即一次只声明一个派生类型。