共查询到20条相似文献,搜索用时 218 毫秒
1.
黄邵 《湖南第一师范学报》2008,8(1):169-172
通过对pi演算进行扩充以形式化描述BPEL4WS程序,给出了扩充pi演算的语法和操作语义,并用pi演算的通讯并发结构表示BPEL4WS规范的link结构。基于对BPEL4WS规范死路排除DPE模式的分析,提出了一个完善的解决DPE问题的pi演算形式化方法。在以上工作的基础上,系统地完成从Web服务组合语言BPEIA.WS规范到扩展pi演算的映射,提出了几种验证程序性质的思路。最后给出了一个完整的案例,说明BPEL4WS程序的pi演算描述。 相似文献
2.
3.
4.
5.
6.
为了提高组合web服务的设计和实现质量,使用形式化方法对其进行建模并对其关键性质进行验证.使用web服务接口控制流自动机(WCFA)对web服务进行建模,主要描述其控制流及与其他web服务的交互关系.组合web服务由一组交互的WCFA组成.使用嵌套字自动机(NWA)对组合web服务的整体行为进行建模.将一组WCFA转换为嵌套字自动机(NWA)的算法是深度优先搜索算法的变种,算法中使用路径相关的可达性分析计算NWA的每个节点的状态公式和调用栈.安全性相关性质、调用栈相关性质及服务调用的前置和后置条件都可以用断言来描述,然后使用一个自动的可满足性(SAT)求解工具对这些断言进行验证. 相似文献
7.
针对近几年在语义web服务自动组合上的研究成果,深入归纳和总结了目前语义web服务组合的定义、组合方法以及正确性验证技术。对语义web服务组合问题进行分类和形式化定义,并归纳出语义Web服务自动组合框架。按照不同问题分析和比较相关的组合方法,同时总结了组合方案正确性验证技术。最后,根据前面的分析和总结,提出了语义Web服务自动组合当前面临的问题和挑战。 相似文献
8.
基于个体趋利避害和事务逻辑完整的社会智能特征,提出了一种语义web的安全集成框架.该框架对语义web模型进行了扩展,控制语义web服务信任、逻辑、推理等方面的动态安全.该框架包括4个层次:信任入口层、社会智能层、事务层和TCP/IP安全协议层.信任层处理用户的信任特征,社会智能层控制语义web的逻辑问题,事务层负责事务推理,TCP/IP安全协议层则保证安全通信.这些安全层协同构建了具有不同安全等级的安全环.该安全集成框架为语义web提供一种安全集成方法,为不同技术的安全协同提供了通用的安全解决框架. 相似文献
9.
基于ESB的SOA架构解决方案 总被引:2,自引:0,他引:2
唐权 《四川职业技术学院学报》2008,18(1):116-117
SOA即面向服务的架构已成为企业IT系统实施的首选方案,SOA架构的实现过程中有各种模式和方法,ESB即企业服务总线是实现SOA架构非常重要的基础框架。IBM SIBus服务总线的中间件较好地实现SOA企业服务总线模式开发,本文设计了SOA基于ESB模式的构架,并采用了IBM SIBus服务总线实现SOA基于ESB模式的解决方案。 相似文献
10.
刘跃建 《连云港职业技术学院学报》2013,(4):30-34
Web服务组合是web服务发展的一种新的方向,而Petri网作为形式化的建模工具,在服务组合中扮演着重要角色,不仅可以辅助服务组合的设计,还可以更好地对组合流程进行分析和验证。文章对各种Petri网在基于工作流、人工智能(AJ)的Web服务组合中的应用以及基于Petri网的Web服务形式化组合方法进行了综述,并指出了Petri网在服务组合工作中的作用和重要性。最后对研究进行了总结,指出了下一步的工作。 相似文献
11.
REN Yong-feng 《教育技术导刊》2008,(3)
介绍一种基于模块化的技术来实现面向服务和消息驱动的架构,并且基于标准建模语言来对资源、事件和应用进行建模。该技术能够实现动态事件发布和订阅、事件轮询、事件过滤和指示。 相似文献
12.
王远帆 《宁德师专学报(自然科学版)》2010,22(1):6-8
Web服务是一组迅速发展的标准和实现技术,适用于解决多种执行环境间的互操作问题.面向服务的体系结构(SOA)利用了面向服务的原则实现业务和支持业务信息系统之间更为紧密的联系.挖掘SOA体系结构的技术内涵和实现原理,并分析其如何随需应变地适应不断变化的业务需求. 相似文献
13.
14.
15.
钟敏 《武汉工程职业技术学院学报》2006,18(3):54-58
传统软件架构无法很好地满足不断变更的多样化需求,而SOA具有可复用、灵活和可扩展等诸多优势。作为实现SOA的主流技术,Web Services的一大好处就是能够集成遗留系统。研究了如何将现有的以数据为中心的传统系统转变为以服务为中心的系统(SOA系统)。首先介绍了SOA的优势及SOA与现有系统的亲缘关系,说明为什么要转变而又为什么能转变。重点针对不同情况说明了该如何具体实施,最后引用了一个保险行业网上投保的例子。 相似文献
16.
Dynamic architecture of multi-agent systems (MAS) is important for critical systems. As the existing formal specifications of MAS cannot describe its dynamic architecture, a formal approach using π-calculus is presented, which is suited for the describing and analyzing of concurrent MAS with dynamic topology. π-calculus describes the belief-desireintention (BDI) model that represents agent's mental states and provides many useful facilities to analyze MAS model such as deadlock, behavior equivalence, and model checking. To illustrate the favorable representation capability of π-calculus, an example of dynamic multi-agent systems in e-commerce is provided. Finally, by using an existing π-calculus supporting tool,MAS model and some key behaviors properties are analyzed and verified. 相似文献
17.
针对当前经济预警领域单一模型预测效果不理想,以及模型组合、管理和重用困难等问题,提出了采用面向服务的体系结构构建宏观经济预警平台,将单一预警模型发布为Web服务,并利用Petri网组合预警服务模型的方法,讨论了系统构建方法和服务组合的建模过程,验证了基于Petri网的组合服务模型能够保证组合服务的可达性、安全性、正确性和可终止性。 相似文献
18.
《上海大学学报(英文版)》2007,11(1):58-58
Dynamic architecture of multi-agent systems (MAS) is important for critical systems. As the existing formal specifications of MAS cannot describe its dynamic architecture, a formal approach using $\piup$-calculus is presented, which is suited for the describing and analyzing of concurrent MAS with dynamic topology. $\piup$-calculus describes the belief-desire-intention (BDI) model that represents agent's mental states and provides many useful facilities to analyze MAS model such as deadlock, behavior equivalence, and model checking. To illustrate the favorable representation capability of $\piup$-calculus, an example of dynamic multi-agent systems in e-commerce is provided. Finally, by using an existing $\piup$-calculus supporting tool, MAS model and some key behaviors properties are analyzed and verified. 相似文献
19.
Web服务体系结构是一种面向服务的体系结构(SOA).文章通过分析Web服务特性,以笔者所在图书馆的信息集成系统为例,探讨了如何利用Web服务构建面向服务体系结构(SOA)的信息集成系统,并与目前普遍使用的B/S信息集成系统进行比较分析,说明了SOA信息集成系统的高效性,可扩展性与跨平台性. 相似文献
20.
林川 《贵州教育学院学报》2009,25(3):34-37
构建安全、高效和公平的企业系统资源的统一访问控制系统,是目前一个重要的研究方向。分析了面向服务的架构技术(SOA)、面向角色的访问控制(RBAC)技术、公钥基础设施PKI和权限管理基础设施PMI在安全管理方面的作用,并重点分析了欧共体PERMIS工程的优缺点,在此基础上把SOA和PKI/PMI很好的结合起来构建了访问控制子系统,克服了PERMIS工程的不足,实现了企业系统的安全、高效的访问控制功能,为企业系统的访问控制提供了一种参考方案。 相似文献