论文部分内容阅读
利用Petri网的分析方法对独立全局约束服务组合模型的正确性和可靠性进行科学的验证．首先根据该模型中约束条件的特点，对变迁t的发生规则改进后利用可达树的方法来验证模型的正确性．然后通过构造服务组合的可靠性验证图来检验模型的可靠性，最后通过一个实例分析了具体的验证过程，并说明该方法是可行的．
独立全局约束的Web服务组合模型的验证与分析
【摘 要】
：
利用Petri网的分析方法对独立全局约束服务组合模型的正确性和可靠性进行科学的验证．首先根据该模型中约束条件的特点，对变迁t的发生规则改进后利用可达树的方法来验证模型的正
【机 构】
：
淮南联合大学基础部
【出 处】
：
长沙大学学报
【发表日期】
：
2013年2期
【基金项目】
：
安徽省高校省级自然科学基金（批准号：KJ20132293）资助项目.
其他文献
澳大利亚魅力无穷，吸引着越来越多的移民，而在中国，最受欢迎的移民之国也非澳大利亚莫属，《健康大视野》采访了澳大利亚的Floris Lam女士，告诉你澳洲的魅力所在。
尤其是激素的问世及其广泛应用以来，股骨头坏死的发病率逐渐上升，加之交通工具变革后变通事故的增多，人们生活方式的改变均使得该病患者数量剧增。据不完全统计，目前全世界股骨头
现在随着中国逐渐步入老龄化社会，痴呆症已严重威胁着国人健康和家庭和谐。但是因为对此类疾病认识的缺失，致使很多患者错过了最佳治疗期。北京中医药大学东直门医院副院长田金
恶性胶质瘤（MG）是颅内常见的原发性肿瘤。其中，多形胶质母细胞瘤（GBM）恶性程度最高，局部侵润性强，手术难以彻底切除，术后复发率高，患者中位生存期（MST）不足1年。近年来，胶质母细胞瘤的分
胃是结外淋巴瘤的好发器官，约占结外淋巴瘤的70％。原发性胃非霍奇金淋巴瘤是一组来源于B淋巴细胞及其前体细胞的病变，约占全部胃恶性肿瘤的4％～8％。过去10年，对原发性胃非霍奇金淋巴
我们上期谈到了皮肤早衰的问题，可能和体质有关系，其实，女性朋友当中，有血虚问题的人，给自己的皮肤也会带来意想不到的危害!对于女性来说，血是健康、美丽的保证，女人血液充足，面色就
近年来，随着国际上先进的医学技术和医疗装备的引进，推动了我国医疗卫生事业的迅猛发展，我国“肿瘤心脏病学”领域不断涌现出众多学科带头人，他们以资深的临床经验、严谨的工作态
胃癌是全球最常见的恶性肿瘤之一，尽管其发病率在近几十年间呈下降趋势，但在世界每年新发肿瘤中胃癌仍占10％，并占所有死亡病例的12％。根治性手术（R0切除）是胃癌患者的惟一治愈手段，