论文部分内容阅读
在分布式系统的发展过程中,交互的动态特性越来越明显。本文运用反射的思想,对元对象的分层表示及其之间的交互进行了详细阐述,并提出了集中性观点,对元级交互模型进行了改进,从而解决了动态对象的处理与获取。同时,本模型拥有更好的适应性、可修改性和可扩展性。
基于方面的分布式交互研究
【摘 要】
：
在分布式系统的发展过程中,交互的动态特性越来越明显。本文运用反射的思想,对元对象的分层表示及其之间的交互进行了详细阐述,并提出了集中性观点,对元级交互模型进行了改进,从而解决了动态对象的处理与获取。同时,本模型拥有更好的适应性、可修改性和可扩展性。
【机 构】
：
上海交通大学软件学院软件工程中心 上海 200240
【出 处】
：
2007全国软件及其应用学术会议
【发表日期】
：
2007年8期
其他文献
软件可视化在软件逆向工程中发挥着重要的作用,它具有直观、易理解性好等优点。在面向对象软件开发中,结构清晰的类图能够帮助开发人员便捷地理解Java程序。本文从逆向工程的角度分析了Java程序可视化中面临的问题,基于传统的层次布图算法,从支持类关系精确提取、软件设计模式以及软件版本演化等方面对Java可视化方法进行了扩展;并实现了可视化系统Venus,它具有符合UML类图语义、层次展现度好以及支持图元
现有的基于关键字或语义分类信息的Web服务发现基本上都是针对单个Web服务行为的。本文提出了一种基于模式匹配的组合Web服务的发现方法,通过对Web服务的交互模式匹配性和组合模式匹配性的检查,可以得到满足用户要求的组合行为的服务,从而降低了用户参与组合服务的难度,实现Web服务大粒度的重用和高效的开发。
软件体系结构元信息的组织和管理是利用反射机制实现软件体系结构重用的一个重要问题。为了满足基于反射的体系结构设计重用的需求,本文提出了一个体系结构元信息模型,它能有效地反映出体系结构的元信息以及其组织形式。此外,利用XML Schema来描述该元信息模型,得到了一个可以由计算机软件自动处理的元信息模型框架,使得体系结构设计人员通过软件工具操作它,从而实现通过操作元信息来设计出新的体系结构,达到在设计
将目标驱动的需求分析方法引入军事电子信息系统需求获取过程,使军事人员可直接参与需求建模,无疑为准确把握军事电子信息系统的需求提供了行之有效的方法指导。但不同的军事人员可能会提出相互冲突的目标,从而不同程度地影响了系统整体需求的可行性。本文用KAOS方法提供的描述语言形式化定义了军事电子信息系统的目标概念,并介绍了KAOS方法的冲突处理机制在其中的应用,为发现和解决目标冲突提供了理论方法指导,为需求
膨胀图是有很好连通性的稀疏图。一个膨胀图族是具有相同膨胀系数的一类正则膨胀图。本文从组合学角度对膨胀图及膨胀图族的概念、性质进行讨论。用概率方法证明了3-正則膨胀图族的存在性,井证明了2-正则膨胀图族的不存在性,提出了一类3-正則非膨胀图──塔形图的概念。按时间复杂度可将膨胀图分为弱可构造的和强可构造的。膨胀图的扩张图仍然是膨胀图,通过应用实例说明利用膨胀图能够降低随机算法对随机位的依赖程度。
澄清了非滥用性质的模糊理解,提出了一种新的非滥用性质的形式化描述,并用定理证明工具Isabelle/HOL验证了BW多方合同签署协议的非滥用性。
对业务流程的建模分析是建立在工作流网的理论模型之上的,因此需要合适的算法将建模工具中用户建立的有向图映射到工作流网。针对经典Petri网的一些固有缺陷,对其在颜色、时间上进行了扩展,给出了赋时着色Petri网定义,并提出了一种基于链表遍历方式的业务流程到工作流网的映射算法。文中重点研究了工作流模型基本控制结构的映射规则及其相关证明,并给出了该算法的具体实例。
为了对计算机软件质量进行更加精确、客观、科学的评价,综合遗传算法的收敛速度快和神经网络的自学习能力,提出一种基于遗传神经网络的软件质量评价方法。即先通过遗传学习算法进行全局训练,再用权重调整BP算法进行精确训练,这一算法克服了BP算法收敛速度幔、易陷入局部极小点等缺陷,应用表明,该方法克服了由专家确定变量参数的缺点,达到评价结果较高的客观性、科学性,具有很高的应用价值。
Web环境下服务数量急剧增长,如何根据用户的需求进行Web服务的动态组合是一个迫切需要解决的问题。基于过程定义建立Web服务组合模型,根据各服务结点的功能需求进行检索,获得所有候选服务构造一个服务组合图,基于该图给出一个QoS全局优化的服务选择算法,使得组合服务在满足用户需求的同时服务质量最优。
服务等级协议SLA(Service Level Agreement)是目前多样化网络服务中服务质量保障的重要手段,面向服务体系结构正成为新一代网络计算研究的热点。本文将服务等级概念引入到Web服务体系架构上,提出了SLA建模与表示,针对服务组合的端到端的QoS保证,提出了一套基于agent的在动态的、变化的服务环境下自适应的服务等级协议协商机制。