功能块 第2部分：软件工具要求 GBT 19769.2-2015.pdf

GB/T19769.2-2015/1EC61499-2:2005件工具供应商定义。4.2库元素的交换一个软件工具应具有同其他软件工具交换其库元素的能力。该交换的表现形式为按照附录A所定义的格式将数据写到物理媒体或者通过通信链路或网络进行交换。4.3由库元素供应商提供的信息注：本条规定的意图是提供一种方法，同时，当牢元素的提供者提供足够信息允许库元素的有效使用时，能够得到知识产权的保护。库元素提供者可选择提供其库元素的实现。示例1：功能块类型库元素的提供者可提供该功能块类型的实现方法，如：一按GB/T19769.4规定，在一个C心ass0或更高的设备所含的资源中一个或多个该功能块类型的实例：一按GB/T19769.4的规定，在一个Cass1或更高的设备所含的资源中该功能块类型的实例化实现，一按GB/T19769.4的规定，在一个Css2设备所含的资源中，一个具有适合于安装的与实现相关的格式的文件，例如使用符合GB/T19769.4的兼容性行规中定义的XML语法。当一个库元素的实现被提供的时候，不要求提供者提供整个实现细节。然而，提供者应提供足够的信息，使用户能够完全确定所提供的库元素的功能性。示例2：以上要求由资源的功能块类型实例的提供者通过相应的规定来满足，至少应包含以下信息：一功能块类型库元素按照GB/T19769.1中5.2.1的定义规定其事件和数据接口，按照GB/T19769.1中6.1.3的定义规定其服务一表示功能块实例的生成和连接的资源类型和设备类型库元素，4.4声明的显示软件工具应具有以适用于工程任务的形式显示与之相关的库元素声明的能力。该显示可采用GB/T19769.1中定义的图形或文本形式，或软件工具供应商定义的格式，注：库元素的声明可定义其接口（事件与数据的输入和输出）和内部变量，以及它的算法及其执行控制，例如通过一个执行控制图表(ECC)等，4.5声明的修改软件工具应使它的用户能够修改其相关库元素的声明以适合于特定的工程任务。这些修改可包括添加、删除或改变声明的内容，并可以图形、文本，或两者兼有的方式来执行。4.6声明的验证如果其相关的工程任务有要求，软件工具应为其相关库元素的声明的验证提供能力。这些能力可包括，但并不仅限于：一检查声明语法的正确性：一检查声明语义的正确性，例如，检查在应用和它相关的子应用中是否所有的功能块实例被正确地分配给资源，是否在资源内被正确地互连，是否在系统配置中的资源间能正确地相互通信：一或者通过其自身，或者结合其他相同或不同的类型实例，对库元素类型实例的操作的仿真和测试。4.7声明的实现如果其相关的工程任务有要求，软件工具应为其相关库元素的声明的实现提供能力。这些能力可包括，但并不仅限于：2