卡拉·费雷拉;迈克尔·巴特勒 使用B细分分析补偿业务流程。 （英语） Zbl 1028.68506号 Bert，Didier（ed.）等人，ZB 2003:Z和B中的正式规范和开发。第三届B和Z用户国际会议，芬兰图尔库，2003年6月4-6日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2651, 477-496 (2003). 摘要：本文探讨了补偿业务流程的细化，这些流程采用结合StAC和B的异构表示法进行建模。在我们的细化方法中，StAC行为和补偿信息明确嵌入到B机器中。由于生成的机器是标准的B，因此可以使用B的精化概念来证明业务流程的精化。我们还展示了Atelier-B校准器如何帮助构建粘合不变量。关于整个系列，请参见[1020.00016兹罗提]. 引用于1文件 MSC公司： 68甲15 编程语言理论 68纳米30 软件工程的数学方面（规范、验证、度量、需求等） 软件：csp2B型;工作室B PDF格式BibTeX公司 XML格式引用 \textit{C.Ferreira}和\textit{M.Butler}，莱克特。注释计算。科学。2651477--496（2003年；Zbl 1028.68506） 全文： 链接