SPL语言相关论文
在语义编程语言SPL的基础上,提出一种基于语义Web服务的语义流程异常处理机制。首先,重点讨论了业务流程运行时调用语义Web服务失......
提出了一种对并发程序进行切片以缩减模型检验状态空间的方法.首先针对并发程序中的同步与通信定义了一组依赖关系,包括并发分支与......
Informix是当前流行的大型关系数据库之一,广泛应用在金融、保险、邮电等重要部门.SPL是Informix提供的一种存储过程语言,它是对结......
