OOPN can be used as formal modeling tool for Object-Oriented System.
OOPN能够成为面向对象系统的一种形式化的建模工具。
Secondly, formal modeling method of system survivability based on performance evaluation process algebra is studied.
其次，研究基于性能评估进程代数的系统生存性形式化建模方法。
The formal modeling for cryptographic protocols, namely security protocols, is the basis of their analysis and design.
密码协议分析与设计的基础是对其进行形式化建模。
Types of retrieval system design and evaluation include formal modeling, analytical studies, simulations and user tests.
检索系统设计和评价的类型包括正式的建模、分析研究、模拟和用户测试。
Extreme Programming (XP) — XP is a lightweight methodology that eschews formal modeling and analysis in favor of a "test first" approach.
极限编程(Extreme Programming,XP)——XP是轻量级方法，避免了与“测试第一”方法相关的正式建模和分析。
The solution is therefore to rely heavily on formal modeling for the business processes, as is common practice today for software systems.
因此解决方案非常依赖于业务过程的正式建模，就如同现今软件系统的通用实践。
It is a governance decision to determine which artifacts require formal lifecycle process modeling and governance, and which ones will be subject to informal or "AD hoc" management.
治理决策来确定那些工件需要正式的生命周期过程建模和治理，那些将受到非正式的或“特别”的管理。
In particular, the specification of the semantics (or meaning) of the UML modeling concepts remained inadequate for such MDD-oriented activities as automatic code generation or formal verification.
特别是，UML建模概念的语义(或含义)的规范，对这些作为自动代码生成或正式确认的基于MDD的活动仍旧是不适当的。
Formal documentation of system semantics (through modeling) will increase software quality and extend the useful lifetime of designs (thereby increasing ROI).
系统语义的正式文档(通过建模)将提高软件质量，延长设计的有效生命周期(从而提高roi)。
Realization is a formal term in use case modeling that indicates the relationship between a specification of something and its various implementations.
所谓的实现是用例建模中的一个规范化术语，它指示了规格与各种执行之间的关系。
Services architecture modeling provides a more formal way of specifying the participants and contracts governing their interactions.
服务架构建模提供了一种更加规范的方法，以指定管理人们之间交流的参与者与契约。
The disadvantage of the traditional formal languages is that they are used by people who possess a solid mathematical knowledge, but they are difficult to use for a modeling system.
传统规范语言的劣势在于，它们是由拥有稳固数学知识的人员使用的，使用它来建模系统很困难。
Your choices of how to use UML Modeling can also range from very formal to very informal.
您对于如何使用UMLModeling的选择也可以从非常正式的到非常不正式的。
Creates unambiguous documentation and communication among the various teams participating in the software development cycle via the formal, UML-based modeling of users and of user interfaces.
通过正式的、基于UML的用户和用户接口建模，在参与软件开发生命周期的不同团队之间创建明确的文档及通信。
This led to the creation of a formal language for business process modeling known as Business Process Execution Language (BPEL).
这引领了业务流程建模的规范语言的创建，即众所周知的业务流程执行语言 (Business Process Execution Language，BPEL)。
These iterations gradually build a more formal and more complete model (typically moving from the whiteboard to the modeling tool).
通过不断的迭代逐渐形成更加正式、更加完整的模型(一般要从白板上转移到建模工具中)。
This paper presents a formal approach of product development and manufacturing process modeling based on process decomposition and activity description for a virtual enterprise.
针对虚拟企业提出了一种基于产品开发制造全过程分解和活动描述的形式化过程建模方法。
The main method of achieving that purpose is modeling the formal semantics of the resources, and to represent it in XML syntax.
它的主要实现方式就是通过对资源的形式化语义描述建模，并且通过XML语法格式来得以实现。
The modeling method and the models given in IEC 61850 are investigated from the point of view of formal semantics.
文中从形式语义的角度出发，对IEC 61850的建模方法和所给出的模型进行了研究。
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.
严格建模是嵌入式实时系统设计的核心技术，通过UML方法与形式化方法结合可以给严格建模提供很好的工具支持。
In this paper, some kinds of critically formal models for security protocols, which have recently catched much researcher's attentions, are analyzed in terms of their different modeling bases.
该文根据建模基础的不同，对目前处在研究热点中的几个重要协议形式模型进行了分类分析。
After analysing the activity flow drawing of the users, the modeling tool generates a XML formal description file which is parsed by flow engine.
流程建模工具对用户绘制的作业流程图进行分析，生成一个可以被流程引擎解析的基于XML的形式化描述文档。
This paper discusses in detail the three aspects of KADS modeling method, which are the main characters, the formal descriptive language, and the realizing environment of KADS modeling method.
本文论述了KADS建模方法的主要特点、KADS建模的形式描述语言和KADS建模的实现环境。
Workflow is the formal expressed of actual business workflow, and its key is modeling.
工作流是实际业务工作流程的形式化表示，其关键在于建模。
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.
形式化方法已被用于基于消息通讯的并发系统的建模和分析。
Related to bond polarity, formal charges on atoms, chain reaction theory and the comparison of solid monopropellant combustion and modeling, the "linkage mutualism"mechanism was proposed.
基于凝相机理与热解实验，从分子层面和化学反应的角度，结合价键、形式电荷、链反应等理论和固体单元推进剂的燃烧状况，提出了AP与HMX间的“连锁互动”机制。
Related to bond polarity, formal charges on atoms, chain reaction theory and the comparison of solid monopropellant combustion and modeling, the "linkage mutualism"mechanism was proposed.
基于凝相机理与热解实验，从分子层面和化学反应的角度，结合价键、形式电荷、链反应等理论和固体单元推进剂的燃烧状况，提出了AP与HMX间的“连锁互动”机制。
应用推荐