摘要： 主要阐述了一种组件的形式规范匹配方法，以Larch家族中的Larch/C作为语言工具，详细讨论了组件的功能匹配，最后借助于工具Larch Prover（LP）并通过实例描述了功能匹配的证明过程。
关键词:
组件形式规范匹配,
Larch/C,
功能匹配,
LP
Abstract: This paper mainly introduces formal specification matching of components, and details the function matching by Larch/C in Larch family, and lastly uses an example to explain the process of proving function matching by the tool LP.
中图分类号:
嵇海明,黄德浩,杨宗源. 基于Larch/C的组件形式规范匹配[J]. , 2003, 29(13): 97-.
JI Haiming,HUANG Dehao,YANG Zongyuan. Formal Specification Matching of Components Based on Larch/C[J]. , 2003, 29(13): 97-.