将形式化技术和软件复用结合是非常有意义的工作。
It's a meaningful work to combine formal technology and software reuse.
利用此技术，很可能将业务流程转化为业务模型，并在它们之间创建形式化的可追溯性。
Using this technique, it is possible to transpose the Business Processes into a Business Model and create formal traces between the two.
我们还将提出一个可以应用于分布式组织来帮助形式化适当的技术基础架构和实现的参考架构。
We will also propose a reference architecture that can be applied to distributed organizations to help formulate the appropriate technology infrastructure and implementation to enable those teams.
智能网业务的形式化描述技术和业务验证的理论与方法是目前智能网（IN）业务实现过程中的关键技术。
The formal description techniques for intelligent network (IN) service and the theory and methods in IN's service verification are the key technologies in IN's realization.
严格建模是嵌入式实时系统设计的核心技术，通过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.
给出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 recent years, peoples have studied many type systems, and the type systems with high order subtyping play an important role in the research of formal foundation of object oriented technology.
模型检验是一种针对有限状态系统的形式化验证技术，以其简洁明了和自动化程度高而引人注目。
Model Checking is a formal verification technology for finite-state system, which is famous for its concise and highly automatic.
本文依据国际电信联合委员会(itu - T)的智能网能力集建议，对智能网业务的形式化描述技术(FDT)、智能网业务逻辑验证的理论与方法等进行了研究。
Based on the ITU-T Intelligent Network CS Recommendation, the paper studies the formal description techniques (FDT) for in service and the theory and methods in in's service verification.
网络协议的形式化模型是协议分析和设计的核心技术之一。
The formal models of network protocols are one of the core technologies in the analysis and design of the protocols.
本文提出了一种新的简单的迹语义，用于刻画协议部分安全性质，即只针对协议规约的单个主体，此技术支持协议设计者对安全性质进行形式化规约。
This paper proposes a new simple trace semantics that can be used to specify security properties, this technique supports a protocol designer to provide formal analysis of the security properties.
墨家则在不排斥直观的同时，注重逻辑与科学知识的形式化，是中国古代较为全面而没有片面性的科学技术思想。
About how to get the knowledge of science and technology, both Zhouyi and Laozi-Zhuangzi regard intuition as importance, while Mohist think a lot of logic and formalization of knowledge.
介绍了形式化描述技术在测试集生成过程中的应用，针对PPP协议介绍其协议实现时的状态迁移。
This paper introduces the application of formal description technology in the progress of generate testing suite, and the PPP protocol's state transference of the implement module.
与原有技术相比，该方法更为形式化，协议分析人员可以很方便地进行手动分析，并且更有利于协议分析自动化工具的实现。
Compared with the original concept, the new approach is more formal and can make protocol analysis easier both by hand and automatically.
介绍了形式化描述语言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.
本文给出一种形式化操作语义，并概述基于形式化规则的验证技术。
This article introduces an formal operational semantics and summarizes a verifiable technique based on formulas.
然后通过一个应用实例来说明如何利用VDM技术进行软件开发，及利用函数与操作的形式化规格说明来证明程序是正确的。
Furthermore, it illuminates how to use VDM technology to develop program, and program testifying with function and operation formational specification with a instance.
该方法融合CPN和面向对象技术的优点，从形式化、可视化的角度描述基本通信系统的运行过程。
This method reflects the advantages of CPN and object-oriented technology, and describes the operation process of basic communication system from the formal and visual aspects.
工作流建模技术一直是工作流技术研究的重要课题之一，它的研究范围包括：工作流模型定义、语义的形式化表示方法等。
Workflow modeling technique is always one of important research tasks of workflow, including workflow model definition and sematic formalized expression method and so on.
面向对象技术和形式化方法结合，在面向对象技术中应用形式化方法，是一种实现软件自动化的有效方法。
It is an efficient way to implement automation of software by applying formal methods to object-oriented technology.
这表明如何XML和相应的技术可用于形式化和可视化现有的PLC程序。
It is shown how XML and corresponding technologies can be used for the formalization and visualization of an existing PLC program.
通过某学校信息系统的实例，阐述了UM L视图的形式化建模方法和分析技术。
A detailed case study of a school information system illustrates our method for modeling and analyzing UML diagrams.
这就使得专业技术人员的知识形式化，使一般的技术人员借助于专家系统达到接近专家的技术水平。
This makes formal knowledge of professional and technical personnel, technical personnel in general and the help of expert system technology to achieve close to the expert level.
本文在分析研究依赖注入技术的基础上，用完全格工具形式化地描述依赖注入的执行过程。
Based on analyzing and studying dependency injection, a formal description for its execution with a kind of mathematical tool named complete lattice is given in this paper.
基于模型检测的形式化方法就是这样一种技术，并已成功地在实践中应用于对复杂的时序线路设计和通信协议的正确性验证。
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.
形式化方法中的模型检测技术是近三十年来最为成功的自动验证技术之一。
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.
应用推荐