本研究以形式化方法PAR为基础，综合运用抽象、演绎、泛型等相关方法和机制，探索面向效率的算法演算法则/策略。通过对多序列比对算法族的研究，发现多序列比对算法领域(Domain of Multiple Sequence Alignment Algorithm,MSAA)包含双序列比对算法、启发式多序列比对算法、系统发生树生成算法以及目标函数。
本书共分五章，内容包括：形式化软件开发方法概述、图算法研究概述及相关技术、图论领域算法分析、图算法构件设计与实现、特定图算法的组装生成。
