支持组合事务的失败恢复验证

组合事务中任务间的协作通常以点对点的方式而不是中心控制,当系统崩溃时,事务流中的任务可能部分执行而其后续任务则未被调度执行。在这种情况下,选择合适的失败恢复验证策略是必要的。提出一种支持向前、向后和替代恢复策略的失败恢复验证方法。当失败发生时,借助组合事务的执行日志和可接受状态集,选择合适的恢复策略,验证带状态空间的事务恢复所产生的一组动作序列,是否包含一组良好行为。追踪执行进展,检测恢复后组合事务是否存在不一致状态。通过对旅行预订流程的实例分析,表明该失败恢复验证方法是可行的。

谈对违法刑事职权行为的确认

谈对违法刑事职权行为的确认王启庭刑事职权行为违法的确认是赔偿请求人请求国家赔偿的前提条件，即确认程序是赔偿程序的必经程序。但对怎样才算得到确认，即得到确认的有效法律形式有哪些，以及确认机关不予确认又如何处理的问题，目前尚缺乏探讨。刑事职权行为违法的有...

应当回避的人员在回避前实施的诉讼行为有效性的确认

一、确认的原则 1.区别对待原则。由于应当回避的情况不同,以及应当回避人员的诉讼行为的性质不同,因此,有关人员实施的诉讼行为有效性应当有所区别。一般说来,有下列情形之一的,诉讼行为归于无效: (1)诉讼行为是由应当回避的人员单独实施的。如审判中的独立审判人员;应当由二人进行的侦查行为,却由应当回避的一人实施的;

论刑事诉讼中的“争点主导主义”

为实现司法资源配置在刑事诉讼中的持续优化,充分激活控辩双方的处分自由,有效地保障司法裁判的公正,需要保证实质化庭审仅适用于控辩双方诉讼争议的解决。这不仅需要建构认罪认罚案件和不认罪认罚案件的繁简分流机制,还需要在刑事普通程序内部建构"二元模式",即"有诉讼争议—实质化解决"模式和"无诉讼争议—形式化确认"模式。"有诉讼争议—实质化解决"模式,要求审判机关在妥善确定"诉讼争议"的基础上,真正贯彻直接言词原则,逐步克服对案卷笔录材料的依赖,对"诉讼争议"进行实质化审理。与"有诉讼争议—实质化解决"模式不同,"无诉讼争议—形式化确认"模式,则不需要再贯彻直接言词原则,案卷笔录的证据资格也可以不再受到严格限制。