首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   3篇
  免费   0篇
  国内免费   4篇
建筑科学   1篇
自动化技术   6篇
  2011年   1篇
  2008年   2篇
  2007年   3篇
  1986年   1篇
排序方式: 共有7条查询结果,搜索用时 15 毫秒
1
1.
在深入分析业务流程模型和合理的抽象业务活动基础上,提出了一种基于产生式的流程模型形式化分析方法,并提供了一种从一般流程描述到该模型的转换方法;在此基础上,推导了一系列行之有效的流程属性验证规则,并通过应用实际例子证明了所提出方法的有效性。  相似文献   
2.
在面向服务的环境下,单个Web服务往往不能满足用户的要求,这时就需将已有的单个Web服务进行组合,以便产生满足用户需求的、增值的组合服务.但是由于服务的自治性和Internet环境的动态性,导致服务在执行过程中出现失效问题,因此需要最佳的服务恢复策略保障.考虑到服务的提供者追求的是收益的最大化,提出一种收益驱动的服务恢复策略选择方法,能准确计算出当前服务环境下复合web服务执行的收益.实验结果表明,这种方法可以显著提高复合服务的可靠性并保障了收益的最大化.  相似文献   
3.
BPMN到BPEL2.0的模型转换方法*   总被引:4,自引:0,他引:4  
魏明  夏永霖  魏峻 《计算机应用研究》2008,25(11):3363-3366
随着WSBPEL2.0规范标准的提出,现有的BPMN到BPEL的组件转换方法已不再适用。为了适应BPEL的变化,对组件的转换进行改动和扩展,对错误处理活动在语义上提供支持,并且提供了显式的事务特性支持。这种设计已经在中国科学院软件研究所软件工程中心研制的OnceBPD建模工具中得到实现,并在实际运用中检验了其可用性。  相似文献   
4.
王勇  夏永霖  刘绍华 《计算机工程与设计》2007,28(7):1541-1545,1558
为了适应电子商务中迅速变化的流程环境和系统负载,需要在多个工作流引擎中分配工作量,以保证工作流引擎在高负载条件下可以保持一个可接受的性能.基于中间件技术的工作流负载平衡子系统是提供高可信赖性和高伸缩性的一种有效方法,但目前还存在许多不足,如没有从优先级的角度来区分流程,没有精确定义系统的负载,分析了工作流的主要特点,设计了基于优先级队列的,实现任务共享的,自适应负载系统,并通过实验定义了一个综合考虑系统处理能力和工作流负载特点的因子,这种设计已经在中科院软件所软件工程中心研制的OncePI工作流系统中得到实现,并在实际运用中检验了其可用性.  相似文献   
5.
在深入分析业务流程模型和合理的抽象业务活动基础上,提出了一种基于产生式的流程模型形式化分析方法,并提供了一种从一般流程描述到该模型的转换方法;在此基础上,推导了一系列行之有效的流程属性验证规则,并通过应用实际例子证明了所提出方法的有效性.  相似文献   
6.
提出了基于BPMN规范的三维业务流程模型,并采用模型驱动的开发方法和基于Eclipse插件实现了原型系统OnceBPD;最后利用该系统展示了一个旅行登记流程模型的案例。  相似文献   
7.
蓄电池维护保养的正确性对其工作能力和使用寿命有很大的影响。我国起动型铅蓄电池现行的维护保养制度基本上是沿用四、五十年代苏联的保养制度。作者根据多年来对部队起动型铅蓄电池使用情况的了解,以及几年来我们对蓄电池贮存进行的试验,并参阅了国内外有关文献资料,认为需要加强对蓄电池维护保养问题的研究,并对现行维护保养制度作必要的修改。一、起动型铅蓄电池的故障故障分析是建立维护制度的基础。蓄电池的外部故障有封口胶开裂,体壳和盖损坏,接线柱氧化和腐蚀等。内部故障有正极  相似文献   
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号