摘要:

摘要:从主动服务、需求驱动、自主聚合的角度,提出了需求驱动的主动网构实体聚合模型.在该模型中,主动网构实体形成服务Agent,这些服务Agent主动发现需求并向需求聚集.针对同一需求聚集形成的服务Agent群,通过机制设计、协商、协作最终形成能够满足需求的多Agent系统.为了实现服务Agent对需求的发现和识别,构造了一个功能本体,包括特定领域的功能描述以及功能分解模式.为了实现服务Agent的协作,提出了需求驱动的自动机制设计,并给出了一种基于公平原则的协作模型——重心模型.最后得出由聚合产生的多Agent系统规格表示.

摘要:针对网构软件行为中的不确定性和不完整性,提出了一种支持协商的网构软件体系结构行为建模与验证方法.在建模中,该方法借鉴了UML时序图元素表示法,并增加了建模元素支持行为的不确定与不完整建模.在验证中,除了集成广泛应用的模型检查工具Spin以提供行为模型的验证能力以外,还引入了基于反例引导的抽象-精化过程思想的协商检查,以解决不确定和不完整建模所带来的正确性验证问题.

摘要:网构软件代表了Internet环境下的一种新型的软件形态,但仍然面临着外部环境显式化、软件实体主体化、运行机制自适应等问题.从构件的角度出发,提出了EBDI(electronic business document exchange)结构以表示能够根据环境变化实施自主行为的构件,利用动态绑定关系解释了构件的自适应演化特征.根据形式化的Role模型,描述了构件的运行状态、自主运行及自适应演化运行机制.开发了DAgent-Internetware原型作为网构软件的支撑平台,支持以DAgent为构件的网构软件从设计到实现、部署、运行、演化等一系列流程.

摘要:旨在从形式化抽象的角度来认识移动计算的本质特点.分析了志愿计算平台的特征,提出并分析了志愿计算中的3种角色以及志愿计算中资源和构件的概念,介绍了一种关于志愿计算的形式化模型和方法.对系统中的基本元素和交互关系进行了形式化的描述,并通过集合理论和操作规约,又以志愿计算平台XtremWeb为例,描述了构件化的志愿计算形式模型和方法,为系统地研究志愿计算形式化理论打下了基础.

摘要:现代构件系统通常包含多个并发执行的主动构件,这使得验证构件系统的正确性变得十分困难.通过对构件演算进行扩展,提出了一种主动构件的精化方法.在构件接口层引入契约.契约使用卫式设计描述公共方法和主动活动的功能规约.通过一对发散、失败集合定义契约的动态行为,并利用发散、失败集合之间的包含关系定义契约间的精化关系.证明了应用仿真技术确认契约精化关系的定理.定义构件的语义为其需求接口契约到其服务接口契约的函数,以此为基础,可以通过契约的精化来证明构件的精化.给出了构件的组装规则.在构件系统自底向上的构造过程中,应用构件的精化方法和组装规则可以保证最终系统的正确性.

摘要:针对构件组合的状态爆炸问题,改进了反例引导的抽象精化框架,提出了组合式的抽象精化方法,使构件组合的模型检验转化为各成分构件的局部抽象精化,降低了分析的复杂度.提出了在构件组合情况下基于等价关系和存在商的构件抽象方法,用构件抽象的组合建立构件组合的抽象;提出了组合确认定理并给出证明,使反例确认分解为在各构件上对反例投影的确认;通过对单个构件的等价关系的精化实现构件组合的抽象模型的精化.在模型检验构件组合的过程中,不需要为构件组合建立全局的具体状态空间.

摘要:网构软件不确定的数据需求导致了其数据语用(data pragmatics,简称DP)的不确定性,进而要求数据语用的支撑机制具备动态适应能力,即应用的对象属性与数据表之间的对应关系可以按需动态地创建、更新、删除.针对当前持久化技术缺乏数据语用的动态适应性问题,提出了一种基于对象/关系映射的数据语用动态支撑方法POD(persistence on demand),并且在主流ORM(object/relational mapping)框架的基础上实现了一个遵循POD的持久化框架的原型系统.

摘要:提出了网构软件环境下一种基于非确定性推理的构件服务质量动态评估方法.该方法基于贝叶斯网络,其主要特点在于考虑了用户对构件的QoS需求,可以预测在用户多种QoS需求下采用分级策略的构件服务能力,支持评估模型的动态更新,提高了评估结果的准确性.在自主开发的服务协同总线(Once-SCB)平台上进行了应用与验证,结果表明,该评估模型准确、有效,可以在用户多种QoS需求下为其选择最为合适的构件.

摘要:针对基于构件的网构软件系统对环境资源变化的自适应性特征的可信分析与验证展开研究.具体工作包括:在网构软件的系统模型层次,使用带资源语义信息的接口自动机对软件构件的行为进行形式化建模,其包含了构件在完成特定功能的过程中对环境资源的使用特征;使用资源接口自动机网络来描述构件组装实体的组合行为;使用基于场景的UML顺序图模型来描述具有多功能的组合系统规约;分别研究了检验组合系统的所有行为是否都满足给定的资源约束以及检验指定的系统行为是否满足资源约束这两个具体问题;通过对资源自动机网络状态空间的分析,构造其相应的可达图,在此基础上给出了相应的检验资源可满足性、最小资源需求量以及检验指定功能合法性等算法.

摘要:提出一种解决OSGi平台上服务动态演化的方法.针对OSGi平台的服务动态演化提出了重定向方法,解决了服务类定义的动态更新,较好地满足了演化中服务的透明性问题;提出了实现和数据相分离的方法,解决了服务动态演化中公共数据的一致性问题和动态演化问题;探讨了服务动态演化中服务增、减等问题.对所提出的方法均通过实例说明了其设计、运行和更新的可行性.所提出的方法可以用于指导解决组件、服务和面向对象软件动态演化中的相关问题.

摘要:提出了一个基于域的自适应副本选择模型DARSM(domain based adaptive replica selection model).该模型将组件副本划分为强一致性域和弱一致性域,域间通过一致性窗口机制进行状态同步.基于DARSM模型,给出了一种基于分区加权的自适应副本选择算法PWARS(partition-weighted based adaptive replica selection).该算法利用动态性能度量信息来选择满足时间约束和一致性约束的组件副本集合.为了适应请求一致性约束的动态变化,还提出了一致性窗口自适应重配算法CWAR(consistency window adaptive reconfiguration).通过引入的一个一致性约束的可能性模型,该算法动态地对一致性窗口进行重配,从而实现了副本一致性的自适应控制.通过在OnceAS应用服务器集群中的原型实验及性能评价,表明该方法能够明显地提高副本选择的性能.

摘要:介绍了一种面向电信增值业务领域的流程描述语言XPL(extended-calling process language)以及支持该语言的业务生成系统.XPL拥有较强的语音类业务描述能力和数据类业务描述能力,具有抽象层次高,使用灵活、简单,开发业务速度快的特点.该业务生成系统基于面向服务的构架(services-oriented architecture,简称SOA),适用于网络融合条件下的业务生成.

摘要:结合过去3年中设计、开发和部署BNeck系统的经验,分析了13个可用带宽度量系统的工作原理及软件实现,并在此基础上总结了可用带宽度量系统中存在的若干基本问题.对这些问题的研究,不仅有利于设计和开发出高效、准确的度量系统,也有利于推动网络管理和视频通信等多个相关领域的共同发展.

摘要:对新提议的一种基于线性反馈移位寄存器、非线性反馈移位寄存器和过滤布尔函数的序列密码结构的安全性进行了研究,对这种结构给出了一种区分攻击.举例子说明了此攻击的有效性.这种新的攻击表明,此种新的序列密码结构存在潜在的安全弱点.