@收款{zbMATH07351244，作者={卡米利、马蒂奥和贝莱蒂尼、卡洛和卡普拉、洛伦佐和蒙加、马蒂亚}，Title={用于指定和验证基于微服务的流程流的正式框架}，BookTitle={软件工程和正式方法。2017年SEFM并置研讨会：DataMod、FAACS、MSE、CoSim-CPS和FOCLASA，意大利特伦托，2017年9月4-5日。修订选定论文}，国际标准图书编号={978-3-319-74780-4；978-3-3169-74781-1}，页码={187--202}，年份={2018年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3319-74781-1_14}，关键词={68Q60,68Q55,68Q85}，zbMATH={7351244}，Zbl={1461.68112}}