| 单词 | formal semantics |
| 释义 | 例句释义: 逻辑的语义,形式语义学,形式语意学,形式化语义 1. However, the UML is not a formal language, its lack of rigor and formal semantics prevents it from further developing. 但UML不是形式化的建模语言，缺乏精确的、形式化的语义，因此阻碍了它的进一步发展。 www.ceps.com.tw 2. The modeling method and the models given in IEC 61850 are investigated from the point of view of formal semantics. 文中从形式语义的角度出发，对IEC61850的建模方法和所给出的模型进行了研究。 www.dictall.com 3. When using process algebra to model workflow, we only consider its formal semantics and its control flow. 在用进程代数建模工作流时，只是考虑了模型的形式化语义以及模型中的各种控制流关系。 www.fabiao.net 4. Still, the formal semantics for the hierarchical composition of connectors was defined using CSP notation. 还使用CSP符号给出了层次组合连接器的形式语义。 www.ceps.com.tw 5. The problems above must be resolved from the perspective of formal semantics. 以上问题必须从形式语义的角度解决。 www.fabiao.net 6. Therefore, the formal semantics study for UML can improve the veracity, consistency, and extendibility of the language. 因此，对UML进行形式化语义研究，可以增进该语言的准确性、一致性和可扩展性。 202.119.108.211 7. Therefore, it is a urgent demand for UML to have the formal semantics. 因此，形式化的语义就成了UML的一个迫切需求。 www.fabiao.net 8. An approach to dynamic workflows process modeling based on the UML activity diagram was presented on the basis of formal semantics. 在形式语义的支持下，提出了一种适合动态工作流过程建模的方法。 www.ceps.com.tw 9. By utilizing OWL classification, it can provide additional vocabulary along with formal semantics to describe the XML schema assets. 通过利用OWL分类，它能够提供额外的词汇表和正式的语义来描述XML模型资源。 www.ibm.com 10. An Authentication Logic with Formal Semantics Supporting Synchronization, Revocation, and Recency 形式语义支持同步、撤回和崭新的鉴定逻辑 eleit.stlib.gd.cn 1. A Formal Semantics for Degree of Perseverance of Peers and Its Application 对等实体执著度语义及其应用 www.ilib.cn 2. The formal semantics of programming languages an introduction Glynn 程序设计语言的形式语义 www.is.pku.edu.cn 3. Research on formal semantics of component integration 一种形式化构件集成语义的研究 www.ilib.cn 4. Dan introduces source-level formal semantics for 3 different isolation levels Dan为三种不同的隔离级别引入了源码级的形式化语义 www.infoq.com 5. The Formal Semantics of UML Sequence Diagram Based on Process Algebra 基于进程代数的UML序列图的形式语义 www.ilib.cn 6. A formal semantics of VHDL based on duration calculus 一种基于时段演算的VHDL的形式语义 www.ilib.cn |
| 随便看 |
英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。