【摘 要】
：
目前的工作流过程验证方法多数侧重控制流特性验证,与数据或资源信息相结合的验证尚未得到很好发展.然而,业务过程的目标实现依赖于控制流、数据流和资源三维基本观点的协作.
【机 构】
：
清华大学,清华大学,内蒙古大学计算机学院
【基金项目】
：
国家自然科学基金，国家高技术研究发展计划(863计划)
论文部分内容阅读
目前的工作流过程验证方法多数侧重控制流特性验证,与数据或资源信息相结合的验证尚未得到很好发展.然而,业务过程的目标实现依赖于控制流、数据流和资源三维基本观点的协作.保证过程的目标实现需要验证这三维观点协作的正确性,称为语义验证.该文侧重讨论大型、灵活的过程语义验证问题.首先,形式化定义过程模型,综合体现三维基本观点,表达完整的过程语义,并使用基于组件的思想,具有一定可扩展性和灵活性.然后,通过探讨组件间的协作逻辑,提出基于组件的化简方法(Component Based Reduction,CBR)和化简规
其他文献
当前,计算机和互联网全面普及,中小企业在互联网环境下利用电子商务开展国际贸易也面临一定的挑战和机遇。文章对当前中小企业存在的问题进行分析,提出在企业在当前形势下开
劳动公益是劳动者阶层共同享有并为劳动基准法强制保护的社会利益,它集中体现和代表了现代社会中居于多数地位的职业劳动者的群体利益,其实现程度可以充分显示一国的人权状况
邵雍在对经学研究中，提出“经有因革”的思想，认为随着岁月的流逝，书传等经书难以详考，应重视礼乐诗书之道的自新，而不停留在以往记问引用讲解的治学阶段和层次上。邵雍治学，侧重哲
摘 要：为维持我国城市经济发展的可持续性，推进实现全面小康社会的进程，我国大规模区域中心城市的发展战略不应再强调工业生产的城市集聚，应以服务业带动中心城市发展，以服务业推动城市化，这也许是缩小城乡差距，以工业和相关服务业发展带动农村经济发展的一剂良方。 关键词：城市产业；现代服务业；生态发展 中图分类号：F124．5 文献标识码：A 文章编号：1003-0751(2006)01-0064
一、声乐教育的发展状况 声乐教育同样兴起于19世纪，以意大利和法国的歌剧发展了男声的技巧为标志，这一时期被誉为“美声歌唱的新时期”，随后，声乐教育在西方得到了很好的发展。进入市场经济后，声乐教育中的技术化的倾向越来越严重，声乐教育一度成为功利性教育。我国具有现代意义的声乐教育起步较晚，且长期得不到有效的发展，目前声乐教育也正面临着技术化倾向等问题，很多声乐教师忽视了声乐所要传达的艺术性，重在传授
晚明思想家李贽因为思想史的背景、生活阅历,以及个人思想上的喜好,40岁之后便以求生死之道为人生之首务。他从求“真人不死”之道到寻“出离生死”之道,其生死观可谓亦儒亦
利用电磁场积分方程的伽略金法求解理想导体电磁散射问题时需要计算奇异性的二重面积分(即4维积分).伽略金法的基函数和检验函数广泛采用RWG(Rao-Wilton-Glisson)矢量基函数.
H．264是由ITU-T和ISO／IEC联合制定的最新视频编码标准，其安全加密技术正成为研究的热点，文章通过研究适合于H．264加密的侯选域，提出了一种加密与压缩相结合的新型视频加密方案，该方
随着全球化进程的加快，我国企业在思想政治管理工作方面遇到了越来越多的困难，企业员工的思想受到各种文化的冲击。企业需要加强思想政治方面的管理工作。而企业文化作为管理方