检索结果-南通市图书馆

计算机集成制造系统 2012年第3期18卷 662-671页

作者：袁敏黄志球李祥闫艳南京航空航天大学计算机科学与技术学院江苏南京210016 湘南学院计算机科学系湖南郴州423043

为有效地保证Web服务业务活动中事务可靠地执行,提出了一种检查伙伴服务之间协调行为一致性的方法。针对长事务给出用Pi-演算建模业务活动中服务协调行为的方法;定义了标号迁移系统和Kripke结构这两种状态自动机之间的语法映射关系,提出... 详细信息

为有效地保证Web服务业务活动中事务可靠地执行,提出了一种检查伙伴服务之间协调行为一致性的方法。针对长事务给出用Pi-演算建模业务活动中服务协调行为的方法;定义了标号迁移系统和Kripke结构这两种状态自动机之间的语法映射关系,提出了Pi-演算进程模型到符号模型检测工具输入语言的转换方法;在模型检测结果的基础上,用反例引导用户进一步精化模型,以解决业务流程集成中参与者协调一致性问题。通过实例验证了该方法的有效性。

关键词：业务流程集成长事务服务协调 Pi-演算形式化验证 Web服务

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

支持业务事务验证的服务协调模型

引用

小型微型计算机系统 2011年第9期32卷 1734-1739页

作者：袁敏黄志球李祥南京航空航天大学信息科学与技术学院南京210016 湘南学院计算机科学系湖南郴州423043

在Web服务业务流程中如何保证参与者之间的协调一致性是亟待解决的重要问题.Web服务事务规范中描述的参与者之间的交互消息缺乏严格的语义,无法精确地描述复杂的协调活动,本文用Pi-演算形式化描述WS-TX规范中定义业务活动事务的WS-BA协... 详细信息

在Web服务业务流程中如何保证参与者之间的协调一致性是亟待解决的重要问题.Web服务事务规范中描述的参与者之间的交互消息缺乏严格的语义,无法精确地描述复杂的协调活动,本文用Pi-演算形式化描述WS-TX规范中定义业务活动事务的WS-BA协议,在此基础上建立了适用于多方参与的业务事务的服务协调模型;并利用基于等价自动机转换的HAL模型检测工具,验证分析了WS-BA协议的安全性和活性,给出一个多方参与的业务事务实例的验证过程,介绍如何利用模型检测技术来分析业务流程设计正确性的方法,有效地确保了业务事务执行的可靠性和一致性.

关键词：服务协调业务流程事务形式化建模

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

民间行业性社团如何发挥服务协调作用

引用

江苏商论 1993年第5期 24-25,48页

(一) 镇江市百货业同业公会是在市委、市政府的关心、支持下,经市委统战部、市体改委、市工商联牵头并具体筹组于1991年4月10日正式建立的。公会主要由百货行业的企业与个人自愿组成,是一个跨地区、跨系统、跨所有制、跨经营形式的“... 详细信息

(一) 镇江市百货业同业公会是在市委、市政府的关心、支持下,经市委统战部、市体改委、市工商联牵头并具体筹组于1991年4月10日正式建立的。公会主要由百货行业的企业与个人自愿组成,是一个跨地区、跨系统、跨所有制、跨经营形式的“四跨”民间行业性经济社团。现有企业会员93家(全民57家、集体35家、三资1家)和个人会员4名(个体工商业户),包括二级站、三级批(县公司)、零售和个体,会员分属于市直、区属和丹徒县的商业、供销粮食、纺工、二轻、丝绸、塑料、煤炭等17个系统。公会设有会长1人、副会长4人,常务理事14人,理事29人,秘书长1人,副秘书长4人。

关键词：个体工商业户服务协调企业会员二级站跨所有制经营形式计量局批发企业技术委员会跨系统

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

基于语义的普适服务建模及服务协调推理规则研究

基于语义的普适服务建模及服务协调推理规则研究

引用

作者：赵卓大连理工大学

学位级别：硕士

近年来,随着移动互联以及智能计算技术的高速发展,很多智能感知和计算设备嵌入到物理环境中,使得普适计算、物联网等领域得到了迅猛地发展。信息空间与物理空间的融合使得人们可以在任何地点、任何时间以任意方式获得自己想要的应用和... 详细信息

近年来,随着移动互联以及智能计算技术的高速发展,很多智能感知和计算设备嵌入到物理环境中,使得普适计算、物联网等领域得到了迅猛地发展。信息空间与物理空间的融合使得人们可以在任何地点、任何时间以任意方式获得自己想要的应用和服务。智能家庭(Smart Home)是普适计算领域的一个典型应用。根据领域服务的需要,环境中嵌入了各种各样的传感设备,用于感知环境、资源以及用户活动的情境状态。这些情境信息被传入到普适计算的控制系统,系统根据一般性规则以及用户的个性化规则提供最终的服务,进而满足用户的活动需求。然而,由于普适计算环境的动态性、开放性,服务的注册、更新、移除和交互行为很难预测,增加了服务协调的复杂性。不合理的服务逻辑不仅难以满足用户的需求,也可能为用户带来负面的干扰。造成上述干扰的本质原因在于服务缺乏对自身以及周边环境的深入了解,无法发现并获取导致不一致现象的必要的信息。基于语义的知识模型可以深度挖掘服务的隐含信息,除了功能信息外,还可以包括对周边环境的影响和资源的状态,进一步增加服务交互的深度和广度。本文采用语义推理规则,实现普适服务之间的协调管理。本文首先详细分析了国内外针对普适计算领域的研究现状,重点关注服务的冲突与协调方面的研究。基于上述研究,本文以智能家庭领域为背景,基于本体OWL,构建了情境本体模型,融入了服务与环境中各种资源交互时所需要的信息。其次,基于W3C提出的网络服务顶层本体规范,分析和设计了普适服务的顶层功能模型OUL-S,该模型重点关注普适服务与环境交互中所需要的信息。进而,基于上述模型,本文分析了智能家庭中的若干不一致场景,并归纳中普适服务协调的三方面需求,设计了语义推理规则,实现在不同情境下执行合理的服务策略。最后,采用本体构建及语义网规则推理工具对上述方法进行验证。本文的研究表明,基于语义的推理规则可以很好地与本体模型结合,推出有效的解决方案,较好地协调普适服务交互过程中存在的问题。

关键词：普适计算本体 SWRL 服务协调

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

非对称信息条件下物流服务供应链服务协调的研究

非对称信息条件下物流服务供应链服务协调的研究

引用

作者：张宏东北大学

学位级别：硕士

随着经济全球化的发展,消费者需求也日益多样化、个性化。企业要想满足消费者的各项需求,就必须改变传统的管理与交易方式,提高服务水平。但就目前来看,任何一个服务业企业都不可能提供所有类型的物流服务,正是由于传统供应链具有低效... 详细信息

随着经济全球化的发展,消费者需求也日益多样化、个性化。企业要想满足消费者的各项需求,就必须改变传统的管理与交易方式,提高服务水平。但就目前来看,任何一个服务业企业都不可能提供所有类型的物流服务,正是由于传统供应链具有低效、分散或功能单一等弊端,物流服务集成商作为一个专注于集成、协调供应链各方努力和利益的综合性物流服务组织才被纳入到供应链中,为不同客户提供综合性的物流服务。本文从物流服务供应链实际的运作形式出发,考虑了非对称信息条件下基于物流服务提供商努力产出可测性的服务协调与激励机制的研究。本文的工作主要体现在以下几个方面：首先,对这种新型供应链的模式进行了介绍,对其特点、结构作了简单的说明,然后对物流服务供应链的相关研究文献进行了综述,指出了目前研究中的不足之处,并在此基础上,明确了本文的研究内容和研究意义。本文主要通过构建传统供应链的服务协调模型和物流服务供应链的服务协调模型,研究了影响供应链服务水平的相关因素。通过对引入集成商的物流服务供应链的服务协调问题的研究,证明了物流服务供应链比传统供应链具有更优的协调能力;得出了物流服务供应链模式更能协调供应链整体服务水平,提高功能性物流服务提供商的努力水平,增加物流服务供应链中各方收益等结论。然后,对本文建立的两个模型进行算例分析。通过对相关数据、图表和图像的分析,更加直观地说明了各个状态变量和参数的变化对最优决策的影响,验证了本文模型的结论,给出了一些具有指导意义的启示。最后,对全文的研究工作进行了总结,点明了本文的研究贡献,指出了本文研究的不足之处,并对进一步的研究工作做了展望。

关键词：物流服务供应链非对称信息委托代理理论努力产出服务协调

来源：

同方学位论文库评论