社区卫生服务系统形式化规格说明  

Formal Specification of Community Health Service System

作　　者：陈宇峰[1] 潘正清[1] 

机构地区：[1]湖北汽车工业学院计算中心,湖北十堰442002

出　　处：《湖北汽车工业学院学报》2006年第3期42-46,共5页Journal of Hubei University Of Automotive Technology

摘　　要：通过对社区卫生服务的功能需求出发,采用Z语言对系统规格进行了形式化说明,包括基础数据、系统状态以及系统操作等。采用形式化方法对社区卫生服务系统进行设计,能够得到一致的、精确的、简明的和无歧义的规格说明。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. When designing with formal approach, the consistent, accurate, concise and unambiguous specification can be obtained for the community health service system.

关 键 词：医院信息化 社区卫生服务 需求分析 形式化规格说明 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]