【摘 要】
：
该文提出了一种能够应用于包括移动代理应用系统在内的软件系统的结构描述语言—LXL.与其他的ADL相比,LXL的显著的特点是引入了container结构.Container被定义为逻辑位置,而
论文部分内容阅读
该文提出了一种能够应用于包括移动代理应用系统在内的软件系统的结构描述语言—LXL.与其他的ADL相比,LXL的显著的特点是引入了container结构.Container被定义为逻辑位置,而逻辑位置也可以看作是运行在一个物理主机上的一组进程.由此我们实现了逻辑位置与计算组件的概念上的统一.为了提供精确的行为描述能力,LXL使用join-calculus作为形式基础.我们讨论了如何在LXL中应用join-calculus.由于join更倾向于设计为一种分布式程序语言,我们对join进行了部分裁剪以使其更适合于用作软件结构描述.为了使LXL说明具有精确的语义,我们还给出了LXL的语法结构到join-calculus的映射,从而使LXL具有了与平台和软件无关的语义模型.
其他文献
当今,随着嵌入式系统的广泛应用,相关技术发展迅猛。嵌入式系统软硬件更新频繁,需求旺盛,嵌入式开发技术已成为非常热门的研究领域。提高嵌入式系统的软件的开发效率和可靠性
MM5（Atmospheric Research Mesoscale Model）是一种利用数值预报方法.在时间和空间上进行有限插分的格点模式,这种动态大气模型用来做预报和天气预测.大气模型分为全球的和区域
使用支持向量机理论处理海量数据的学习分类问题是相当困难的.针对这个问题,该文在对现有学习方法分析的基础上,基于拓扑学中的Jordan曲线定理,提出了一种基于分类超曲面的通
自从上个世纪末以来,软件开发技术取得了快速发展,尤其引人注目的是面向对象技术中的UML(Unified Modeling Language,统一建模语言)建模技术,随着其不断研究发展,渐渐被许多
针对油田的具体情况而开发的同位素透射法测量原油含水率,则很好地解决了这一问题.同位素法测量原油含水率是根据不同介质对γ射线的衰减是不同的这一原理而工作的,当被测介
该论文涉及到的系统功能是EMS/DMS的一部分——电网实时数据采集和处理.主要是介绍用户和管理员怎样充分有效地利用和管理好已经存到数据库的电网运行的实时数据.系统内的用
目前中国高速公路收费大多采用人工收费或人工收费与计算机管理相结合的半自动收费方式,全自动收费即电子收费系统（Electronic Toll Collection,缩写ETC）正处于起步和探索阶段.
由于Internet技术的迅猛发展和广泛应用,信息的多元化、复杂化、为信息检索、分类和相关技术领域的研究和发展提出了新的挑战.因此,如何从浩如烟海的信息仓库中准确而有效地
该文研究内容是对专家系统技术在乳腺癌诊断上的应用性研究,目的是建造融合所有乳腺癌诊断方法的焦依据,建造多信息源的,特别是包含图象信息的乳腺癌诊断专家系统.该文对专家
该文论述了模型库应当具有的其本特征及其一般结构,给出了一种结构模型表示法和模型库的逻辑结构. 建立一个实际的决策支持系统是较为困难的,开发DSS是一非常实际的涉及组织