基于行为的构件组合及存在性检查

多个构件的组合可以解决单个构件的行为不能完全满足用户需求的问题。构件组合的关键是检查组合后复合构件的行为是否完全满足用户的需求。针对上述问题,提出一个基于行为的构件组合方法。该方法采用具有终止状态的接口自动机描述构件行为和用户需求。为了检查组合后复合构件的行为是否满足用户需求,提出基于行为映射图的组合存在性检查方法,给出从复合构件中提取用户所需行为的方法。     

基于范畴论的构件行为组合研究

针对基于构件开发过程中单个构件功能难于满足用户需求的问题,提出一种利用范畴论对构件行为进行组合的方法,用以实现复杂的业务功能。采用范畴论给出构件的形式语义描述,构件与构件之间的行为交互关系采用图表进行建模。给出一种基于图表推出的构件行为组合方法与推出运算的算法实现。实际应用结果表明,该方法对构件的形式化描述更加精确,构件组合也更加有效快捷。     

构件近似匹配的度量研究

针对构件在实际应用中往往不能完全满足用户需求的问题,通过比较需求的前置和后置与构件的前置和后置间的关系,提出了一种评估构件对需求近似匹配性的度量方法,来定量地刻画构件的具体实现与用户需求的近似关系。在此基础上,通过复用构件之间的约束关系,给出了基于构件的软件对用户需求近似匹配的度量规则。     

基于图的Web服务组合优化的研究

单个Web服务难以满足实际应用的需求，如何组合已有的服务，形成新的服务，已成为此领域的研究热点。现在的组合方法极少考虑服务质量QoS（Quality of Service）。对于一些提供相似功能的Web服务，服务质量是判断是否选择此服务的关键因素，组合服务的质量必须满足用户的需求。本文基于SOA的服务开发思想，针对当前服务组合存在的问题，提出了一种基于QoS的服务组合方法，并给出了构建基于QoS的Web服务组合及选择最佳服务的策略，通过整合单个服务的质量以得到最终组合服务的整体最佳质量。在满足用户组合服务的功能需求的同时，也满足了用户对服务质量QoS的需求，实现了需求服务的优化。     

用户QoS需求导向的服务演化选择策略

服务型软件以其特有的优点被广泛应用,而面向QoS服务选择问题的解决能更有效地推动服务的普及。组合服务的演化性要求在服务发生演化时,从具有相同功能的候选服务中选择满足用户QoS需求的候选服务。为了在满足用户QoS需求的情况下选择最优的服务,基于遗传算法,提出一种用户QoS需求导向的服务演化选择策略。通过淘汰不满足用户QoS需求的候选服务,快速排除不符合需求的服务,并最终选择符合用户QoS需求的服务组合。实验结果表明,用户QoS需求导向的服务演化选择策略能够较优和较快地解决服务组合选择问题,并保证用户QoS需求,为服务选择提供一种新的方法和思路。     

面向服务组合的用户隐私需求规约与验证方法

用户向Web服务组合提供隐私数据时,不同用户有自身的隐私信息暴露需求,服务组合应支持用户隐私需求的可满足性验证.首先提出一种面向服务组合的用户隐私需求规约方法,用户能够定义隐私数据及不同使用情境的敏感度,采用敏感度-信誉度函数明确可以使用隐私数据的成员服务,简化隐私需求的同时,提高了隐私需求的通用性.为了验证服务组合是否满足用户隐私需求,首先通过隐私数据项依赖图（privacy data item dependency graph,简称PDIDG）描述组合中隐私数据项的依赖关系,然后采用隐私开放工作流网（privacy open workflow net,简称POWFN）构建隐私敏感的服务组合模型,通过需求验证算法验证服务组合是否满足用户隐私需求,从而能够有效防止用户隐私信息的非法直接暴露和间接暴露.最后,通过实例分析说明了该方法的有效性,并对算法性能进行了实验分析.     

基于反射机制的系统行为一致性判定模型研究*

构件演化是一种基于软件产品族的软件开发方法,它能够以较低的开发成本满足用户不断变化的功能需求.然而,构件演化可能会导致系统演化前后行为的不一致.对构件演化一致性问题进行了较为深入的研究,提出了正常运行一致性、兼容性一致性的概念,并把兼容性一致性分为观察一致性、弱一致性、强一致性,并基于反射机制建立了一种构件系统行为一致...     

基于逻辑推理的构件组装策略及其算法

针对构件组装体系框架,提出一种适用于无状态构件的组装策略,用于满足用户的构件检索请求．该策 略通过进程代数理论形式化描述构件行为,提高匹配度,并提出了2 种基于逻辑推理的检索算法SABLR（searching algorithm based on logical reasoning）和ASABLR（advanced searching algorithm based on logical reasoning）加以支持． 检索算法均应用正向推理的思想,判别构件仓库中是否含有用户请求构件信息．算法可以判别2 种状况：一是库中 直接含有请求构件信息,二是库中部分构件可经组装后满足用户请求．克服了普通构件检索算法无法判别第2 种状 况的缺点．最后,通过实例分析和算法ASABLR 的实现,证明该策略的有效性和可行性．     

构件组合的一致性验证和冗余行为去除

构件组合的一致性验证和冗余行为的去除是基于构件的软件开发领域的重要问题。基于此,通过把组合接口自动机看作从初始状态出发,经过由2个构件的交替动作重新回到初始状态的过程,用更直观的方法表示构件组合中的非法状态。以场景规范的形式化方法为基础,利用接口自动机的过程性质给出构件组合的一致性检查的算法及去除冗余行为的方法。     

软件功能需求驱动的商业构件评估

提出了一种由软件功能需求驱动的评估和选择商业构件（COTS）的新方法。该方法首先基于FCD方法将系统的功能需求分解到各个功能模块。对每个功能模块,识别出一组候选构件,用户根据给定的模板评价候选构件对功能需求的满足度和构件功能的有用性。最优构件组合在给定成本约束下,具有最大的全局需求满足度。选择最优组合的过程是求解一系列优化问题的过程。最后用一个例子进一步说明和验证了该方法。     

基于符号模型检测的Web服务组合形式化验证

随着经济的发展和市场竞争的加剧,企业必须能够快速且准确地满足市场和用户的各种需求。Web服务组合正是由于单个Web服务不能满足企业及用户的需求而产生的一种技术,而如何确保组合的正确性来实现服务增值是一个尚未完全解决的问题。针对此问题,提出了一种基于符号模型检测器NuSMV对Web服务组合进行验证的方法,并提出了基于消息会话的Web服务有限状态自动机的形式化定义。最后实例验证了Web服务组合交互的正确性和有无死锁状态现象,进一步证明了方法的可行性。     

网络社区用户行为仿真与分析

借鉴行为经济学中的心理账户理论,将用户在参与网络社区时的心理账户分为社区归属感、知识共享、人际关系的维护和个人价值认同四个子账户,通过模拟社区中活跃者和潜水者在参与社区话题时心理账户对行为的影响,得出了网络社区用户数量变化及其影响因素的重要结论. 这些结论对于帮助社区经营者准确地把握用户行为的深层次心理需求,及时改善社区经营具有重要意义.     

一种基于网格和密度的数据流聚类算法

在"数据流分析"这一数据挖掘的应用领域中,常规的算法显得很不适用.主要是因为这些算法的挖掘过程不能适应数据流的动态环境,其挖掘模型、挖掘结果不能满足实际应用中用户的需求.针对这一问题,本文提出了一种基于网格和密度的聚类方法,来有效地完成对数据流的分析任务.该方法打破传统聚类方法的束缚,把整个挖掘过程分为离线和在线两步,最终通过基于网格和密度的聚类方法实现数据流聚类.     

基于逻辑推理的构件行为片段提取与重组研究

从构件组装研究背景出发,针对软件应对复杂多变的业务需求时的不足,提出了一种基于逻辑推理的构件行为片段提取与重组算法。其主要思想是在研究构件接口映射、状态变迁的基础上,建立构件行为的结构模型和状态模型,并将其分解为基于π关系推导的构件行为片段。最后根据逻辑推理的方法,再将目标输入输出作为待求解,从关系推导中挖掘有效的行为片段进行重组,组装成一个满足目标需求的复合构件。     

Online reconfiguration of component-based applications in PacoSuite

In this paper, we present an original approach for enabling online reconfiguration of component-based applications. This research fits into our component composition methodology PacoSuite, that makes use of explicit connectors between components, called composition patterns. Both components and composition patterns are documented by making use of a special kind of MSC. We propose an algorithm to check whether a new component can fulfill the role of an old component in a given composition pattern, without the need to revalidate the entire composition all over again. To enable online reconfiguration, we extend the documentation of a component with a new primitive that specifies when a component reaches a safe state. This approach enables to swap a component at run-time, while maintaining a consistent application.     

基于进程代数的构件语义标注技术研究

针对组合构件的语义标注问题,提出基于进程代数的自动标注方法,以减小构件库开发人员手工标注大粒度组合构件语义的工作量。采用本体描述构件的语义,对于不同结构的组合行为,通过进程演算抽取交互行为的执行序列,给出组合构件语义的抽取、合成方法及相应的语义标注算法。将该技术集成到JTangComponent平台上进行实验,结果标明其提高了语义标注的自动化程度,可以为复用构件提供语义保障。     

一种行为驱动的构件交互适配模型

软件构件化是提高软件开发效率和降低重复性劳动的重要途径之一,但一直面临着构件实体之间的行为交互失配问题。对此,构造了一个构件行为本体,其中包括构件体、构件行为及构件行为性质,并根据构件行为本体提出了构件交互适配模型。在该模型中,依据构件行为性质将构件集合划分成不同的构件组,利用构件组内复合行为的完整性探测构件交互死锁,并通过自定义行为规则适配构件交互死锁。最后,对构件组与适配器之间的一一对应关系进行证明。     

浅谈服务器的安全维护与管理

服务器的安全稳定运行,是网络用户可靠访问和需求实现满足的重要保障,做好服务器的日常安全维护与管理是达到这一目标的关键,本文就此问题进行讨论。     

Web Service Configuration Under Multiple Quality-of-Service Attributes

With the popularity of Internet technology, Web services are becoming the most promising paradigm for distributed computing. However, when a single Web service fails to meet service requestor's multiple function needs, web services need to be dynamically configured together to form a web service composition. Since there may be many configurations providing identical functionality with different quality-of-service (QoS), a choice needs to be made according to users' functional and nonfunctional requirements. In this paper, we formulate a Web service functional configuration problem by using Petri nets. The graph structure and algebraic properties of the model are analyzed in detail to show that a basis solution of a state-shift equation of the Petri net model corresponds to a realizable configuration process. This result is later used to formulate the multiple attribute QoS optimization problem to a linear programming problem. Finally, a case study is performed to show that the proposed analysis result can be effectively applied in practice.