@文章{zbMATH05762176，作者={倪、岳、范玉顺}，Title={语义web服务组合的模型转换和形式验证}，FJournal={工程软件进展}，日志={高级工程软件}，ISSN={0965-9978}，体积={41}，数字＝｛6｝，页码={879--885}，年份={2010}，语言={英语}，DOI={10.1016/j.advengsoft.2010.01.005}，关键词={68M11,68T05,68Q85}，zbMATH={5762176}，Zbl={1192.68069}}