According to the Functional Requirements for Community Health Service,the system specification is described formally with Z language. The specification includes basic data,system status and system operations.

• 通过对社区卫生服务的功能需求出发,采用Z语言对系统规格进行了形式化说明,包括基础数据、系统状态以及系统操作等。