排序方式: 共有19条查询结果,搜索用时 31 毫秒
1.
服务协同环境是以服务协同中间件为底层平台,面向企业级BPM、EAI和B2B应用的软件环境。文章基于进程代数方法研究了服务协同环境中服务基本活动建模、控制模式建模和业务过程的建模等问题。提出一种从用户设计界面有向图到服务过程表达式的生成算法。同时,文中还研究了如何用μ演算描述流程性质,并使用验证工具研究了流程正确性验证问题。 相似文献
2.
软件能力可信研究综述 总被引:1,自引:0,他引:1
能力可信是可信计算研究领域中的重要研究内容,它要求系统的功能是可信赖的,如今,系统的开发方式,系统规模、应用模式已发生巨大变化,这使得获得功能的可信赖性的任务更具挑战性,首先综述能力可信的概念、内涵等,详细介绍了能力可信的性能指标,从缺陷分析、可靠性模型、恢复技术三个方面讨论了能力可信的研究现状、和存在问题,最后对能力可信的未来发展趋势进行了探讨. 相似文献
3.
4.
5.
6.
为了实现基于企业服务总线(ESB)的企业服务集成应用(EAI),提出一种基于ESB的业务流程管理系统的设计方法.定义了业务流程的概念,提出在ESB下实现流程管理的方法,同时,研究并给出了业务流程监控的方案.目前,该系统已经在国家基金项目中得到了应用.实际应用表明,所研究的相关系统灵活,可靠,并具有实用价值. 相似文献
7.
ESB环境中基于代理的可信服务模型 总被引:1,自引:0,他引:1
针对ESB环境下安全隐患的特定需求,提出了基于代理的可信服务模型.模型在ESB的节点上部署一个可信服务模型的代理,采用位运算计算服务的信任度,整合最可信的服务运行流程.在符合ESB规范以及不影响性能的前提下,可以提高系统运行的稳定性和安全性.在SynchroESB平台上的应用,证明该模型的可行性、正确性和健壮性. 相似文献
8.
基于USBKEY安全认证的互联网物配系统 总被引:1,自引:0,他引:1
针对商业机构物配敏感信息交流安全性的要求,该文提出了一种基于USBKEY安全认证的互联网物配系统。该系统利用USBKEY完成身份认证,用USBKEY内置的加密算法和密钥完成对物配资料的加解密、签名,会话密钥的传递,本地文件的加密隐藏等。整个系统安全性高、独立性强、开发成本较低。 相似文献
9.
针对可信服务计算需要对系统行为和可信特征进行建模和分析的要求,结合具有描述多个维度可信特征能力的Q代数对Pi演算进行扩展,提出一种可用于对系统行为及可信特征进行建模的进程代数,称之为QPi.QPi将可信特征附加于进程动作,在描述系统行为的同时体现出其可信特征.进一步引入互相似距离的概念以考察2个进程在多大程度上是能够互相模拟的,并研究了QPi与之相关的若干性质.具体的实例描述说明了该代数方法的有效性. 相似文献
10.
网络计算环境的松散化、独立性和异构性的特点不断给服务计算发展带来新的挑战,与此同时用户对软件系统实时性、安全性、可靠性、可用性等非功能属性要求又在不断提高,如何保障服务计算系统的可信性是平台设计者和服务应用开发者所面临的重要问题.设计了基于QoS分解的可信服务调度框架(Trustworthy Senrice Scheduling Framework,TSSF),通过对组合服务的可信QOS规划,并利用自适应的服务调度机制为服务提供可信QOS保障.提出了基于模糊集的可信QOS分解模型,将用户对组合服务的QoS需求分解为每个原子服务单独的可信QOS需求;根据分解后的额定QoS需求,以创建动态服务实体组(Dynamic Service Entity Group,DSEG)的方式为原子服务提供可信QoS保障,并以DSEG为基础详细叙述了变粒度、层次化基于反馈设计思想的自适应可信服务调度技术.最后扩展了JBoss中间件,实现了支持该服务调度框架的平台,并在此平台上进行了实验,结果表明TSSF能够为组合服务的QoS需求提供可信保障. 相似文献