μ-演算相关论文
随着Web服务的出现和推广,基于Web服务的动态服务组合技术也成为近年的研究热点。Web服务的业务流程执行语言(BPEL4WS)作为一种基......
针对物联网服务建模和验证问题,用π-演算理论对物联网服务和环境实体进行动态交互行为建模,并引入μ-演算刻画物联网服务能力,将......
为了实现对伪代码的模型检测并且能够缓解模型检测中的状态空间爆炸问题,提出了测试目的引导的模型检测方法。该方法的基本思想是......
并发加权μ-演算(concurrent weightedμ-calculus,CWC)是对Kim.G.Larsen所提出的并发加权逻辑的强有力的扩充,通过加入不动点算子......
最近,针对为组合性标记加权转移系统建模的需要,Larsen等人提出了并发加权逻辑。该逻辑是多模态的,包含了反映给定状态的资源总量......
命题μ-演算局部模型检测算法中，目前最好的算法的时间复杂度与不动点算子交替嵌套深度d呈指数关系。针对命题μ-演算局部模型检测......
进行了软件系统性质验证研究.首先提出了用嵌套树表示软件程序的方法,以解决软件系统的抽象表示问题,该方法能在表示程序顺序结构......
采用π-演算给出基于客户端-服务器模式的Email系统,以及系统中特征的行为描述;然后,利用μ-演算描述和分析Email系统中存在的特征......
在Long,Browne,Jha和Marrero等人工作的基础上,详细分析了用Tarski不动点定理计算不动点交替嵌套深度为4的命题μ-演算公式的计算......
基于μ-演算的一阶谓词界程逻辑,用谓词变量构造不动点公式,方便描述闭环系统的性质,公式语义简洁.该逻辑在有限控制移动界程上的......
从二支决策和三支决策角度探讨命题μ-演算的局部模型检测算法,对计算过程中节点迭代值的存储方式进行分析,并对这两个局部模型检......
根据温控系统的特征以及需求说明,利用π-演算构建了该系统动态行为的交互模型,依据π-演算的反应规则仿真描述模型的行为交互过程......
针对语义物联网服务的正确性验证问题,提出基于时态描述逻辑与命题μ-演算相结合的语义物联网服务验证方法。利用描述逻辑中的ABox......
利用叠代计算μ-演算公式时的单调特性，提出了一个分块计算嵌套μ-演算公式的全局算法，算法时间复杂度为O（n^d/2），空间复杂度为O（d×......
博弈逻辑是博弈论和逻辑学相交叉的一个崭新研究领域,属应用逻辑范畴。双主体零和博弈逻辑是目前国际上博弈逻辑研究的重心。在命......
