密码协议分析与设计的基础是对其进行形式化建模。
The formal modeling for cryptographic protocols, namely security protocols, is the basis of their analysis and design.
其次，研究基于性能评估进程代数的系统生存性形式化建模方法。
Secondly, formal modeling method of system survivability based on performance evaluation process algebra is studied.
通过某学校信息系统的实例，阐述了UM L视图的形式化建模方法和分析技术。
A detailed case study of a school information system illustrates our method for modeling and analyzing UML diagrams.
目前已经有文献对此作了一定程度的研究，然而较少有对其中客观存在的威胁、奖励和申辩进行有效地形式化建模和描述。
Until now, it has been widely researched, but few can effectively formally model and describe with threat, reward and appeal, which are the most important kinds of argumentation.
基于目前XML类型处理问题的研究现状，对XML数据库类型系统的形式化建模、类型验证和类型检验等问题进行了研究探讨。
According to the current research status of XML type processing problems, we will investigate the type validation and type checking problems for the type systems of the XML Database deeply.
MDSD通过在一个系统中不同的建模和分解层级的使用，将这样一个抽象的想法形式化。
MDSD formalizes this idea of abstraction through the use of different levels of modeling and decomposition within a system.
针对虚拟企业提出了一种基于产品开发制造全过程分解和活动描述的形式化过程建模方法。
This paper presents a formal approach of product development and manufacturing process modeling based on process decomposition and activity description for a virtual enterprise.
它的主要实现方式就是通过对资源的形式化语义描述建模，并且通过XML语法格式来得以实现。
The main method of achieving that purpose is modeling the formal semantics of the resources, and to represent it in XML syntax.
系统开发工作包括领域知识本体建模、知识本体的形式化与存储、诊断推理等。
Developing such system includes domain knowledge modeling, formalization and storage of knowledge ontology, inference of diagnosing.
流程建模工具对用户绘制的作业流程图进行分析，生成一个可以被流程引擎解析的基于XML的形式化描述文档。
After analysing the activity flow drawing of the users, the modeling tool generates a XML formal description file which is parsed by flow engine.
框架的知识组织方式也有利于工作流的推理，而且框架是本体形式化的表示方法之一，因此框架是基于系统层知识的工作流建模的理想方法。
The knowledge organization of framework helps workflow illation, framework also being one of the ontology formalization approaches and the ideal modeling method based on system layer knowledge.
OOPN能够成为面向对象系统的一种形式化的建模工具。
OOPN can be used as formal modeling tool for Object-Oriented System.
工作流建模技术一直是工作流技术研究的重要课题之一，它的研究范围包括：工作流模型定义、语义的形式化表示方法等。
Workflow modeling technique is always one of important research tasks of workflow, including workflow model definition and sematic formalized expression method and so on.
对EXPRESS建模语言的核心功能作了概述，并给出了EXPRESS数据模型的一个形式化语义描述。
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.
本文提出了一个具有丰富语义、灵活的、可扩展的、形式化的软件过程建模语言spml。
It proposed a software process modeling language named SPML which support semantics richness, flexibility, scalability, reuse and formalization.
工作流是实际业务工作流程的形式化表示，其关键在于建模。
Workflow is the formal expressed of actual business workflow, and its key is modeling.
严格建模是嵌入式实时系统设计的核心技术，通过UML方法与形式化方法结合可以给严格建模提供很好的工具支持。
Rigorous Modeling is a core technology in embedded realtime system design and the combination of UML and formal methods would provide a better tool support to it.
该方法针对目前航空电子系统的系统设计与验证中的“V”型流程进行建模，并对其进行形式化的描述，以供计算机分析、识别。
With this met hod V-type process in current avionics system design and verification is modeled and formally described for computer analysis and identification.
给出DD -RCM模型的图形化和形式化描述实例，并分析DD - R CM建模方法的技术特点。
It gives the graphical and formal describing example of DD-RCM model and the characteristic of DD-RCM technology also.
然后对供应链工作流进行形式化定义，用工作流图、前趋链节、前趋链集等的概念和定义为下一步的流程供应链建模及分析提供了概念自包的方法。
The formalized description of supply chain workflow is offered, the workflow graph, front-chain and front-set provide a way to model and analyze flow supply chain.
MFDM知识发现平台在形式化模型的基础上，提供了可视化过程建模，模型管理等功能。
MFDM platform is based on formulized model, a nd aids in visual process modeling and model management.
面向对象方法是一种非形式化的建模方法，对建模后的系统缺乏有效的分析和验证手段。
The object-oriented technology is one non-formalized modelling method, lacks the effective analysis and the confirmation method after the modelling system.
对复杂的并发系统进行有效建模要求有一套形式化体系，由它能获取系统的本质特性，如不确定性、同步性和并发性。
Effective modeling of complex concurrent systems requires a formalism that can capture essential properties such as nondeterminism, synchronization and parallelism.
在用进程代数建模工作流时，只是考虑了模型的形式化语义以及模型中的各种控制流关系。
When using process algebra to model workflow, we only consider its formal semantics and its control flow.
结果证明，这种本体建模方法和形式化表达机制，能够较好表达应急领域的知识结构，是可行的。
It proved that the method of ontology modeling and formal representation mechanism can better express the knowledge structure of emergency field. It is available.
形式化方法已被用于基于消息通讯的并发系统的建模和分析。
Since formal methods can be used to model and analyze concurrent systems, it is natural to consider applying formal methods for the modeling and development of Web Service.
但是UML不是形式化的建模语言，缺乏精确的语义描述，因此会导致一些问题。
However, the UML is not a formal language, it lacks of precise semantics.
但是UML不是形式化的建模语言，缺乏精确的语义描述，因此会导致一些问题。
However, the UML is not a formal language, it lacks of precise semantics.
应用推荐