The formal semantics difined here is able to deal with most of the features of UML activity diagram,and establish the foundation of describ-ing and analysis of work flow.
该形式语义覆盖了UML活动图的绝大部分特征，为精确描述工作流程并对其进行分析奠定了基础。
参考来源 - 期刊学术社区·2,447,543篇论文数据，部分数据来源于NoteExpress
以上来源于: WordNet
The modeling method and the models given in IEC 61850 are investigated from the point of view of formal semantics.
文中从形式语义的角度出发，对IEC 61850的建模方法和所给出的模型进行了研究。
By utilizing OWL classification, it can provide additional vocabulary along with formal semantics to describe the XML schema assets.
通过利用OWL分类，它能够提供额外的词汇表和正式的语义来描述xml模型资源。
The main method of achieving that purpose is modeling the formal semantics of the resources, and to represent it in XML syntax.
它的主要实现方式就是通过对资源的形式化语义描述建模，并且通过XML语法格式来得以实现。
应用推荐