释义 |
formal semantics短语¹⁴⁴⁹⁷²⁺² 基本英英例句 形式语义
Noun: the branch of semantics that studies the logical aspects of meaning An approach to modeling dynamic workflows based on the UML activity diagram and the UML state diagram was presented being supported by formal semantics. 该方法在扩展UML的基础上给出了两种建模机制,利用 UML活动图和状态图对动态工作流过程进行建模。 dictall In this paper, based on coalgebra notions, treated a component which implements specifications as a concrete coalgebra and thus reasoned out the formal semantics of these specifications. 为了得到一套完整的形式化模型用于描述软件组件及其组成的系统,首先必须对软件组件的形式化语意进行定义。 xactad |