形式化开发多序列比对算法