Functionality Semantics of Predicate Data Flow Diagram

• 谓词数据流图的功能性语义