1) colloquial form
口语化形式
2) interface formlism
接口形式化
3) Sprechübungsformen
口语练习形式
5) formal language
形式化语言
1.
In the light of the characteristic of chemical science this paper the describes the constitution of the types of chemical science language, which are the natural language, the professional mark language and the formal language, and discusses the inter-relationship and functions of these languages in the development of chemical science.
本文以化学科学的特征,论述了构成化学科学语言的类型有自然语言、专业符号语言及形式化语言,并阐述了几种语言类型的相互关系及其在化学科学理论发展中的作用。
2.
However,the formal specifications written by formal languages are not easy to read and understand,and there is still not an effective tool for the automatic testing based on formal specifications.
鉴于此,提出一种新的方法将支持面向对象开发的形式化语言所描述的软件规范自动地转化为系统级状态机,从而改善其可读性与可理解性。
3.
A classfication and a system model of formal analyses is given,and three classes of formal analysis methods(based on reasoning,based on attack,based on proof)and formal languages used in formal analyses are commented in details.
综述目前安全协议形式化分析的理论与方法 ,包括安全协议的分类与模型 ,安全协议形式化分析的 3种典型方法 (基于推理的结构性方法 ,基于攻击的结构性方法 ,基于证明的结构性方法 ) ,安全协议分析的形式化语言 ,安全协议设计的形式化方法 ,以及安全协议形式化分析面临的挑
6) formal semantics
形式化语义
1.
It discribes the weaving process between aspects and core components, as well as the weaving process between aspects themselves in statecharts, and then uses the formal semantics of process algebra to describe extended statecharts.
本文利用UML的扩展机制将方面加入状态图中,描述了状态图中的方面与核心组件以及方面之间的编织,然后利用进程代数的形式化语义描述了扩展后的UML状态图,克服了扩展UML描述状态图的缺乏形式化动态语义,不利于对模型进行形式化验证和证明的缺点。
2.
However,UML does not have a formal semantics,so it could not fulfill the needs of the protocol in precise.
但是,UML缺乏形式化语义,因此不能满足协议精确性的要求。
3.
0 sequence diagram and state diagram,the formal semantics of UML 2.
0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML2。
补充资料：标准化形式
标准化形式
forms of standardization
b旧DZhunhua xi叩shi标准化形式(肠砒of幽田山记ization)标准化内容的存在方式，也是标准化过程的表现形态。最初的标准化活动内容比较单一，就是制定标准和实施标准。随着标准化活动领域的扩大，标准化内容也相应得到发展。中国标准化工作者在借鉴国外经验、总结自己的实践经验的基础上，不断地探索适合中国企业实际的标准化形式。20世纪犯年代初，中国一批企业在产品设计工作中运用通用化、系列化的新形式取得了成功。1955年3月中国第一机械工业部在北京召开第一次全国性的标准化经验交流座谈会。会上介绍了沈阳水泵厂等企业开展标准化、系列化、通用化(简称“三化”)的经验。从此以后“三化”成为标准化的内容，在各行各业广泛推广，取得了可喜的成效。到20世纪70年代以后，又产生了组合化;如年代初出现模块化。到20世纪末，连同古老的简化和统一化，再加上通用化、系列化、组合化、模块化，标准化走出了单一模式的狭小天地，发展成为具有多种形式的工作体系。 标准化的形式是由标准化的内容决定的，不同的形式表现不同的标准化内容，针对不同的标准化任务，达到不同的目的。随着标准化活动领域的扩展，标准化内容以及相应的标准化形式也将随之发展和变化。但标准化的形式又有其相对的独立性和自身的继承性，并反作用于内容，影响内容。标准化过程是标准化的内容和形式的辩证统一过程。研究各种标准化形式及其特点，不仅便于在实际工作中根据不同的标准化任务，选择和运用适宜的标准化形式，达到即定的目标，而且能够根据标准化内容的发展和客观的需要，及时地创造新形式，取代旧形式，为标准化的进一步发展开辟道路。(李春田)
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条