1) formal tool
形式化工具
1.
It must depend on formal tool which helps to check the validity of service combination.
在目前对于服务组合的研究中,对于用业务流程执行语言(BPEL)和WSCL等标准语言来描述的服务来说,语言本身缺乏对组合正确性进行检验的支持,必须借助相关的形式化工具来完成对服务组合的检验。
2) Formal methods tool
形式化方法工具
1.
Formal methods tools are typically developed and used in UNIX/Linux system,and the difficulties in the use of the tools prevent the formal methods from being more popularized.
形式化方法工具通常是在UNIX/Linux系统下设计开发的,难于使用阻碍了形式化方法的进一步推广。
3) formal logos
形式(工具)理性
4) GUI Aided Management Tool
图形化辅助工具
6) Format transformation tool
格式转化工具
补充资料：公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条