|
|
|
说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
|
|
|
1) formal model
形式模型
1.
This paper proposes a formal model of feature interactions based on the semantic of message lists in runtime between the object of service logical programming instance and the network entities.
本文通过对业务在执行过程中,业务逻辑实例与外部实体交互消息的分析,提出一个基于消息序列语义的特征交互形式模型。
2.
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.
该文根据建模基础的不同,对目前处在研究热点中的几个重要协议形式模型进行了分类分析。
3.
A new formal model based on category theory is thus proposed in this paper to describe objects and aspects.
提出一种以范畴语言为基础的形式化方法,可以一并给出对象和方面的形式模型,并指出了此模型与范畴Set的关系。
2) model type
模型形式
1.
In this paper, the identification problem of time series models building for observed random data is discussed, including the determination of model type and model order.
本文研究了对观测随机序列建立时序模型的初步识别问题,包括模型形式的确定和模型阶次的选择。
3) 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服务组合过程。
4) 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智能教学系统产生的影响。
5) shape
[英][ʃeɪp] [美][ʃep]
形状，模型，型式
6) formal CM
形式化概念模型
1.
The hiberarchy method include informal CM development which oriented to domain user and formal CM development which oriented to system developer.
在分析上述问题的基础上,提出了分层次概念模型开发方法,即面向领域用户的非形式化概念模型开发和面向技术人员的形式化概念模型开发。
补充资料：虚拟企业集成模型的形式化方法
文 摘： 为开发正确、可靠、基于模型驱动的虚拟企业信息系统，满足虚拟企业对于可伸缩性、可重构性、可重用性以及互操作性的要求，在虚拟企业建模与开发过程中引入形式化RAISE (工业软件工程严格方法)，分析了在虚拟企业组建中应用形式化方法的优点，讨论了RAISE与有着广泛应用的传统IDEF(集成计算机辅助制造定义方法)的结合，并给出了运用形式化方法进行虚拟企业建模的方案。该方法是虚拟企业建模与实现技术的重要研究方向。 关键词： 虚拟企业； 企业模型； 形式化方法； 工业软件工程严格方法(RAISE)； 集成计算机辅助制造定义方法(IDEF) CIMS的研究与开发正处于企业集成阶段，虚拟企业研究正是这一阶段的重要研究课题和使能技术之一。对于虚拟企业的建立与运作，尤其是在作为其基础与要素的虚拟企业模型以及相应的信息系统实现问题上，还不存在成熟的理论、方法与规范。本文应用形式化的工业软件工程严格方法(RAISE)与集成计算机辅助制造定义方法(IDEF)相结合的手段建立虚拟企业模型，并探讨有关模型驱动的系统集成与系统实现问题。 1、虚拟企业建模 1.1 虚拟企业模型 虚拟企业是一组企业的临时组织或联盟，其目的是通过联合的成本与技术开拓适应快速变化的市场。建立具有指导意义的虚拟企业模型，以模型为驱动，实现虚拟企业信息系统，是当前解决虚拟企业集成问题普遍认可的方法。因此，建立虚拟企业模型，尤其是建立企业生产过程与经营过程模型，是分析企业过程，进而有效的组建虚拟企业系统的必需。 1.2 虚拟企业建模面临的问题 虚拟企业的集成和企业模型的构建很复杂，建模需要着重解决以下问题： 1) 企业模型必须能从高层抽象企业功能、结构、特性，以便企业级的过程重组； 2) 企业模型必须适应动态虚拟企业的特点，做到易于重构(即有可重构性)； 3) 可重用性与可伸缩性； 4) 建模方法必须简单易用，这是因为一般企业，尤其是中小型企业，不具备专业的建模人员； 5) 企业建模过程应该融合企业的不同层次，使虚拟企业涉及的各层次人员能够广泛参与。
虚拟企业的复杂性使得一些单一信息系统中低层次的问题也必须提高到模型(抽象)层次才能解决。这使虚拟企业建模问题更加复杂化。以IDEF为代表的传统企业建模方法在处理虚拟企业建模问题上逐渐暴露出自身的某些局限性。为了解决上述问题，增加系统实现的自动化程度、减少系统的不一致性，更快、更好、更可靠的实现虚拟企业系统，尝试在企业模型建立与系统实现的过程中引入形式化方法作为传统建模方法的补充。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条
|