因此，我们利用UML和形式化方法来设计面向方面程序，并建立相应的面向方面软件设计模型来设计实时系统。
So we express the AOP using UML and formal methods, and establish the Aspect-Oriented Software Design Model correspondingly to model real-time systems.
各种形式化方法都有它的优缺点，模型检测的优点是完全自动化，但存在空间开销大的问题。
Every formal verification approaches have their advantages and disadvantages, the main advantage of model checking is automation, its main drawback is the state explosion problem.
该模型采用面向对象和形式化相结合的方法，解决了现有信息融合模型缺乏可重用性、可靠性等问题。
The model is developed combing formal method with object-oriented method. It solves the problems of existing fusion models, which are short of reusability and dependability.
在人们寻求结构的或有规律的超文本过程中，除了使用形式化模型外，还有一种采用面向应用，简单、直观的方法。
On the progress of calling for structured or disciplined hypertext, people can use simply, direct and oriented application method except of using formal model of hypertext.
可拓学是用形式化的模型研究事物拓展的可能性和开拓创新的规律与方法，并用于解决矛盾问题的新学科。
Extenics is a new subject which solves contradictory problems. It studies the extensive possibility of things and the rules and methods of exploitation and innovation with formalized model.
串空间模型是分析安全协议的一种实用、直观和严格的形式化方法。
Strand Space Model (SSM) is a practical, intuitive and strict formal method for security protocol analysis.
现有的软件过程复用方法往往采用形式化的过程模型和过程实例，由于其复杂性而在业界应用较少。
Most software process reuse methods use formalized process models and instances. These methods are rarely adopted in the industry because of their complexity.
工作流建模技术一直是工作流技术研究的重要课题之一，它的研究范围包括：工作流模型定义、语义的形式化表示方法等。
Workflow modeling technique is always one of important research tasks of workflow, including workflow model definition and sematic formalized expression method and so on.
分析了河系自动综合中的空间知识及其形式化方法，建立了组织河系空间知识的两种数据模型，总结了河流选取中的规则性知识。
Discuss the knowledge formalization method of river selection, two kinds of spatial knowledge data models are put forward and the rules of river selection are summed up.
为了解决以上问题，本文提出在MDA框架中使用形式化方法B描述软件需求从而建立软件需求模型。
To solve these problems, this thesis put forward a method use the formal B method to describe software requirement and construct software requirement model in MDA framework.
一些研究人员在密码协议分析中引入形式化方法，通过建立形式模型和自动检测工具分析密码协议的安全性，取得了较大的成功。
Some researchers introduced formal methods for analyzing cryptographic protocols, and achieved many significant results by building formal models and automatic verifying tools.
给出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.
事实证明，串空间模型是分析安全协议的一种实用、直观和严格的形式化方法。
In facts SSM is a practical, intuitive and strict formal method for security protocol analysis.
串空间模型吸收了前人的研究成果，是分析安全协议的一种实用、直观和严格的形式化方法。
Having fully absorbed the former researching results, strand space model become a practical, intuitive and strict method for security protocols analysis.
从三个方面研究了基于特征设计的形式化描述方法：基于特征设计的基本定义、设计过程模型及设计算法。
This paper aims to establish a domain independent representation formalism for feature based design in three aspects: formal representation, design process model and design algorithm.
介绍了形式化描述语言LOTOS的特性，结合面向对象技术和状态图的理论知识，给出了基于LOTOS的动态模型的形式化方法，并给出了实例说明。
Combined with theory of object oriented technology and state chart, formalization method of dynamic model based on LOTOS is presented. Furthermore, a case is presented to demonstrate this method.
提出了一种支持形式化的软件演化过程模型的效率度量方法和改进策略。
The paper addresses an efficiency measurement and an improvement strategy for the Formal Software Evolution Process Model (FSEPM).
用形式化的方法描述了XML文档模型，并提供了一系列规则来保证模型描述的XML文档的良构性。
XML document model is described by formal method. Some rules are provided to guarantee that the described documents are well-formed.
随后，运用面向对象的表示方法对信息活动链模型进行了“半形式化”的描述；
Then, we give a 'semiformalization' description of the model based on object oriented methodology.
安全模型是安全系统开发的基石，而形式化方法则为准确理解安全模型提供了高保障依据。
The security model is the cornerstone for developing the security operating system, while the formal method provides high level assurance for the understanding of the security model accurately.
基于模型检测的形式化方法就是这样一种技术，并已成功地在实践中应用于对复杂的时序线路设计和通信协议的正确性验证。
Model checking based formal verification is a technique of this kind, and has been successful used in practice to verify complex sequential circuit designs and communication protocols.
该形式化模型为入侵决策提供理论和方法支撑。
The model gives the theoretical and methodological support for intrusion response.
文中给出PASCAL过程蓝图的形式化模型，抽象逻辑结构图的图形表示方法，以及程序设计的基本过程。
A formal model of PASCAL process blueprint, graphical notations of abstract logic structure diagram, and a fundamental programming procedure...
本文提出了时序有限自动机，用它建立数据融合系统的形式化模型，并且给出了时序有限自动机模型的可达性分析方法，用于分析数据融合系统的性能和行为。
We extend finite automata with time sequence and define temporal finite automata, then we propose using temporal finite automat to build formal model for data fusion system.
以数学方法给出了工作流过程定义模型的形式化描述，并提出一种工作流自动化的实现模型，包括系统体系结构和数据库的设计。
The paper gives mathematical definitions of process defining model and an implementing model of workflow automation, including the system architecture and database design.
把UML和形式化语言进行融合，通过形式化的方法来弥补UML语义上的不足，给出实时行为方面模型的精确语义，也是本文的研究重点。
It is also the focus of this paper to integrate the UML and formal language, make up the shortfall of UML semantics, and give precise semantic of real-time behavior model.
文章用一阶谓词对该模型的访问控制约束规则进行了形式化描述，并讨论了该模型在业务流程管理系统中的实现方法。
The access control rule of the ACBAC model is formalized by the first order predicate logic. The realization method of the model in business process management systems is also discussed.
形式化方法中的模型检测技术是近三十年来最为成功的自动验证技术之一。
Model checking is one of the most successful automatic verification techniques in the past thirty years.
形式化方法中的模型检测技术是近三十年来最为成功的自动验证技术之一。
Model checking is one of the most successful automatic verification techniques in the past thirty years.
应用推荐