【摘 要】
：
分布式系统复杂性的不断增加以及对可配置性和可重用性要求的不断提高,需要面向方面软件工程方法的支持,而形式化方法能保证分布式系统的正确性。本文对分布式规格说明语言Oc
【机 构】
：
嘉应学院计算机系,广东工业大学计算机学院
【基金项目】
：
本文受：1.国家自然科学基金（No.60474072、No.60174050）、2.广东省自然科学基金（N0.04009465、No.010059）、3.广东省高校自然科学研究项目（No.Z03024）基金资助.
论文部分内容阅读
分布式系统复杂性的不断增加以及对可配置性和可重用性要求的不断提高,需要面向方面软件工程方法的支持,而形式化方法能保证分布式系统的正确性。本文对分布式规格说明语言Ocsid进行了面向方面的扩展,讨论了面向方面的Ocsid的框架结构、语法要求、方面的联结和功能接口。定义了面向方面的Ocsid规格说明语言中叠加和组合的形式化描述,该形式化描述覆盖了各个精化阶段,使精化体系的各个独立视点被协调地组合,并能形式化地验证规格说明的时态属性和系统行为。本文的工作针对的是分布式系统的形式化规格说明,提出了面向方面Ocsi
其他文献
目的：探讨内蒙古地区汉族IgA肾病（IgAnephropathy，IgAN）患者病理类型与肿瘤坏死因子β（tumor necrosis factor beta，TNF—β）基因多态性的关系。方法：选内蒙古地区汉族135例IgAN患者
本文介绍了数据挖掘中不完整数据的研究现状及ICA与ViSOM的特点，提出了基于ICA与ViSOM的不完整数据的处理模型IVIS-IDH，研究了数据之间存在相关关系且为非高斯分布时不完整数据
快速查找、扩张、收缩是凝聚式层次聚类算法快速实现对相似度／距离矩阵存储的基本要求。本文提出了基于十字链表和平衡二叉树的复合数据结构CrossAVL用于矩阵的存储，给出了查找
现有的CSCW访问控制策略模型缺少时间和约束特性，在实现上也未能较好地解决开放网络下的身份伪装和欺骗问题，以及影响安全策略完整性实施的软硬件平台可信问题。本文基于角色一
本文研究了电子商务技术在供应链匹配设计中的利用；给出了一种基于多Agent技术的供应链自动匹配管理平台系统模型，阐述了其组成架构与各单个Agent的具体功能，指出了系统中的数据
无线传感嚣网络(WSN)是一类由众多微型传感器节点通过自组织的方式构成的网络。随着在军事、环境监测等方面的应用逯渐成为现实,其有效和安全通信问题由于自身的特性(如能量、计算能力和节点存储资源等的局限性)而显得更加突出。本文首先比较详细地介绍了无线传感器网络安全结构及其面临的问题;其次重点讨论了无线传感器网络密钥系统相关的研究现状;然后给出了一种有效的基于身份的无线传感器网络密钥系统方案及与其它方案
迁移策略是移动Agent（Mobile Agent，MA）的核心技术之一，MA的效率很大程度上取决于迁移策略的优化。本文提出了一种改进的分布式遗传算法（EDGA），用于对多约束条件下MA迁移策略最优问
本文分析了网络自相似业务流Hurst参数的主要估计方法，并进行了详细对比。通过对方差时间图法的深入研究和实验，发现数据块的选择范围对估计结果有很大影响。本文分析了影响原
当顾客到达一个排队系统时，可以根据当前队列的长度，按照一定的概率选择加入排队系统等待队列，或选择离开排队系统且不再返回。这样的排队系统称为“具有随机离去策略的排队系统
一个智能体从周围环境中接收到多种知识,如何将这些知识合并成单一的、一致的知识是一个非常重要的问题,从信念修正中＂缩并＋添加＂得到启发,我们分两步解决这个问题.第一步弱化接