...t层次模型#142．3．1@状态(State)#142．3．2@迁移关系(Transition)#162．3．3@ 形式化操作语义 ( Formal Operational Semantics )#20小结#22第3章@UML Statechart测试用例生成方法#233．1@UML Statechart测试方法#233．1．1@UML Statechart层次状态机的故障#2...
基于16个网页-相关网页
本文给出一种形式化操作语义，并概述基于形式化规则的验证技术。
This article introduces an formal operational semantics and summarizes a verifiable technique based on formulas.
针对还没有工作流模型的执行过程的形式化描述的问题，给出工作流机处理步骤的操作语义描述。
At present, there is no formalized description of the executing procedure of workflow models. The procedure of workflow models executing in workflow engine is described using the operational semantic.
分布式操作系统形式化系统模型DOSFS主要由文法DOSFSG和语义DOSFSS两部分组成。
Distributed Operating System Formal System Model (DOSFS) consists of the grammar DOSFSG and the semantics DOSFSS.
应用推荐