论文部分内容阅读
利用Petri网的分析方法对独立全局约束服务组合模型的正确性和可靠性进行科学的验证．首先根据该模型中约束条件的特点，对变迁t的发生规则改进后利用可达树的方法来验证模型的正确性．然后通过构造服务组合的可靠性验证图来检验模型的可靠性，最后通过一个实例分析了具体的验证过程，并说明该方法是可行的．
独立全局约束的Web服务组合模型的验证与分析
【摘 要】
：
利用Petri网的分析方法对独立全局约束服务组合模型的正确性和可靠性进行科学的验证．首先根据该模型中约束条件的特点，对变迁t的发生规则改进后利用可达树的方法来验证模型的正
【机 构】
：
淮南联合大学基础部
【出 处】
：
长沙大学学报
【发表日期】
：
2013年2期
【基金项目】
：
安徽省高校省级自然科学基金（批准号：KJ20132293）资助项目.
其他文献
恶性胶质瘤（MG）是颅内常见的原发性肿瘤。其中，多形胶质母细胞瘤（GBM）恶性程度最高，局部侵润性强，手术难以彻底切除，术后复发率高，患者中位生存期（MST）不足1年。近年来，胶质母细胞瘤的分
胃癌是全球最常见的恶性肿瘤之一，尽管其发病率在近几十年间呈下降趋势，但在世界每年新发肿瘤中胃癌仍占10％，并占所有死亡病例的12％。根治性手术（R0切除）是胃癌患者的惟一治愈手段，