参考答案：B

解析： 形式化方法提供了规格说明环境的基础，它使得所生成的分析模型比用传统的或面向对象的方法生成的模型更完整、一致和无岐义。集合论和逻辑符号的描述工具使得软件工程师能创建清晰的关于事实(需求)的陈述。
支配形式化方法的基本概念是：①数据不变式，即一个条件表达式，它在包含一组数据的系统的执行过程中总保持为真；②状态，即从系统的外部能够观察到的行为模式的一种表示，或者系统访问和修改的存储数据；③操作，即系统中发生的动作，以及对状态数据的读或写。每一个操作是和两个条件相关联的，即前置条件和后置条件。
在本试题中，电话簿的数据不变式有两个组成部分：①电话簿中包含的公司数(或地址数等)不超过Max Names个；②电话簿中不会有重复的名字。由于电话簿的状态数据是由该网络传真应用系统中获得，因此该电话簿的状态是禁用、只读和读写等。该电话簿的操作是添加、删除、编辑和获取等。