语义正确性相关论文
随着Internet技术的快速发展和日益成熟,在经济全球化的大趋势下,企业之间的重组和合并成为企业发展和壮大的必然的趋势,这就使得......
本文提出了一种基于语义的工作流并发控制机制:给出了工作流模式语义、语义正确性、任务断言等概念,提出用任务锁保证工作流任务断......
