1) HLIR High Level Interface Request
高级接口请求
2) Initiate request port
主动请求接口
1.
Introduced the initiate request port and internal connection into the model,and then presented a set of rules and arithmetic to verify the behavioral consistency.
为了保证构件在动态演化时的行为一致性,提出了一种基于进程代数的构件模型,形式化描述了构件及其对外交互协议,引入了对外主动请求接口和内部连接,并给出了行为一致性验证的规则和相关定理;然后给出了验证算法;最后,通过一个构件化系统的实例来说明所提出方法的可行性。
3) Advanced Sockets API
高级套接口
1.
Study and Implementation of Advanced Sockets API for IPv6;
Ipv6高级套接口的研究和实现
4) primary request
初级请求
5) secondary request
次级请求
6) JSR-226 API
Java规范请求-226应用接口
补充资料:主动
①不靠外力促进而自动:主动关心同学。②能够由自己把握:争取主动。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条