说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 基于场景的规约
1)  scenario-based specification
基于场景的规约
1.
This paper purposes a scenario-based analysis and verification approach for the Web Services message flow,in which UML Sequence Diagrams are used to specify scenario-based specifications and WS-BPEL is used to describe Web Services designs.
采用UML顺序图构成基于场景的规约、WS-BPEL作为Web服务的描述语言,提出了一种面向基于场景规约对Web服务消息流进行分析与验证的方法:首先,对WS-BPEL消息流进行分析并将其自动抽象为基于Petri网的模型;同时,为了缩小状态空间、提高验证效率,在不影响消息交互顺序的前提下,对WS-BPEL源码和基于Petri网的模型分别进行化简,即面向基于场景规约将与验证无关的活动和元素删除;最后,通过遍历基于Petri网的模型以验证WS-BPEL消息流与基于场景的规约之间的一致性(消息交互顺序的存在/强制一致性)。
2)  scenario-based specifications
场景规约
3)  scenario-based design
基于场景的设计
4)  Specifica tion-based test
基于规约的测试
5)  Scene-based
基于场景
1.
Research on Scene-based Non-uniformity Correction of Infrared Focal Plane Array;
基于场景的红外焦平面阵列非均匀性校正研究
2.
The Research of Scene-based Non-uniformity Correction for Infrared Detector;
基于场景的红外探测器非均匀校正算法研究
6)  scenario-based consistency checking
基于场景的一致性分析
补充资料:场景
1.指戏剧﹑电影等艺术作品中的场面。 2.泛指情景。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条