×

MarCaSPiS公司

swMATH ID: 6957
软件作者: 洛科·德·尼古拉、迭戈·拉泰拉、米歇尔·洛雷蒂、梅克·马西克
描述: MarCaSPiS:服务微积分的马尔科夫扩展。MarCaSPiS是CaSPiS(会话和管道微积分)的马尔科夫扩展。CaSPiS是一个核心演算,其中会话和管道被视为构建客户端-服务交互和服务编排的自然构造函数。MarCaSPiS允许对正式服务规范的定性和定量方面进行综合分析。为了指定MarCaSPiS规范逻辑的量化属性,引入了面向服务的随机逻辑SoSL。这是一种随机逻辑,专门用于处理面向服务计算的特定功能。SoSL是一种时序逻辑,允许描述系统的动态演化,它基于动作和状态,并配备了原语,允许在感兴趣行为的逻辑表征中使用实时边界。此外,SoSL是一种概率逻辑,不仅可以表示功能属性,还可以表示与性能和可靠性相关的属性。最后,SoSL是一种面向资源的逻辑,它允许解决SOC的开放性问题。实际上,SoSL提供了模式运算符,可用于指定系统如何对外部刺激作出反应。这允许在逻辑层面验证系统中资源和流程的假设,即无需更改模型以调查每个假设对系统行为的影响。我们还通过利用现有的基于状态的随机模型检查器(Markov Reward model checker,MRMC),开发了根据MarCaSPiS规范对SoSL公式进行模型检查的方法。
主页: http://www.sciencedirect.com/science/article/pii/S157106610900293X
关键词: 马尔可夫;服务微积分
相关软件: 奶牛;MoDeST公司;群组工具包;科莱姆;SAS公司;SPSS软件;自旋蛋白;棱镜
引用于: 5出版物

按年份列出的引文