【摘 要】
：
该文从模型、语言和环境方面对协调进行了系统化的研究,具有重要的理论意义和实用价值.根据实际应用的要求,文中提出了Concerto协调模型.它以Petri网为数学理论基础,扩充了Pe
论文部分内容阅读
该文从模型、语言和环境方面对协调进行了系统化的研究,具有重要的理论意义和实用价值.根据实际应用的要求,文中提出了Concerto协调模型.它以Petri网为数学理论基础,扩充了Petri网的语义,引入了控制缓存和数据缓存,分别反映了分布组件的控制依赖和数据依赖关系,统一了现有的控制驱动和数据驱动两类协调模型.为了便于建立Concerto模型,研究人员提出了一种图形化建模语言CML(Concerto Modeling Language),CML包括三类图:组件图、协调图和布置图,分别描述了分布组件系统的组件构成、组件之间的协调关系以及组件系统的物理布置.对于Concerto模型的运行,文中提出了驱动模式、动作规则和Concerto引擎.同时,文中还提出了Concerto可视化协调环境.通过将可视化建模和模型的运行集成起来,可以作为分布组件协调系统快速原型开发的一种工具.
其他文献
该文介绍了WebGIS项目中的G/SQL空间语言的设计与实现.G/SQL是扩展SQL得到的查 询语言.G/SQL具有强大空间支持能力:支持空间型关系和点、线、面空间数据类型,支持 数据模型中
该文详细介绍了作者及相关课题组成员在Inferno操作系统上研究开发的移动代理系统:TELEKARON.该文的主要内容及作者在课题中的主要工作如下:在简单介绍Inferno操作系统之后,
该文首先回顾了WWW的起源和发展.面对极其大量的信息,人们通常依靠搜索引擎来 为他们在WWW上进行导航,这给搜索引擎技术带来了巨大的挑战.自1994年问世以来,搜索 引擎的发经
我们在研究了许多国外异构数据源的实验模型基础之上,创建了一个电子商务集成与搜索系统.该系统主要应用了商品对象交换模型(COEM),作为结构化数据源和半结构化数据源通用的
图像分割是图像处理与分析的关键环节，也是计算机视觉领域中一个经典的研究分支。图像分割按照在分割过程中有无人工参与可分为半自动分割和自动分割，自动分割按照分割过程中有
检查点技术与任务复制相结合的方法,是实现上述低成本容错计算机的途径之一.该文主要研究如何有效利用任务复制与检查点技术结合方法提同容错计算机的性能.该文的研究工作和
近年来，微博以其便捷、及时的信息分享、传播和获取方式，迅速在互联网上流行，使用的用户数量与日俱增。随着网络用户个性化需求的质量不断提高，建立有效的用户兴趣模型便是为用户
汉语篇章中，常有标点句句首话题缺失的现象。这种现象是机器翻译、信息抽取等应用准确率不高的原因之一。 本文工作围绕如何补足标点句句首缺失话题这一核心问题展开，报告了
方正飞腾(FIT)排版系统是北大方正研究院开发的大型交互式彩色排版软件,它为用户提供了强大的排版功能,以满足海内外中文排版的各种要求.但是随着现代出版物的版面越来越复杂
首先,该文总结了了物流在现阶段的发展状况,展望了物流的发展趋势,参考了较为广泛的有关资料,综合了近几年国内外最新的物流文献及研究动向,溶入国外企业界较新的观点和看法,