专利名称：一种消除跨管理域服务协同可信危机的方法
技术领域：
本发明涉及网络协同自组织技术领域，尤其是一种跨管理域服务协同自组织方法。
背景技术：
服务计算(SOC)和服务架构(SOA)的兴起，使得按需动态建立基于服务供、需关系的跨管理域服务协同(面向服务的协同)成为可能，并由此显著提升企事业创新、应变和敏捷处理复杂事务的能力。然而，跨管理域服务固有的不可控制性，使得协同双方的行为难以预言和控制，导致服务协同及其期望结果的不可信(不可靠)
发明内容
为了克服已有网络协同自组织方法的不可控、可靠性较差的不足，本发明提供一种有效可控、可靠性良好的消除跨管理域服务协同可信危机的方法。本发明解决其技术问题所采用的技术方案是一种消除跨管理域服务协同可信危机的方法，所述方法包括应用域法规调控的服务协同方法、策略驱动的协同行为自主管理方法和虚拟社区的协同促进管理方法，其中，应用域法规调控的服务协同方法由E机构和服务契约模板构成的协议体系作为宏观层法规去约束动态参与服务协同和VOs的自治个体，所述自治个体为代理Agents，使得只要所有个体都遵从应用域法规；尽管个体追求的是自身私有的业务目标，且个体的内部结构和心理活动不为外部所见，仍然可以信任服务协同和VOs能够达到期望的全局目标；所述策略驱动的协同行为自主管理方法运用管理策略去驱动代理Agents以使它们自身的微观行为遵从相应的法规；所述虚拟社区的协同促进管理按照制定于Agent社区的社交促进E机构，部署承担协同促进型角色的代理Agents去提供协同辅助和维护协同秩序。进一步，所述应用域法规调控的服务协同方法中，建立应用域法规的过程如下提供E机构表示语言EIRL，用于制定对服务协同作宏观调控的应用域E机构，其从3个方面表示宏观调控服务协同的法规社交结构标准、配套的协同行为规范、和应用域本体；具体如下(I)社交结构标准作为协同参与者必须遵从的硬约束，包括应用域提供的业务服务集、服务协同中代理Agents承担的业务操作型角色集、以及通过这些角色来协同完成的分布业务流程；(2)配套的协同行为规范指定承担各业务操作型角色的代理Agents在服务协同中可以行使的权利、必须履行的义务和对于某些行为的禁忌，尤其是履行服务契约的义务，使得只要协同参与者都遵守相应的协同行为规范，就可信任通过服务协同能够完成预期的目标；按照义务逻辑，OBbor11 (P ^ δ I σ)表示业务操作型角色bor在σ保持为真的条件下，于5由假变真指示的截至期限前有义务使P由假变真，其中，P、δ、σ均是描述服务协同状态的命题；(3)社交结构标准和协同行为规范内容细节的定义遵从应用域本体，应用域本体定义描述业务操作型角色、分布业务流程、业务服务、以及协同行为规范时参照的应用域概念、属性和关系，使得标准和规范的内容具有应用域赞同一致的句法和语义。本发明的技术构思为通过开发RGPDCF方法(the method forclosely-coupling technologies of Regulation-Governed,Policy-Driven,andCooperation-Facilitated)，去消除跨管理域服务协同面临的“可信”危机(类比于消除网络安全隐患)，以促使服务协同自治性的提高(类比于自动化程度的提高)，进而服务协同的大规模部署。
以软件Agents作为企事业工作于Internet环境的智能代理(以下简称代理Agents)，开发面向服务协同的调控机制来促使代理Agents遵从应用域协同法规，以使面临“可信”危机的服务协同转变为可预言、可控制、从而可信任。本发明的有益效果主要表现在消除跨管理域服务协同和VOs面临的“可信”危
机，并为实现自治的服务协同(Service-Oriented Cooperation)扫除了障碍--消除了
“自治”和“可信”需求相互冲突的两难困境；使得软件Agents可以作为服务供、需方代理，有效和高效地支持服务协同和VOs的按需、动态和优化地自主组建，以及运行时的自适应和自演化。解决“可信”危机的关键在于制定健全的应用域协同法规(包括应用域E机构和服务契约模板)，去调控(约束)个体的协同参与行为，使得只要这些个体都遵从应用域协同法规，就可信任由这些个体动态组建的服务协同能够完成拟定目标(使命)。然而，跨管理域个体固有的不可控制性，又使得如何确保个体都遵从E机构制定的法规面临严重挑战。为应对这一挑战，设置了 2个配套技术加以支持策略驱动的协同行为自主管理和虚拟社区的协同促进管理。前者旨在驱动个体(Agents)让其微观行为理性地尊重法规，使法规能够被个体采纳、接受和遵从；后者则在虚拟社区部署协同促进型角色，去辅助和迫使个体遵守法规，使法规的宏观调控作用能可靠地施加到协同参与个体。
图I是IGTASC方法由3个紧密耦合的技术构成，用于有效支持的三层次虚拟社会的示意图。图2是从3个方面建模应用域E-机构制定的法规社交结构标准、配套的协同行为规范、和应用域本体的示意图。图3是组建服务协同和VO时策略驱动的Ace行为自主管理(双箭头线指示从本地业务过程产生多个获取外部服务的目标)的示意图。图4是强制性调控机制(方框指示促进服务，双箭头指示时序关系)的示意图。
具体实施例方式下面结合附图对本发明作进一步描述。参照图I 图4，一种消除跨管理域服务协同可信危机的方法，通过紧密耦合3个技术应用域法规调控的服务协同、策略驱动的协同行为自主管理和虚拟社区的协同促进管理，RGPDCF方法能够有效支持三层次(Agent社区、可信的自治VOs、理性Agents)虚拟社会的运转，消除跨管理域服务协同面临的“可信”危机，进而确保按需动态建立的自治服务协同和包含多个服务协同的VOs (VirtualOrganizations)能够实现建立服务协同和VOs时指定的目标(图I)。应用域法规调控的服务协同旨在制定由E机构(E-Institutions)和服务契约模板构成的协议体系作为宏观层法规去约束动态参与服务协同和VOs的自治个体(代理Agents)，使得只要所有个体都遵从这些法规，个体的行为和协同效果就可加以精确地预言和控制。从而，尽管个体追求的是自身私有的业务目标，且个体的内部结构和心理活动不为外部所见，仍然可以信任服务协同和VOs能够达到期望的全局目标(组建服务协同和VOs时指定的目标)。然而，如何使所有参与服务协同和VOs的个体都遵从制定于E机构的法规，是必须解决的问题。策略驱动的协同行为自主管理和虚拟社区的协同促进管理技术能够辅助该问 题的有效解决。前者旨在运用管理策略去驱动代理Agents以使它们自身的微观行为遵从相应的法规；而后者则按照制定于Agent社区的社交促进E机构，部署承担协同促进型角色的代理Agents去提供协同辅助和维护协同秩序(例如，应用奖、惩手段迫使代理Agents遵从相应法规)。由此，E机构的宏观层调控作用能够可靠地施加到参与协同的代理Agent。本实施例的消除跨管理域服务协同可信危机的方法的过程如下I)建立调控服务协同的应用域法规，包括应用域E机构和服务契约模板提供E 机构表不语言 EIRL (E-Institution Representation Language),用于制定对服务协同作宏观调控的应用域E机构，其从3个方面表示宏观调控服务协同的法规(准贝U):社交结构标准、配套的协同行为规范、和应用域本体(图2)。(I)社交结构标准作为协同参与者必须遵从的硬约束，包括应用域提供(或消费)的业务服务集、服务协同中代理Agents可以承担的业务操作型角色集、以及通过这些角色来协同完成的分布业务流程。鉴于社交结构标准描述的这些刚性又足够细化的约束完全确定了实现服务供、需的方式和上下文，只要代理Agents按照其承担的业务操作型角色所指定的业务处置角色消费或提供相应的业务服务，就可动态、快捷地建立服务供、需协同关系，进而使得服务协同的自组织具有较高的可信度。(2)配套的协同行为规范(准则)指定承担各业务操作型角色的代理Agents在服务协同中可以行使的权利、必须履行的义务和对于某些行为的禁忌，尤其是履行服务契约的义务，使得只要协同参与者都遵守相应的协同行为规范，就可信任通过服务协同能够完成预期的目标。按照义务逻辑(Deontic logic), 0BborD ( P彡δ | σ)表示bor (业务操作型角色)在σ保持为真的条件下，于δ由假变真指示的截至期限前有义务使P由假变真(P、δ、σ均是描述服务协同状态的命题)。权利和禁忌也可作类似定义。(3)社交结构标准和协同行为规范内容细节的定义遵从应用域本体(Ontology)。应用域本体定义描述业务操作型角色、分布业务流程、业务服务、以及协同行为规范(权利、义务、禁忌)时参照的应用域概念、属性和关系，使得标准和规范的内容具有应用域赞同一致的句法和语义。作为应用域宏观层法规的重要组成部分，给每个业务服务制定的契约模板由3个部分组成基础信息定义、服务质量(QoS)和契约履行协议模板。基础信息的定义表示为一组嵌套的概念(简单情况下可以是单一概念，如概念“购物订单”)，服务质量定义SLOs(Service Level Objectives,服务级目标)以及SLOs参照的参数和参数的量度,而契约履行协议模板则表示为协同行为规范的部分排序集。构成契约履行协议模板的规范和给E机构配套的协同行为规范具有同样的表示形式，但聚焦于约束服务协同过程中细化的社交活动，以使这些社交活动可预测和控制。2)给代理Agents设置策略驱动的协同行为自主管理能力为使参与服务协同的个体(人类组织或个人)都能够遵从应用域协同法规，本方法给所有个体建立代理Agents作为它们在Internet提供和/或消费业务服务的代理，并配置策略驱动的协同行为自主管理能力。由此，代理Agents成为能够按照应用域E机构的社交结构标准提供和/或消费业务服务，且自治行为接受外部约束的宏观调控、由管理策略驱动的理性个体。外部约束包括应用域E机构制定的协同行为规范、服务契约(作为服务契约模板的例示)包含的协同行为规范、以及代理Agents拥有者下达的本地业务指令和处置 原则；理性意指代理Agents的自治行为遵从这些外部约束，从而被外部观察者(人或其它代理Agents)认为是合理、可控，进而可信的；而管理策略则作为依据外部约束和协同状态来决策Agent协同行为的原则或规则。3)建立设置于虚拟社区的协同促进管理为促使代理Agents遵守协同行为规范，本方法建立设置于虚拟社区的协同促进管理。其配置按照协同促进型角色(定义于社交促进E机构)提供协同促进服务的一组管理型Agents，去辅助和迫使代理Agents遵守协同行为规范和服务契约。社交促进E机构设置4个协同促进型角色(依据需求还可以增加)社区主管、服务中介、仲裁和监视。I)承担社区主管角色的管理型Agent给代理Agents提供注册、信誉查询、不良信誉的备案和制裁等促进服务；2)承担服务中介角色的管理型Agent提供业务服务的能力广告和协同伙伴推荐等促进服务；3)承担仲裁角色的管理型Agent提供服务契约的公证和违约仲裁等促进服务；4)承担监视角色的管理型Agents (可设置多个)则提供契约履行协议执行报告的接收和违约分析等促进服务。促进服务划分为三类I)信息备案类服务——包括社区注册、业务服务发布、契约公证、契约履行报告接收等；这些服务建立备案于社区的共享信息，用于作为管理型Agents提供辅助类服务和调控类服务的依据。2)辅助类服务一包括协同伙伴推荐、注册和信誉查证等；这些服务旨在辅助服务协同的建立和优化。3)调控类服务——包括违约仲裁、违约分析、信誉评价等；这些服务依据代理Agents承诺遵守的协同行为规范(通过角色承担契约)和服务契约履行协议，操作化对于服务协同行为的检测和制约。跨管理域服务协同“可信”危机的消除的过程如下I)制定应用域E机构和服务契约模板作为代理Agents参与服务协同必须遵从的法规，使得(I)只要代理Agents承担设置于应用域E机构社交结构标准的某个业务操作型角色，并按照该角色指定的业务处置角色消费或提供相应的业务服务，代理Agents就能够不依赖人工干预，自主、动态地建立彼此间的服务供、需协同关系。(2)只要代理Agents在按照承担的角色消费或提供业务服务时，都遵从应用域E机构给这些角色和服务配置的协同行为规范，就可使代理Agents的服务协同行为变成可预测、可控、进而可信。(3)只要代理Agents在开展所建立的服务供、需协同过程中，都遵从服务契约条款给服务供、需方分别制定的关于协同过程社交活动的协同行为规范，就可使这些活动成为可预测、可控、进而可信。2)给代理Agents设置策略驱动的协同行为自主管理能力，使它们能够让自己的 协同行为遵从应用域协同法规(I)依据E机构制定的相应协同行为规范，给每个代理Agent定义一组本地管理策略、一组用于触发这些策略的事件、以及可由这些策略驱动的遵从规范的本地操作。(2)每个管理策略的定义包括触发模式和处理脚本。每当与触发模式匹配的事件出现时，该策略激活，并通过处理脚本驱动本地操作(包括I-多个动作)的执行。(3)建立策略执行引擎，用于检查每个出现的事件能够触发哪个策略，并解释性执行已触发策略包含的处理脚本。(4)建立用于驱动服务契约执行引擎的本地管理策略，并为本地履行的服务契约条款配置执行后能满足后验条件的本地操作。(5)建立服务契约执行引擎，用于每次被驱动工作时检查当前的契约履行情境能够触发哪个契约条款,并执行对应的本地操作。3)建立设置于虚拟社区的协同促进管理，去辅助和迫使代理Agents遵守应用于协同法规(I)提供促进服务“社区注册”，每当代理Agent调用该服务申请承担某应用域E机构制定的业务操作型角色时，虚拟社区就审查注册者(代理Agent)的承担资格；一旦审查通过，就建立存档于社区的角色承担契约。(2)提供促进服务“协同伙伴推荐”，每当代理Agent调用该服务请求推荐某业务服务的提供者(代理Agents)时，虚拟社区将匹配请求者需求最好的I-多个业务服务提供者推荐给请求者。(3)提供促进服务“协同协商”并配置到每个业务服务的提供者，使得业务服务的需求者可以通过调用该促进服务，与候选的(社区推荐的)服务提供者协商协同关系和服务契约的建立，并由此选定适用的提供者。(4)提供促进服务“契约公证”，每当某业务服务的供、需双方签订服务契约后，只有调用该促进服务去申请公证并获得通过，服务契约才能生效并存档于社区。(5)提供促进服务“契约履行报告接收”并配置到每个代理Agent，使得按服务契约开展的服务协同过程中，每当契约条款执行后，条款执行方就可通过调用该促进服务将后验状态发送给协同对方，以便验证契约条款是否得到遵守。(6)提供促进服务“违约仲裁”，以便服务协同过程中参与协同的任意一方都可通过调用该促进服务举报协同对方的违规或违约行为，以便通过仲裁来认定违规或违约行为，加以处罚并由此推动契约的继续履行或终止。(7)提供促进服务“违约分析”，以便在社区提供促进服务“违约仲裁”时，能依据业务服务契约履行协议执行的情景(包括契约条款的定义本身和执行状态〈由社区接收的契约履行报告 >)进行违约分析，并将分析结果作为仲裁的依据。(8)提供促进服务“信誉评估”和“信誉查证”，以便将信誉扣分和降级作为对于违规或违约行为的威慑性处罚，并使代理Agents在寻找协同伙伴时能够调用促进服务“信誉查证”获取信誉信息，作为选择协同伙伴的重要依据。策略驱动的Agent行为自主管理理性Agent的运行控制依赖策略驱动的自主管理机制。以服务协同和VO的组建为例(如图3所示)，策略驱动的自主管理是一个事件触发管理策略、再由策略驱动协同活动的过程。主干过程划分成3个阶段
·接收或产生触发事件、·激活相应管理策略、·决策和驱动适当的业务活动。为通过服务协同完成本地的复合业务(例如用户请求的一个任务)，Agent需调用协同伙伴提供的外部业务服务。协同伙伴的应答过程如下(I)接收需求者(某个Agent或通过Web浏览器发请求的人)提出的服务请求。(2)该请求作为触发事件激活服务请求应答策略。(3)该策略驱动对于协同行为规范的遵守活动·检查服务请求者是否有权限，·确定服务提供者是否有义务。(4)产生触发事件“服务提供目标建立”(在业务服务的请求者有权限且提供者有义务时)。(5)该事件激活服务提供策略。(6)该策略驱动服务提供活动 服务提供活动简单时直接调用本地业务服务来完成，·复杂时则依据本地业务流程去触发I-多个获取外来服务的目标，并由此发起组建服务协同和VO的过程(包含若干服务获取活动)A)建立服务获取事件。B)该事件激活服务获取策略。C)该策略驱动服务获取活动。对于每个从外部获取的业务服务a)请求社区中介Agent推荐适用的服务提供者(Agents)。b)与推荐来的候选服务提供者协商服务契约的内容。c)选定服务提供者，并与它签订服务契约。D)—旦针对每个外来业务服务，都选定了的提供者并与之签订了契约，就建立起相应的基于服务协同的vo。E机构制定的社交结构标准和协同行为规范必须能由代理Agents内化和使用，而这是一个采纳、接收和遵从过程(I)通过向社区注册(申请承担某E机构制定的相应业务操作型角色)，可让Agents完成采纳步骤建立角色承担契约，以承诺遵守E机构制定的相关标准和规范，并将E机构编译为内部形式，作为Agent信念的组成部分，以便使用。( 2 )建立适当的本地组件及其下属的操作，用于达到相应规范拟定的目标状态，这种内部的操作化实现使规范具有能被Agents接受和使用的手段。(3)以策略驱动的方式确定Agent运行过程中触发协同行为规范的时机，并建立相应的触发事件。以便遵从触发的规范来决策自身的协同行为。在与其它服务协同目标冲突的情况下，可以触发相应的冲突消解策略来决策协同行为(包括不得已情况下的违约)。Agents的拥有者可以静态、动态、或在动态初始化时下达本地业务指令和处置原贝U，包括协同寻求约束(指定服务供、需方应满足的条件、协同信誉、候选者个数等)、协同协商原则(指定协商方式、战略、战术、服务性价指标期望值等)、协同维护原则(指定契约履行 协议的执行发生冲突时的消解方式)等。可以通过分层的管理策略，将这些指令和原则逐步映射到Agents可以执行的具体操作。2)驱使代理Agents遵守应用域协同法规的社区协同促进管理虚拟社区提供的调控类协同促进服务包括违约仲裁、违约分析、信誉评价等；这些服务依据代理Agents承诺遵守的应用域协同法规，操作化对于服务协同行为的检测和制约。调控类促进服务形成由举报、分析、仲裁、监视、制裁5个环节构成的面向规范遵守的强制性调控机制(图4)，去驱动和迫使Agents理性遵守制定于应用域E机构和服务契约的协同行为规范。针对服务契约的执行过程，强制性调控机制的具体实现方式如下(I)业务服务供、需方在按服务契约履行协议开展协同的过程中，每当出现违约冲突(即参与服务协同的一方判定对方违约，但对方不认同)时，就可通过请求(调用)“违约仲裁”服务，向承担仲裁角色的Agent举报违约冲突的出现。(2)承担仲裁角色的Agent通过请求(调用)“违约分析”服务，启动承担监视角色的Agent去作相应的分析工作。鉴于服务契约每一履行步(协同行为规范)的执行状态都已备案于虚拟社区(备案的实现契约履行步的执行方有义务通过调用虚拟社区提供的“契约履行报告接收”服务，发送契约履行步的执行状态)，承担监视角色的Agent能提供客观有效的违约分析。(3)仲裁Agent依据违约分析结果产生用于消除冲突的仲裁结果，发送给业务服务的参与双方。(4)业务服务供、需方依据仲裁结果维持服务契约的继续执行。若仲裁结果判定违约存在，则服务契约的下一履行步将执行对于违约的弥补性处理；这种处理的执行状态同样备案于虚拟社区。若发现作弥补性处理的契约履行步又被违反(例如，违约方拒不履行作弥补性处理的义务)，则依据虚拟社区制定的相应制裁规范实施制裁——建立关于违约者(违约的代理Agent)的不良信誉条款并计算处罚扣分，备案，并通知承担社区主管角色的Agent作进一步处理。(5)承担社区主管角色的Agent审查违约者的违约历史，依据违约历史和累计的处罚扣分决策是否作进一步的制裁；进一步的制裁包括信誉降级和暂停违约者承担某个协同角色的权利，直至驱逐出虚拟社区。服务契约是上述强制性调控机制工作的主要依据。本方法只考虑能满足大多数主流应用的面向服务供、需的2方契约(其实多方契约可以分解为多个2方契约)，其由2部分组成基本信息、契约履行协议。前者指定协同双方承担的业务处置角色、契约有效期限、月艮务内容(提供的操作或商品方法，以及价格和数量信息)、服务质量等；后者则设计成由称为契约履行规范的协议条款(契约履行步)构成的偏序集，即某些履行规范的成功执行或违反是激活其它履行规范的触发器。人类社会已在各种应用域(如保险业、金融业、零售业等)建立了契约履行协议的样板，只要稍加修改就可作为Agent契约履行协议的参数化模板。针对E机构制定的与社交结构标准配套的协同行为规范，强制性调控机制的具体实现方式类似。已建立了 3个典型的模拟测试例数据挖掘、知识供应和小型会议安排，分别面向在线即时型应用、在线非即时型应用和离线型应用，以验证大范围应用本方法的可行性。实验证明，在本方法消除“可信”危机的基础上建立的可信自治协同构架具有广泛的应用域和实用前景。
动态、快捷地实现基于服务协同的企业联盟和政务协作，是最有潜力的应用领域，并具有广阔的市场前景。通过支持SCVO (Service Cooperation-based VO,基于服务协同的V0)形态企业联盟的动态按需组建，可以有效消除现今网络化制造应用系统面临的困难缺乏自主、协同和对于需求和环境变化的反应能力，也能消除越趋复杂的Internet环境下人工部署、管理和维护VO面临的困难，提高VO可用性，并降低管理成本；必将受到中小企业的欢迎，从而具有广阔的推广应用前景。我们已经建立了一个面向企业联盟的模拟测试例，去验证本专利在提升工商企业的竞争能力和应变能力方面的效用，为开发工商领域中的实际应用作好了准备。随着我国经济的高速发展和社会的持续进步，要求政府快速、高质量地处理好突发事件和复杂事务的呼声越趋高涨，使得改变目前政府多部门协同处理事务能力严重不足的状况，成为迫切需要解决的重要问题。通过动态、按需建立自治式可信SCVOs，可以显著提高多政府部门协同处理突发事件和复杂事务的能力，提高政府办公效能强势的形象，具有广阔的推广应用前景和重要的社会效益。我们已经建立了一个面向环境污染危机处理的政府多部门协同模拟测试例，去验证本专利在提升政府部门处理突发事件和复杂事务的能力以及办公效能方面的作用，为开发政务领域中的实际应用作好了准备。
权利要求
1.一种消除跨管理域服务协同可信危机的方法，其特征在于所述方法包括应用域法规调控的服务协同方法、策略驱动的协同行为自主管理方法和虚拟社区的协同促进管理方法，其中， 应用域法规调控的服务协同方法由E机构和服务契约模板构成的协议体系作为宏观层法规去约束动态参与服务协同和VOs的自治个体，所述自治个体为代理Agents，使得只要所有个体都遵从应用域法规；尽管个体追求的是自身私有的业务目标，且个体的内部结构和心理活动不为外部所见，仍然可以信任服务协同和VOs能够达到期望的全局目标； 所述策略驱动的协同行为自主管理方法运用管理策略去驱动代理Agents以使它们自身的微观行为遵从相应的法规； 所述虚拟社区的协同促进管理按照制定于Agent社区的社交促进E机构，部署承担协同促进型角色的代理Agents去提供协同辅助和维护协同秩序。
2.如权利要求I所述的一种消除跨管理域服务协同可信危机的方法，其特征在于所述应用域法规调控的服务协同方法中，建立应用域法规的过程如下提供E机构表示语言EIRL，用于制定对服务协同作宏观调控的应用域E机构，其从3个方面表示宏观调控服务协同的法规社交结构标准、配套的协同行为规范、和应用域本体；具体如下 (1)社交结构标准作为协同参与者必须遵从的硬约束，包括应用域提供的业务服务集、服务协同中代理Agents承担的业务操作型角色集、以及通过这些角色来协同完成的分布业务流程； (2)配套的协同行为规范指定承担各业务操作型角色的代理Agents在服务协同中可以行使的权利、必须履行的义务和对于某些行为的禁忌，尤其是履行服务契约的义务，使得只要协同参与者都遵守相应的协同行为规范，就可信任通过服务协同能够完成预期的目标；按照义务逻辑，OBbor11 (P ^ δ I σ)表示业务操作型角色bor在σ保持为真的条件下，于δ由假变真指示的截至期限前有义务使P由假变真，其中，P、δ、σ均是描述服务协同状态的命题； (3)社交结构标准和协同行为规范内容细节的定义遵从应用域本体，应用域本体定义描述业务操作型角色、分布业务流程、业务服务、以及协同行为规范时参照的应用域概念、属性和关系，使得标准和规范的内容具有应用域赞同一致的句法和语义。
全文摘要
一种消除跨管理域服务协同可信危机的方法，包括应用域法规调控的服务协同方法、策略驱动的协同行为自主管理方法和虚拟社区的协同促进管理方法，其中，应用域法规调控的服务协同方法由E机构和服务契约模板构成的协议体系作为宏观层法规去约束动态参与服务协同和VOs的自治个体，所述自治个体为代理Agents；所述策略驱动的协同行为自主管理方法运用管理策略去驱动代理Agents以使它们自身的微观行为遵从相应的法规；所述虚拟社区的协同促进管理按照制定于Agent社区的社交促进E机构，部署承担协同促进型角色的代理Agents去提供协同辅助和维护协同秩序。本发明有效可控、可靠性良好。
文档编号H04L29/06GK102970275SQ20121028014
公开日2013年3月13日 申请日期2012年8月8日 优先权日2012年8月8日
发明者高济, 郭航, 张登辉 申请人:浙江树人大学