语义约束论文

面向语义约束的协同验证研究
论文摘要随着网格技术的不断发展及网格应用研究的深入,网格环境下业务流程越来越复杂。随着业务流程规模因跨领域跨组织而增大,导致业务流程的高复杂性,就会由于状态空间爆炸而给网格工作...
基于语义约束的XML规范化的研究
论文摘要由于XML[1]具有半结构化、自描述性、灵活性、可扩展性等特点,实现了结构、内容、显示的分离,这有利于机器之间的数据交换和用户的个性化显示以及数据集成等。因此,XML自...
保持数据依赖的异构数据共享模型的研究与实现
论文摘要随着计算机网络和数据库技术的迅速发展,企业的信息化程度越来越高,信息的交流也越来越频繁。为了实现资源的有效利用以及系统间信息的高度共享,有必要对应用系统的数据进行集成。...