【摘 要】
：
广泛研究使用的OWL-Sweb服务交互规范作为一种半形式化的描述语言，在服务组合的验证上存在缺陷。而Petri网作为一种模型描述语言，尤其适合并发系统的描述。因此，使用Petri网对OW
【基金项目】
：
国家自然科学基金资助项目（No.60673175）.
论文部分内容阅读
广泛研究使用的OWL-Sweb服务交互规范作为一种半形式化的描述语言，在服务组合的验证上存在缺陷。而Petri网作为一种模型描述语言，尤其适合并发系统的描述。因此，使用Petri网对OWL-S流程模型进行建模，通过将工作流信息转化为Petri网描述，从而对OWL-S流程模型进行安全性（safeness）活性（hveness）检验，是一个非常有意义的尝试。此外，对Petri网的分析与优化，能够反作用于OWL-S流程模型，消除原有模型的冗余并提高流程模型的合理性。
其他文献
【正】静电的危害大体上有使人体受电击、影响产品质量和引起着火爆炸三个方面,其中以引起着火爆炸最为严重,可以导致人员伤亡和财产损失.下面介绍一起水电施工工地少见的静
针对非计算机专业学生学习C程序设计时困难重重的现状,笔者根据多年的教学经验,将启发式教学法应用于教学中,通过目的启发,悬念启发,媒体启发,对比启发,设疑启发等形式提高教
颅脑损伤是外科中的常见创伤性疾病,临床治疗主要以手术为主。手术治疗过程中,急性脑膨出是其常见问题,具有较高的致残率和病死率[1]。笔者分析我院收治的47例重型颅脑损伤术
在高校贫困生日益增多的情况下,研究贫困生消费问题,尤其是探讨贫困生中的“高消费”问题,对于加强贫困生思想政治教育,引导贫困生树立正确的价值观、消费观,实现贫困生的自
目的探讨不同剂量阿托伐他汀联合氯吡格雷治疗短暂性脑缺血发作(TIA)的疗效及对预后的影响。方法66例TIA患者随机分为2组,对照组予阿托伐他汀(20mg/d)联合氯吡格雷治疗,观察
【正】1.事故情况1994年5月7日上午10点左右,天空突然乌云密布,随着一声响雷,四川省璧山县云坪乡双剑口电话(2×40kw)总屏三只电流互感器均被雷电击穿烧毁.事故发生后,经
实验是大部分工程类和应用类课程的重要一环,基于Internet的虚拟实验室是现代远程教学质量提高的关键。该文提出了一种基于CORBA/EJB技术的网上虚拟实验系统的开发模型,重点
目的 分析2型糖尿病患者胫神经病变的超声特征,探讨高频超声在糖尿病合并周围神经病变诊断中的价值。方法 选取100例2型糖尿病患者为研究对象,其中有胫神经病变50例为A组,无
目的分析纳洛酮联合胞磷胆碱治疗重症脑梗死的临床疗效与安全性。方法选择80例重症脑梗死患者为研究对象,随机分为2组,观察组40例采用纳洛酮、胞磷胆碱联合施治,对照组40例采
为了进一步提升学院的信息素质，适应信息技术的发展变化，适应信息化战争的需要，对计算机基础教育进行分析研究。该文分析了目前院校计算机基础教育存在的一些问题，提出了计算机基