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文件 全部的 前5名14位作者引用 4 迭戈·拉特拉 4 梅克·马西克 2 洛科·德尼古拉 2 米歇尔·洛雷蒂 1 苏珊娜·阿尔伯斯 1 埃里克·P·德文克。 1 格内西、斯特凡尼亚 1 阿尔贝托省马切蒂·斯帕卡米拉 1 尤西·马蒂亚斯 1 尼古列塞斯（Nikoletseas）、索蒂利斯（Sotiris E.）。 1 毛里齐奥·塞巴斯蒂安尼斯 1 莫里斯·比克。 1 沃尔夫冈·托马斯 1 詹卢卡·特伦塔尼 3篇连载文章中引用 1 逻辑与代数程序设计杂志 1 计算机科学课堂讲稿 1 计算机科学中的逻辑方法 在4个字段中引用 5 计算机科学（68至XX） 1 总体主题；集合（00-XX） 1 数学逻辑和基础（03-XX） 1 概率论与随机过程（60-XX） 按年份列出的引文