In this paper, after studying the description of business process in workflow system, a kind of service process model is defined, and the structure correctness and semantic validity are analysed.
该文研究了工作流技术中的业务过程描述方式,设计了一个业务过程模型,并对其结构正确性和语义正确性进行了证明和分析。
Through Extending Virtual Description Model, VDM web pages can support modular design, and bring forward relevant extended semantic tag format grammar.
对虚拟表示模型进行了扩展,使VDM页面能够灵活地支持模块化设计,并给出了相应扩充语义标记的形式文法。
Its essence is to realize semantic annotation of academic resources data and complete the domain knowledge description under the guidance of the conceptual model of the ontology.
其实质是在本体概念模型的指导下,实现对学术资源数据的语义标注,完成领域内的知识描述。
The primary contents are summarized as follows:An overview of the key functions of the EXPRESS modelling language as well as a formal semantic description of the EXPRESS data model is introduced.
对EXPRESS建模语言的核心功能作了概述,并给出了EXPRESS数据模型的一个形式化语义描述。
The experiment demonstrates the process of acquire high-layer semantic information automatically, at last, it shows the result of description model implementation.
本文实验详细的阐述了自动获取高层语义信息的过程,实验最后给出了描述模型实现的结果。
For the sake of criticizing Frege and Russell's theory of description of names, Kripke gave three kinds of demonstration, namely model arguments, epistemological arguments and semantic arguments.
克里普克为了批判弗雷格和罗素的名称摹状词理论提出了三类论证,即模态论证、认识论的论证和语义的论证。
In order to realize web service automation in collaborative product commerce, a semantic-based web service description meta-model supporting web service automation was proposed.
为网络服务提供全面准确的描述,是实现协同产品商务中网络服务自动化的一个前提。
In order to realize web service automation in collaborative product commerce, a semantic-based web service description meta-model supporting web service automation was proposed.
为网络服务提供全面准确的描述,是实现协同产品商务中网络服务自动化的一个前提。
应用推荐