1) unconventional function
非规约性功能
2) non-functional constraints
非功能性约束
1.
Especially,we set up a timer using time Petri net to model and analysis the non-functional constraints of SECOM,which satisfies the real-time requirement of embedded component software.
同时,利用时间Petri网TPN建立一个TPN计时器timer,对该组件模型SECOM非功能性约束中的实时性进行建模与分析,形式化地验证了该组件的实时性。
3) functional specification
功能规约
6) non-functional attribute
非功能属性
1.
However,current researches pay more attention to some specific non-functional attributes,lacking general matchmaking approach.
Web服务的非功能属性匹配对增强Web服务发现的准确性,保证Web服务调用质量具有重要作用。
2.
, what the system can do, but also the description of non-functional attributes, i.
一个高质量的模型不仅要包含系统的功能属性,即系统能够做什么,同时还应包含系统的非功能属性,即系统的质量如何。
补充资料：功能规约
功能规约
functional specification
gongn6ng gU}yU6功能规约《hmdionals，改ification)软件所要完成功能的准确而完整的陈述。它描述的是软件要做什么以及只做什么。书写功能规约的语言称为功能规约语盲，它可以是自然语言，相应的规约称为非形式化功能规约;也可以是专门设计的形式功能规约语言或广谱语官，相应的规约称为形式功能规约。功能规约一方面作为软件开发者与用户之间的契约，另一方面又是软件设计与实现者的依据。 一个好的功能规约必须逻辑上不矛盾，即满足一致性;它应当正确、完整地反映用户对软件的功能需求，即满足正确性或完备性;它不应当产生多种不同的理解，即没有歧义性;它还应当简明，易于理解，易于实现等。 在软件设计前先写出它的功能规约体现了功能抽象和分解的基本原则。通常，一个功能规约将软件所要做的事从软件开发的角度分成若干个相对独立的功能块，而功能块的划分应既考虑到逻辑清晰性，又考虑实现的方便性。每一块都通过描述对于给定的榆入应得到的输出给出这一块“做什么”的陈述，而具体“如何做”在规约中一般不给出，软件设计者可根据功能块的要求自行选择实现方法。在依据规约设计、实现程序之前，要对规约的有效性进行检查，即检查规约的一致性、完备性和无歧义性。而检查一个程序是否满足它的规约的工作称为程序正确性验证。 非形式化功能规约易读，但有效性和程序正确性的检查困难，在简明性和易实现性等方面也不易保证。对具有一定数学基础的人来说，形式功能规约有许多优越性(参见形式功能规约)。 (伊波)
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条