Considering the dataflowdescription 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 dataflow diagram model is put forward.
Thesis on system design goals, data structure, dataflow and the main characteristics of the system description is given, and focuses more ideas and methods on the system function.