编排规则论文

航班计划编排规则的句法检查技术研究
论文摘要随着中国民航的迅速发展,在航班量不断增大的情况下,保证航班计划编排正确性的难度越来越高。因此以航班计划编排规则为依据对航班计划编排结果进行自动检查的方法研究是十分必要的...
基于PI-演算的CPN在移动通信服务建模的研究与应用
论文摘要随着业务要求的不断增加,Web服务组合变得日益复杂,服务组合出错的可能性也不断增加,这就需要对Web服务组合流程进行分析和验证,以保证服务组合的正确性和可靠性。本文的主...