语义验证相关论文
工作流技术起源于20世纪80年代,随着当前网络技术的发展和行业信息化的不断深入,工作流技术也在迅速发展。工作流管理系统与传统信......
面向服务的计算(Service Oriented Computing,简称SOC)为分布式计算提供了一种新的方式,在SOC模式下,一个任务通常需要不同服务的......
针对业务流程在动态执行时,由于业务环境、资源的复杂性和多变性给流程的正确执行带来影响的问题,本文提出了一个用于描述基于业......
本文在分析三种主流文档格式标准(ODF,OOXML,UOF)的基础上,指出了文档的验证除了语法验证之外,更重要和更困难的是要对文档格式的语义......
针对业务流程在动态执行时,由于业务环境、资源的复杂性和多变性会给流程的正确执行带来影响的问题,提出一个用于描述基于业务目标......
语义验证是束缚语义软件和语义程序设计语言发展的问题之一,针对这一问题,在基于语义Web服务的语义程序设计语言SPL及其知识库业务......
针对移动云服务系统构建过程中架构设计和语义描述等方面存在的问题,以类型范畴理论为基础,为基于agent的移动云服务系统建立了一......
概念模型验证是保证概念模型正确、可信的重要手段.针对现有概念模型形式化验证方法复杂、繁琐,非形式化验证方法的主观性较强、可......
工作流过程建模是一个复杂且易错的过程,在建模阶段进行有效的过程验证是十分必要的.描述了在一个实际的工作流系统中,如何使用过程建......
工作流过程语义验证是保证过程完成其最终目的的必要方法,基于组件的语义验证方法有利于提高验证效率,适合验证大型过程的语义正确性......
抽象的歧义格式实例化以后,仍有部分留有歧义。就静态的歧义实例而言,其歧义也是一种潜在歧义,不同句法关系在动态使用中的实现频......
为满足业务流程重组领域的需求变化,重组业务流程需要可验证需求语义特征的建模方法与工具支持,从而为提高执行重组业务流程应用软件......
针对模型驱动的软件开发(MDSD)中语义特性保持的描述和验证等问题,基于类型范畴理论的形式化框架和进程代数理论,提出了一种软件结......
随着Web服务在越来越多的商业领域得到一致的认同和应用,其本身的相关技术标准也已经成为了学术界的研究热点。Web服务并不会对外......
随着企业信息化的不断普及深化,信息技术对企业的提升作用已被人们广泛认可。企业希望引入信息技术来提升市场竞争力,但信息化面临......
针对业务流程建模符号过程模型语义验证问题,提出了一种新方法。该方法基于正确的业务流程建模符号过程模型是工作流模式的合理组......
过程验证是保证工作流过程定义正确性的重要手段.针对过程定义中控制流、数据流和资源三维元信息相结合的冲突检测问题,研究了过程......
针对现有的概念模型形式化验证方法较复杂、非形式化验证方法的主观性较强,提出了一种基于规则推理的军事概念模型验证方法,并详细介......