1)formal model形式化模型
1.A Formal Model of Software Connector Based Chemical Abstract Machine;基于CHAM的软件连接件形式化模型
2.Study of Formal Model of Web Services Composition;Web服务组合形式化模型研究
3.First,a formal model for single service is defined,and some attributes are discussed;then,several kinds of interaction logics between services are defined and the composition pattern is presented,the realization of the interaction logics is given at the same time.首先定义了个体服务形式化模型,并分析了相关性质,然后定义了消息交互的各种逻辑以及服务组合模式,并对消息交互逻辑进行了分析和实现,在此基础上,给出了服务组合模型的定义,并通过个体服务控制器、消息逻辑控制和全局控制算法实现了Web服务组合过程。
英文短句/例句
1.A VSK-t Logic-based Formal Model of Agent System;基于VSK-t逻辑的Agent形式化模型
2.Complexity Analysis and Mathematical Model of DNA-Based Self-Assembly;DNA自装配的复杂度分析及形式化模型
3.A Formal Model of VSK-Agent System Combined with Mental States;结合思维状态的VSK-Agent形式化模型
4.WSCI Formal Model Analysis Based on Petri Nets基于Petri网的WSCI形式化模型分析
5.Formal model about payment protocol based on reputation system基于信誉机制的支付协议形式化模型
6.Research on Formal Model and Implementation for WS-CDLWS-CDL的形式化模型和执行过程研究
7.Semantics Based Formal Model for Security Protocols一种基于语义的安全协议形式化模型
8.Research of a Formal Model for WS-CDL Based on Trace with Conditions一种基于带条件的轨迹的WS-CDL形式化模型研究
9.High-Level Formal Verification Based on Polynomial Symbolic Algebra Module;基于多项式模型的高层次形式化验证
10.The Research on B Formal Specification of UML Use Case ModelUML用例模型的B形式化描述方法研究
11.Formalized analysis for authentication test model of TLSTLS协议认证测试模型与形式化分析
12.Research of Transport Situation Interaction Model and Its CSP Formalization运输态势交互模型及其CSP形式化研究
13.Formal Verification of Hardware Design Based on Rebeca Model基于Rebeca模型的硬件设计形式化验证
14.Formal Semantics of Architecture Model of Collaborative Systems协同系统体系结构模型的形式化语义
15.A formal description method for P2P network modelsP2P网络模型的形式化描述方法(英文)
16.Reference model and formal analysis for requirements of equipment systems装备体系需求参考模型及形式化分析
17.Formal Semantics of Component-Based Architecture Model Mapping构件式体系结构模型映射的形式化语义
18.Much attention is paid to fuzzy hierarchical optimization model.对模型的数学形式———模糊层次优化做了阐述。
相关短句/例句
formalized model形式化模型
1.The formalized model of ITS(intelligent tutoring system) based on web is discussed and a new theory that VR can be applied to ITS based on web is put forwand.阐述了虚拟现实技术、Web智能教学系统的概念,进而构建和探讨了Web智能教学系统的形式化模型及虚拟现实技术在网上智能教学系统中的应用,指出虚拟现实技术对Web智能教学系统产生的影响。
3)formal CM形式化概念模型
1.The hiberarchy method include informal CM development which oriented to domain user and formal CM development which oriented to system developer.在分析上述问题的基础上,提出了分层次概念模型开发方法,即面向领域用户的非形式化概念模型开发和面向技术人员的形式化概念模型开发。
4)formal description model形式化描述模型
1.This paper classifies the spatial directional relation formal description models,and demonstrates the detail methods of the spatial directional relation formal description models.本文给出了空间方向关系形式化描述方法的分类,阐述了空间方向关系的形式化描述模型与表达方法,分析比较了各自的优缺点,并探讨了目前存在的问题和今后的发展方向。
5)formalized system形式化系统模型
1.This article introduces two models of complex systems: the model of formalized system and that of connectionism.本文重点介绍了复杂系统的两种模型描述方法:形式化系统模型与关联论模型,并比较它们各自的优缺点。
6)Formalized language model形式化语言模型
延伸阅读
虚拟企业集成模型的形式化方法文 摘： 为开发正确、可靠、基于模型驱动的虚拟企业信息系统，满足虚拟企业对于可伸缩性、可重构性、可重用性以及互操作性的要求，在虚拟企业建模与开发过程中引入形式化RAISE (工业软件工程严格方法)，分析了在虚拟企业组建中应用形式化方法的优点，讨论了RAISE与有着广泛应用的传统IDEF(集成计算机辅助制造定义方法)的结合，并给出了运用形式化方法进行虚拟企业建模的方案。该方法是虚拟企业建模与实现技术的重要研究方向。 关键词： 虚拟企业； 企业模型； 形式化方法； 工业软件工程严格方法(RAISE)； 集成计算机辅助制造定义方法(IDEF) CIMS的研究与开发正处于企业集成阶段，虚拟企业研究正是这一阶段的重要研究课题和使能技术之一。对于虚拟企业的建立与运作，尤其是在作为其基础与要素的虚拟企业模型以及相应的信息系统实现问题上，还不存在成熟的理论、方法与规范。本文应用形式化的工业软件工程严格方法(RAISE)与集成计算机辅助制造定义方法(IDEF)相结合的手段建立虚拟企业模型，并探讨有关模型驱动的系统集成与系统实现问题。1、虚拟企业建模1.1 虚拟企业模型 虚拟企业是一组企业的临时组织或联盟，其目的是通过联合的成本与技术开拓适应快速变化的市场。建立具有指导意义的虚拟企业模型，以模型为驱动，实现虚拟企业信息系统，是当前解决虚拟企业集成问题普遍认可的方法。因此，建立虚拟企业模型，尤其是建立企业生产过程与经营过程模型，是分析企业过程，进而有效的组建虚拟企业系统的必需。1.2 虚拟企业建模面临的问题 虚拟企业的集成和企业模型的构建很复杂，建模需要着重解决以下问题： 1) 企业模型必须能从高层抽象企业功能、结构、特性，以便企业级的过程重组； 2) 企业模型必须适应动态虚拟企业的特点，做到易于重构(即有可重构性)； 3) 可重用性与可伸缩性； 4) 建模方法必须简单易用，这是因为一般企业，尤其是中小型企业，不具备专业的建模人员； 5) 企业建模过程应该融合企业的不同层次，使虚拟企业涉及的各层次人员能够广泛参与。 虚拟企业的复杂性使得一些单一信息系统中低层次的问题也必须提高到模型(抽象)层次才能解决。这使虚拟企业建模问题更加复杂化。以IDEF为代表的传统企业建模方法在处理虚拟企业建模问题上逐渐暴露出自身的某些局限性。为了解决上述问题，增加系统实现的自动化程度、减少系统的不一致性，更快、更好、更可靠的实现虚拟企业系统，尝试在企业模型建立与系统实现的过程中引入形式化方法作为传统建模方法的补充。
