Considering the data flow description in protocol security testing, mutation analysis is introduced based on constructed type algebra, and a new protocol security testing method is proposed.
针对协议安全测试中数据流的描述问题，在构造类别代数的基础上引入变异分析，由此提出了一种协议安全测试方法。
In order to resolve the service description problem of service composition, a service description method including mainly a (input-output) interface model and a data flow diagram model is put forward.
为了解决服务合成中的服务描述这一关键问题，提出了一种基于输入输出接口模型和数据流图模型的服务描述方法。
Thesis on system design goals, data structure, data flow and the main characteristics of the system description is given, and focuses more ideas and methods on the system function.
论文中对系统的设计目标，数据结构，数据流程和系统的主要特点等给出了描述，并重点介绍了系统功能模块的详细思路和实现方法。
应用推荐