基于开放Petri网的Web服务行为弱合理性分析

目前,组合Web服务的正确性主要是通过合理性来判定,判定服务组合模型是否满足行为一致相关性是判定合理性的有效方法,而已提出的行为一致相关性判定算法仅在T-不变量存在的情况是可行的.文中利用开放Petri网对Web服务进行建模,基于服务树理论,提出了判定多个Web服务组合后满足行为弱合理性的算法,实现对组合Web服务的正确性分析.最后通过具体实例分析了该方法的有效性.

选稿合理性问题初论

选稿合理性问题是指：在编辑活动中是否存在着一种选稿方法，它保证所选用的稿件一定“优于”未选用的稿件。选稿方法为编辑活动中应用的方法，它包括选稿程序和选稿标准。选稿合理性问题是编辑学研究中的中心问题，它要求我们理解编辑活动并使之合理化。